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:
 NCastRefinement
 Nclang
 Nllvm
 Ncl
 Nllzk
 NaffineMapHelpersGroup together all implementation related to AffineMap type parameters
 NalignmentHelpers
 Narray
 NdetailCommon interface for operations that reference an array value
 Nimpl
 Nboolean
 Ndetail
 Nimpl
 Ncast
 Ndetail
 Ncomponent
 NdetailCommon interface for operations that read or write from a struct member
 Nimpl
 Nconstrain
 NdetailCommon interface for operations that produce a constraint
 Ndataflow
 Ndebug
 NdetailProvides 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
 NdetailCommon interface for binary arithmetic operations on felts
 Nfunction
 Ndetail
 Nglobal
 NdetailCommon interface for operations that read or write from a global
 Nimpl
 Nimpl
 Ninclude
 Ndetail
 Nimpl
 Nmlir_patchReplace 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
 NdetailCommon interface for operations that reference a plain-old-data struct value
 Nimpl
 Npolymorphic
 NdetailCommon interface for constant parameter-like symbol operations that can be defined within a TemplateOp
 Nimpl
 Nram
 Ndetail
 Nsmt_info
 Ndetail
 Nstring
 Ndetail
 Nverif
 NdetailCommon interface for precondition and postcondition operations
 Nwitgen
 Nmlir
 Ntblgen
 NStep1_InstantiateStructs
 NStep2_InstantiateFunctions
 NStep3_Unroll
 NStep4_InstantiateAffineMaps
 NStep5_PropagateTypes
 NStep6_Cleanup
 Ntest_templates
 NWildcardFunctionSpecialization