LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Namespace List
Here is a list of all namespaces with brief descriptions:
[detail level 123]
 NCastRefinement
 Nclang
 Nllvm
 Ncl
 Nllzk
 NaffineMapHelpersGroup together all implementation related to AffineMap type parameters
 NalignmentHelpers
 Narray
 Ndetail
 Nimpl
 Nboolean
 Ndetail
 Nimpl
 Ncast
 Ndetail
 Ncomponent
 Ndetail
 Nimpl
 Nconstrain
 Ndetail
 Ndataflow
 Ndebug
 Ndetail
 Nfelt
 Ndetail
 Nfunction
 Ndetail
 Nglobal
 Ndetail
 Nimpl
 Ninclude
 Ndetail
 Nimpl
 Npod
 Ndetail
 Nimpl
 Npolymorphic
 Ndetail
 Nimpl
 Nram
 Ndetail
 Nsmt
 Ndetail
 Nstring
 Ndetail
 Nverif
 Ndetail
 Nwitgen
 Nmlir
 Nmlir_hotfixReplace 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
 NStep1_InstantiateStructs
 NStep2_InstantiateFunctions
 NStep3_Unroll
 NStep4_InstantiateAffineMaps
 NStep5_PropagateTypes
 NStep6_Cleanup
 Ntest_templates
 NWildcardFunctionSpecialization