project-llzk/llzk-lib

Add desugaring pass for multi-element pod dialect ops 15 days ago

enhancement good first issue approved

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add desugaring pass for multi-element (ranged) array dialect ops 15 days ago

enhancement good first issue approved

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Canonicalize `llzk.nondet` with array/pod type about 2 months ago

enhancement good first issue

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add explicit overflow semantics to `cast` dialect ops 3 months ago

enhancement good first issue help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add more functionality to `TemplateBuilder` 4 months ago

enhancement good first issue

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add value access convenience method to `FeltConstantOp` 5 months ago

enhancement good first issue

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Support configurable prime field for `felt` data type and conversion 6 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Replace `veridise.lang` attribute 6 months ago

documentation enhancement good first issue

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Using "Main" as the main component name conflicts with Circom conventions 6 months ago

enhancement good first issue

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Witness Generation for R1CS Backend 7 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Make interval analysis interprocedural 7 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add helpers for common sub-dialect groupings 7 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add an OpInterface for felt arithmetic ops 7 months ago

enhancement good first issue

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Create a TypeInterface for VarTypeOr 7 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Open Issues Need Help