Skip to content
This repository has been archived by the owner on Jun 17, 2022. It is now read-only.

implement struct as bitvec #31

Open
aep opened this issue Mar 16, 2020 · 0 comments
Open

implement struct as bitvec #31

aep opened this issue Mar 16, 2020 · 0 comments
Labels
bitvec type should be raw memory as bitvec

Comments

@aep
Copy link
Collaborator

aep commented Mar 16, 2020 •
edited
Loading

currently there's a bunch of edge cases in the prover because it makes assumptions about higher types. It really should tread everything as a memory blob and struct members as slices into the blob
@aep aep added the bitvec type should be raw memory as bitvec label Mar 16, 2020
aep added a commit that referenced this issue Apr 18, 2020
@aep
allow runtime tail binding
3d67afa 
this is unsafe because casts don't take tails into account,
but thats a #31 problem
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bitvec type should be raw memory as bitvec
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@aep