project-llzk/llzk-lib

Canonicalize `llzk.nondet` with array/pod type 8 days ago

enhancement good first issue approved

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add desugaring pass for multi-element pod dialect ops about 1 month ago

enhancement good first issue approved

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Add desugaring pass for multi-element (ranged) array dialect ops about 1 month ago

enhancement good first issue approved

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` 6 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 7 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Replace `veridise.lang` attribute 7 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 7 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 8 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Make interval analysis interprocedural 8 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 8 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 8 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 8 months ago

enhancement help wanted

project-llzk/llzk-lib

43

Library for parsing, generating, and analyzing LLZK code.

C++

Open Issues Need Help