-
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
- Status: Open.#1956 In LFDT-Lineth/zkc;
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.
fix: BinaryFile does not distinguish tracing and fast mode
enhancementNew feature or requestNew feature or requestzkcIssues related to ZkC languageIssues related to ZkC languageStatus: Open.#1945 In LFDT-Lineth/zkc;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;sub-optimal vectorization for nested ìf`
bugSomething isn't workingSomething isn't workingconstraintsIssues directly related to constraint generation.Issues directly related to constraint generation.wirDeals with wir (Word Intermediate Representation)Deals with wir (Word Intermediate Representation)Status: Open.#1926 In LFDT-Lineth/zkc;