|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
| Nclang | |
| Nllvm | |
| Ncl | |
| Nllzk | |
| NaffineMapHelpers | Group together all implementation related to AffineMap type parameters |
| NalignmentHelpers | |
| Narray | |
| Ndetail | |
| Nimpl | |
| Nboolean | |
| Ndetail | |
| Ncast | |
| Ndetail | |
| Ncomponent | |
| Ndetail | |
| Nconstrain | |
| Ndetail | |
| Ndataflow | |
| Ndebug | |
| Ndetail | |
| Nfelt | |
| Ndetail | |
| Nfunction | |
| Ndetail | |
| Nglobal | |
| Ndetail | |
| Nimpl | |
| Ninclude | |
| Ndetail | |
| Nimpl | |
| Npod | |
| Ndetail | |
| Npolymorphic | |
| Ndetail | |
| Nimpl | |
| Nram | |
| Ndetail | |
| Nsmt | |
| Ndetail | |
| Nstring | |
| Ndetail | |
| Nmlir | |
| Nmlir_hotfix | Replace mlir::registerTransformsPasses() to register a custom remove-dead-values pass because MLIR version 20 has a bug in that pass which causes an assertion failure when it encounters an scf.if op with an empty else region |
| NStep1A_InstantiateStructs | |
| NStep1B_InstantiateFunctions | |
| NStep2_Unroll | |
| NStep3_InstantiateAffineMaps | |
| NStep4_PropagateTypes | |
| NStep5_Cleanup | |
| Ntest_templates |