-
Notifications
You must be signed in to change notification settings - Fork 13
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
feat: switch tracing over to bytecode interpreter
constraintsIssues directly related to constraint generation.Issues directly related to constraint generation.enhancementNew feature or requestNew feature or requestzkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.feat: support RAM logs when tracing
enhancementNew feature or requestNew feature or requestzkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.feat: support wide bytecode instruction formats
enhancementNew feature or requestNew feature or requestzkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.feat: enforce semantics for Random Access Memory (RAM)
constraintsIssues directly related to constraint generation.Issues directly related to constraint generation.zkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.#1955 In LFDT-Lineth/zkc;feat: tracing control registers in ZkC
constraintsIssues directly related to constraint generation.Issues directly related to constraint generation.zkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.#1954 In LFDT-Lineth/zkc;- Status: Open.#1952 In LFDT-Lineth/zkc;
feat: generate constraint-level casts efficiently
constraintsIssues directly related to constraint generation.Issues directly related to constraint generation.zkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.feat: gogen support write-once semantics
gogenAll things related to go code-generationAll things related to go code-generationzkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.#1950 In LFDT-Lineth/zkc;- Status: Open.
reuse already existing lookup selector
constraintsIssues directly related to constraint generation.Issues directly related to constraint generation.Status: Open.#1936 In LFDT-Lineth/zkc;when translating an unconditional lookup, check for duplicate
constraintsIssues directly related to constraint generation.Issues directly related to constraint generation.Status: Open.#1935 In LFDT-Lineth/zkc;Memory design space
constraintsIssues directly related to constraint generation.Issues directly related to constraint generation.documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#1927 In LFDT-Lineth/zkc;