|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
| NCastRefinement | |
| Nclang | |
| Nllvm | |
| Ncl | |
| Nllzk | |
| NaffineMapHelpers | Group together all implementation related to AffineMap type parameters |
| NalignmentHelpers | |
| Narray | |
| Ndetail | Common interface for operations that reference an array value |
| Nimpl | |
| Nboolean | |
| Ndetail | |
| Nimpl | |
| Ncast | |
| Ndetail | |
| Ncomponent | |
| Ndetail | Common interface for operations that read or write from a struct member |
| Nimpl | |
| Nconstrain | |
| Ndetail | Common interface for operations that produce a constraint |
| Ndataflow | |
| Ndebug | |
| Ndetail | Provides the necessary information to the RemoveUnusedDiscardableAllocations pass about operations that load or store values from the result of an allocator op marked with the MemAlloc<DiscardableAllocationResource> memory effect so unused allocators and stores can be removed |
| Nfelt | |
| Ndetail | Common interface for binary arithmetic operations on felts |
| Nfunction | |
| Ndetail | |
| Nglobal | |
| Ndetail | Common interface for operations that read or write from a global |
| Nimpl | |
| Nimpl | |
| Ninclude | |
| Ndetail | |
| Nimpl | |
| Nmlir_patch | Replace mlir::registerTransformsPasses() to register a custom remove-dead-values pass because MLIR version 23.1.0 has a bug where the pass tracks poison values that it created during its current invocation only and may end up leaving behind dead poison values |
| Npod | |
| Ndetail | Common interface for operations that reference a plain-old-data struct value |
| Nimpl | |
| Npolymorphic | |
| Ndetail | Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp |
| Nimpl | |
| Nram | |
| Ndetail | |
| Nsmt_info | |
| Ndetail | |
| Nstring | |
| Ndetail | |
| Nverif | |
| Ndetail | Common interface for precondition and postcondition operations |
| Nwitgen | |
| Nmlir | |
| Ntblgen | |
| NStep1_InstantiateStructs | |
| NStep2_InstantiateFunctions | |
| NStep3_Unroll | |
| NStep4_InstantiateAffineMaps | |
| NStep5_PropagateTypes | |
| NStep6_Cleanup | |
| Ntest_templates | |
| NWildcardFunctionSpecialization |