8000 implement struct as bitvec · Issue #31 · zetzit/zz · GitHub
[go: up one dir, main page]
Skip to content
This repository was archived by the owner on Jun 17, 2022. It is now read-only.
This repository was archived by the owner on Jun 17, 2022. It is now read-only.

implement struct as bitvec #31

Open
Open
implement struct as bitvec#31
Labels
bitvectype should be raw memory as bitvec

Description

@aep
aep
opened on Mar 16, 2020

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

Activity

  1. aep
    added
    bitvectype should be raw memory as bitvec
    on Mar 16, 2020
  2. aep
    added a commit that references this issue on Apr 18, 2020

    allow runtime tail binding

    3d67afa
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bitvectype should be raw memory as bitvec

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions
      0