| Cmlir::dataflow::AbstractDenseLattice | |
| Cllzk::MemberOverwriteLattice | |
| Cllzk::PredecessorLattice | |
| Cllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy > | |
| Cllzk::dataflow::AbstractLatticeValue< IntervalAnalysisLatticeValue, ExpressionValue > | |
| Cllzk::IntervalAnalysisLatticeValue | |
| Cllzk::dataflow::AbstractLatticeValue< SourceRefLatticeValue, SourceRefSet > | |
| Cllzk::SourceRefLatticeValue | A value at a given point of the SourceRefLattice |
| Cmlir::dataflow::AbstractSparseForwardDataFlowAnalysis | |
| Cllzk::dataflow::AbstractSparseForwardDataFlowAnalysis | Compatibility adapter over MLIR sparse forward data-flow analysis |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< Lattice > | |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice > | |
| Cllzk::IntervalDataFlowAnalysis | |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice > | |
| Cllzk::SourceRefAnalysis | The dataflow analysis that computes the set of references that LLZK operations use and produce |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< StateT > | A sparse forward data-flow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations |
| Cdataflow::AbstractSparseLattice | |
| Cllzk::IntervalAnalysisLattice | |
| Cllzk::SourceRefLattice | Sparse SSA-value lattice for SourceRef propagation |
| Cllzk::polymorphic::detail::AccessPath | A concrete subtree of one execution's storage |
| Cllzk::felt::detail::AddFeltOpGenericAdaptorBase | |
| Cllzk::felt::AddFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::AddFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::AddFeltOpAdaptor | |
| Cllzk::felt::AddFeltOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::AndBoolOpGenericAdaptorBase | |
| Cllzk::boolean::AndBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::AndBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::AndBoolOpAdaptor | |
| Cllzk::boolean::AndBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::AndFeltOpGenericAdaptorBase | |
| Cllzk::felt::AndFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::AndFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::AndFeltOpAdaptor | |
| Cllzk::felt::AndFeltOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase | |
| Cllzk::polymorphic::ApplyMapOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::ApplyMapOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::ApplyMapOpAdaptor | |
| Cllzk::polymorphic::ApplyMapOpGenericAdaptor< RangeT > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits | |
| Cllzk::array::ArrayIndexGen | Helper for converting between linear and multi-dimensional indexing with checks to ensure indices are in range for the ArrayType |
| Cllzk::array::detail::ArrayLengthOpGenericAdaptorBase | |
| Cllzk::array::ArrayLengthOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::ArrayLengthOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::ArrayLengthOpAdaptor | |
| Cllzk::array::ArrayLengthOpGenericAdaptor< RangeT > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits | |
| Cllzk::witgen::ArrayValue | Materialized array value with flattened element storage |
| Cllzk::boolean::detail::AssertOpGenericAdaptorBase | |
| Cllzk::boolean::AssertOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::AssertOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::AssertOpAdaptor | |
| Cllzk::boolean::AssertOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::AssumeDetOpGenericAdaptorBase | |
| Cllzk::verif::AssumeDetOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::AssumeDetOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::AssumeDetOpAdaptor | |
| Cllzk::verif::AssumeDetOpGenericAdaptor< RangeT > | |
| Cllzk::AuxAssignment | |
| Cmlir::DialectInterface::Base | |
| Cllzk::ValueCopyDialectInterface | Dialect hook for materializing independent storage for mutable value types |
| Cmlir::SideEffects::Resource::Base | |
| Cllzk::DiscardableAllocationResource | Memory resource for allocations that may be erased when no stored value is ever read |
| Cllzk::global::GlobalMemoryResource | Memory resource indicating a global.def memory resource |
| Cllzk::BaseBuilder | |
| Cllzk::ModuleLikeBuilder< ModuleBuilder > | |
| Cllzk::ModuleBuilder | Builds out a LLZK-compliant module and provides utilities for populating that module |
| Cllzk::ModuleLikeBuilder< TemplateBuilder > | |
| Cllzk::TemplateBuilder | Builds out a LLZK-compliant template and provides utilities for populating that template |
| Cllzk::ModuleLikeBuilder< Derived > | |
| Cbasic_parser | |
| Cllvm::cl::NestedOptionsParserBase< llzk::NestedPassOptions< CreatePass > > | |
| Cllvm::cl::parser< llzk::NestedPassOptions< CreatePass > > | Parser for textual options that are validated by a constituent MLIR pass |
| Cllvm::cl::NestedOptionsParserBase< llzk::NestedPipelineOptions< PipelineOptionsT > > | |
| Cllvm::cl::parser< llzk::NestedPipelineOptions< PipelineOptionsT > > | Parser for textual options that are validated by a constituent MLIR pipeline |
| Cllvm::cl::NestedOptionsParserBase< OptionsT > | |
| Cllzk::BinaryBuffer | Accumulate fixed-width integers and field elements in little-endian order |
| Cllzk::BuildShortTypeString | Note: If any symbol refs in an input Type/Attribute use any of the special characters that this class generates, they are not escaped |
| Cmlir::BytecodeDialectInterface | |
| Cllzk::LLZKDialectBytecodeInterface< global::GlobalDialect > | |
| Cllzk::LLZKDialectBytecodeInterface< StructDialect > | |
| Cllzk::component::StructDialectBytecodeInterface | Implement version upgrade for StructDialect |
| Cllzk::LLZKDialectBytecodeInterface< DialectTy > | This implements the bytecode interface for the LLZK dialect |
| Cllzk::verif::detail::CallableSummaryKey | Cache key for one interprocedural callable-result summary query |
| Cllzk::CallGraph | This is a port of mlir::CallGraph that has been adapted to use the custom symbol lookup helpers (see SymbolHelper.h) |
| Cllzk::CallGraphAnalysis | An analysis wrapper to compute the CallGraph for a Module |
| Cllzk::CallGraphNode | This is a simple port of the mlir::CallGraphNode with llzk::CallGraph as a friend class, for mlir::CallGraphNode has a private constructor and can only be constructed by mlir::CallGraph |
| Cllzk::CallGraphPrinterPassOptions | |
| Cllzk::CallGraphReachabilityAnalysis | Lazily-constructed reachability analysis |
| Cllzk::CallGraphSCCsPrinterPassOptions | |
| Cllzk::function::detail::CallOpGenericAdaptorBase | |
| Cllzk::function::CallOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::function::CallOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::function::CallOpAdaptor | |
| Cllzk::function::CallOpGenericAdaptor< RangeT > | |
| CCAPITest | |
| CArrayDialectLinkTests | |
| CArrayOperationLinkTests | |
| CArrayTypeLinkTests | |
| CBoolAttributeLinkTests | |
| CBoolDialectLinkTests | |
| CBoolEnumLinkTests | |
| CBoolOperationLinkTests | |
| CCastAttributeLinkTests | |
| CCastDialectLinkTests | |
| CCastEnumLinkTests | |
| CCastOperationLinkTests | |
| CConstrainDialectLinkTests | |
| CConstrainOperationLinkTests | |
| CFeltAttributeLinkTests | |
| CFeltDialectLinkTests | |
| CFeltOperationLinkTests | |
| CFeltTypeLinkTests | |
| CFunctionAttributeLinkTests | |
| CFunctionDialectLinkTests | |
| CFunctionOperationLinkTests | |
| CGlobalDialectLinkTests | |
| CGlobalOperationLinkTests | |
| CIncludeDialectLinkTests | |
| CIncludeOperationLinkTests | |
| CLlzkAttributeLinkTests | |
| CLlzkDialectLinkTests | |
| CLlzkOperationLinkTests | |
| CPodAttributeLinkTests | |
| CPodDialectLinkTests | |
| CPodOperationLinkTests | |
| CPodTypeLinkTests | |
| CPolyDialectLinkTests | |
| CPolyOperationLinkTests | |
| CPolyTypeLinkTests | |
| CRamDialectLinkTests | |
| CRamOperationLinkTests | |
| CStringDialectLinkTests | |
| CStringOperationLinkTests | |
| CStringTypeLinkTests | |
| CStructDialectLinkTests | |
| CStructOperationLinkTests | |
| CStructTypeLinkTests | |
| CVerifDialectLinkTests | |
| CVerifOperationLinkTests | |
| Cllzk::CDGAnalysisContext | Parameters and shared objects to pass to child analyses |
| CClangLexerContext | RAII wrapper for Clang lexer infrastructure |
| Cllzk::polymorphic::detail::CleanupBase | Shared state for post-instantiation cleanup helpers |
| Cllzk::polymorphic::detail::FromEraseSet | Removes parameterized definitions whose instantiated replacements now cover every remaining use |
| Cllzk::boolean::detail::CmpOpGenericAdaptorBase | |
| Cllzk::boolean::CmpOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::CmpOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::CmpOpAdaptor | |
| Cllzk::boolean::CmpOpGenericAdaptor< RangeT > | |
| Cllzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes > | This matcher will either match on lhs op rhs or rhs op lhs |
| Cllzk::ComputeConstrainToProductPassOptions | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Concept | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::Concept | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::Concept | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Concept | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Concept | |
| Cllzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept | |
| Cllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Concept | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Concept | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::Concept | |
| Cllzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::pod::detail::PodRefOpInterfaceInterfaceTraits::Concept | |
| Cllzk::pod::detail::PodRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::pod::detail::PodRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::pod::detail::PodRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::pod::detail::PodRefOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Concept | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::verif::detail::ConditionOpInterfaceInterfaceTraits::Concept | |
| Cllzk::verif::detail::ConditionOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::verif::detail::ConditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::verif::detail::ConditionOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::verif::detail::ConditionOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::Concept | |
| Cllzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::Concept | |
| Cllzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::Concept | |
| Cllzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Concept | |
| Cllzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::verif::detail::ConditionOpInterfaceInterfaceTraits | |
| Cllzk::ConstantCapture | Matches and optionally captures a felt constant |
| Cllzk::polymorphic::detail::ConstraintBindings | Bind scalar leaves without constructing a shadow array or POD object |
| Cllzk::ConstraintDependencyGraph | A dependency graph of constraints enforced by an LLZK struct |
| Cllzk::ConstraintDependencyGraphPrinterPassOptions | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits | |
| Cllzk::polymorphic::detail::ConstraintScalarFacts | Evaluate scalar dependencies of structural decisions, assertions, and constant arithmetic |
| Cllzk::polymorphic::detail::ConstraintStorage | Resolve concrete components and signal provenance directly from original SSA |
| Cllzk::polymorphic::detail::ConstReadOpGenericAdaptorBase | |
| Cllzk::polymorphic::ConstReadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::ConstReadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::ConstReadOpAdaptor | |
| Cllzk::polymorphic::ConstReadOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::ContractEndOpGenericAdaptorBase | |
| Cllzk::verif::ContractEndOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::ContractEndOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::ContractEndOpAdaptor | |
| Cllzk::verif::ContractEndOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::ContractOpGenericAdaptorBase | |
| Cllzk::verif::ContractOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::ContractOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::ContractOpAdaptor | |
| Cllzk::verif::ContractOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits | |
| Cllzk::array::detail::CreateArrayOpGenericAdaptorBase | |
| Cllzk::array::CreateArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::CreateArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::CreateArrayOpAdaptor | |
| Cllzk::array::CreateArrayOpGenericAdaptor< RangeT > | |
| Cllzk::component::detail::CreateStructOpGenericAdaptorBase | |
| Cllzk::component::CreateStructOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::CreateStructOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::CreateStructOpAdaptor | |
| Cllzk::component::CreateStructOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::DecreasesOpGenericAdaptorBase | |
| Cllzk::verif::DecreasesOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::DecreasesOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::DecreasesOpAdaptor | |
| Cllzk::verif::DecreasesOpGenericAdaptor< RangeT > | |
| CDefaultDOTGraphTraits | |
| Cllvm::DOTGraphTraits< const llzk::SymbolDefTreeNode * > | |
| Cllvm::DOTGraphTraits< const llzk::SymbolDefTree * > | |
| Cllvm::DOTGraphTraits< const llzk::SymbolUseGraphNode * > | |
| Cllvm::DOTGraphTraits< const llzk::SymbolUseGraph * > | |
| Cmlir::dataflow::DenseForwardDataFlowAnalysis | |
| Cllzk::MemberOverwriteAnalysis | |
| Cllzk::PredecessorAnalysis | |
| Cllvm::DenseMapInfo | |
| Cllzk::verif::detail::CallableSummaryKeyInfo | |
| Cllzk::verif::detail::IncludedContractSummaryKeyInfo | |
| Cllvm::DenseMapInfo< CompatiblePodLeafMaterializationKey > | |
| Cllvm::DenseMapInfo< llzk::ExpressionValue > | |
| Cllvm::DenseMapInfo< llzk::Side > | |
| Cllvm::DenseMapInfo< llzk::SourceRef > | |
| Cllvm::DenseMapInfo< OperationComparator > | |
| Cllvm::DenseMapInfo< RecordChain > | |
| Cllvm::DenseMapInfo< ReferenceID > | Allows ReferenceID to be a DenseMap key |
| Cllvm::DenseMapInfo<::llzk::boolean::FeltCmpPredicate > | |
| Cllvm::DenseMapInfo<::llzk::cast::OverflowSemantics > | |
| Cllvm::DenseMapInfo<::llzk::OutputStream > | |
| Cllvm::DenseMapInfo<::llzk::polymorphic::FlatteningCleanupMode > | |
| Cmlir::Dialect | |
| Cllzk::LLZKDialect | Common LLZK attributes |
| Cllzk::array::ArrayDialect | LLZK array operations |
| Cllzk::boolean::BoolDialect | LLZK boolean operations |
| Cllzk::cast::CastDialect | LLZK type conversion operations |
| Cllzk::component::StructDialect | LLZK component/struct operations |
| Cllzk::constrain::ConstrainDialect | LLZK constraint emission operations |
| Cllzk::felt::FeltDialect | LLZK felt (Field ELemenT) type and operations |
| Cllzk::function::FunctionDialect | LLZK function operations |
| Cllzk::global::GlobalDialect | LLZK support for global values, defined outside of structs |
| Cllzk::include::IncludeDialect | LLZK include operations |
| Cllzk::pod::PODDialect | Dialect for working with plain-old-data structs |
| Cllzk::polymorphic::PolymorphicDialect | LLZK types and operations to support templated/parameterized structs |
| Cllzk::ram::RAMDialect | LLZK support for random access memory during witness generation |
| Cllzk::smt_info::SMTInfoDialect | SMT-LIB script metadata retained through emission |
| Cllzk::string::StringDialect | LLZK string type and operations |
| Cllzk::verif::VerifDialect | LLZK verification dialect for encoding specifications for functions and structs |
| Cmlir::DialectVersion | |
| Cllzk::LLZKDialectVersion | |
| Cllzk::detail::DiscardableAllocationAccessorOpInterfaceInterfaceTraits | |
| Cllzk::polymorphic::detail::DiscoveryAggregate | Scalar contents and concrete array shapes, including nested aggregate roots |
| Cllzk::polymorphic::detail::DiscoveryStorage | Track only local constant aggregate contents |
| Cllzk::polymorphic::detail::DiscoveryValue | A scalar constant or a local aggregate identity. Missing leaves are unknown |
| Cllzk::felt::detail::DivFeltOpGenericAdaptorBase | |
| Cllzk::felt::DivFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::DivFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::DivFeltOpAdaptor | |
| Cllzk::felt::DivFeltOpGenericAdaptor< RangeT > | |
| Cllzk::DynamicAPIntValue | Attribute storage adapter providing numeric hashing for DynamicAPInt |
| Cllzk::CallGraphNode::Edge | This class represents a directed edge between two nodes in the callgraph |
| Cllzk::constrain::detail::EmitContainmentOpGenericAdaptorBase | |
| Cllzk::constrain::EmitContainmentOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::constrain::EmitContainmentOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::constrain::EmitContainmentOpAdaptor | |
| Cllzk::constrain::EmitContainmentOpGenericAdaptor< RangeT > | |
| Cllzk::constrain::detail::EmitEqualityOpGenericAdaptorBase | |
| Cllzk::constrain::EmitEqualityOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::constrain::EmitEqualityOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::constrain::EmitEqualityOpAdaptor | |
| Cllzk::constrain::EmitEqualityOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::EnsureComputeOpGenericAdaptorBase | |
| Cllzk::verif::EnsureComputeOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::EnsureComputeOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::EnsureComputeOpAdaptor | |
| Cllzk::verif::EnsureComputeOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::EnsureConstrainOpGenericAdaptorBase | |
| Cllzk::verif::EnsureConstrainOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::EnsureConstrainOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::EnsureConstrainOpAdaptor | |
| Cllzk::verif::EnsureConstrainOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::ExistsOpGenericAdaptorBase | |
| Cllzk::boolean::ExistsOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::ExistsOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::ExistsOpAdaptor | |
| Cllzk::boolean::ExistsOpGenericAdaptor< RangeT > | |
| Cllzk::component::ExposeChildMembersPassOptions | |
| Cllzk::ExpressionValue | Tracks a solver expression and an interval range for that expression |
| Cllzk::array::detail::ExtractArrayOpGenericAdaptorBase | |
| Cllzk::array::ExtractArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::ExtractArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::ExtractArrayOpAdaptor | |
| Cllzk::array::ExtractArrayOpGenericAdaptor< RangeT > | |
| CExtraMethod | Structure to represent a parsed method signature from an extraClassDeclaration |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits | |
| Cllzk::felt::detail::FeltConstantOpGenericAdaptorBase | |
| Cllzk::felt::FeltConstantOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::FeltConstantOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::FeltConstantOpAdaptor | |
| Cllzk::felt::FeltConstantOpGenericAdaptor< RangeT > | |
| Cllzk::cast::detail::FeltToIndexOpGenericAdaptorBase | |
| Cllzk::cast::FeltToIndexOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::cast::FeltToIndexOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::cast::FeltToIndexOpAdaptor | |
| Cllzk::cast::FeltToIndexOpGenericAdaptor< RangeT > | |
| Cllzk::Field | Information about the prime finite field used for the interval analysis |
| Cmlir::FieldParser< T, typename > | |
| Cmlir::FieldParser< llvm::APInt > | |
| Cmlir::FieldParser< std::optional<::llzk::boolean::FeltCmpPredicate >, std::optional<::llzk::boolean::FeltCmpPredicate > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser< std::optional<::llzk::cast::OverflowSemantics >, std::optional<::llzk::cast::OverflowSemantics > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser< std::optional<::llzk::polymorphic::FlatteningCleanupMode >, std::optional<::llzk::polymorphic::FlatteningCleanupMode > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate > | |
| Cmlir::FieldParser<::llzk::cast::OverflowSemantics, ::llzk::cast::OverflowSemantics > | |
| Cmlir::FieldParser<::llzk::OutputStream, ::llzk::OutputStream > | |
| Cmlir::FieldParser<::llzk::polymorphic::FlatteningCleanupMode, ::llzk::polymorphic::FlatteningCleanupMode > | |
| Cllzk::FileLineColLocComparator | |
| Cllzk::polymorphic::FlatteningPassOptions | |
| Cllzk::boolean::detail::ForAllOpGenericAdaptorBase | |
| Cllzk::boolean::ForAllOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::ForAllOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::ForAllOpAdaptor | |
| Cllzk::boolean::ForAllOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::ForbiddenInfluenceAnalyzer | Interprocedural verifier-local analysis for forbidden precondition influence |
| Cllzk::verif::ForbiddenPreconditionInfluenceInfo | Summary of forbidden precondition influence along with representative source locations for each forbidden kind |
| Cllzk::FullPolyLoweringConfig | Pure C++ configuration for the full polynomial lowering pipeline |
| Cllzk::FullStructInliningConfig | Pure C++ configuration for the full struct inlining pipeline |
| Cllzk::function::detail::FuncDefOpGenericAdaptorBase | |
| Cllzk::function::FuncDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::function::FuncDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::function::FuncDefOpAdaptor | |
| Cllzk::function::FuncDefOpGenericAdaptor< RangeT > | |
| Cllzk::witgen::FunctionInterpreter | Execute one flattened LLZK function body over runtime values |
| Cllzk::FunctionTypeConverter | General helper for converting a FuncDefOp by changing its input and/or result types and the associated attributes for those types |
| Cllzk::FuzzySet | Represents a set where the membership predicate can take three values: true, false, and "unknown" |
| CGenerator | Base class for C API generators |
| CHeaderGenerator | Generator for common C header file elements |
| CAttrOrTypeHeaderGenerator | Generator for attribute/type C header files |
| COpHeaderGenerator | Generator for operation C header files |
| CImplementationGenerator | Generator for common C implementation file elements |
| CAttrOrTypeImplementationGenerator | Generator for attribute/type C implementation files |
| COpImplementationGenerator | Generator for operation C implementation files |
| CTestGenerator | Generator for common test implementation file elements |
| CAttrOrTypeTestGenerator | Base class for attribute and type test generators |
| CGenStringFromOpPieces | Helper struct to generate a string from operation operand, attribute, and result pieces |
| Cllzk::global::detail::GlobalDefOpGenericAdaptorBase | |
| Cllzk::global::GlobalDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::global::GlobalDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::global::GlobalDefOpAdaptor | |
| Cllzk::global::GlobalDefOpGenericAdaptor< RangeT > | |
| Cllzk::global::detail::GlobalReadOpGenericAdaptorBase | |
| Cllzk::global::GlobalReadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::global::GlobalReadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::global::GlobalReadOpAdaptor | |
| Cllzk::global::GlobalReadOpGenericAdaptor< RangeT > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits | |
| Cllzk::GlobalSourceMgr | |
| Cllzk::global::detail::GlobalWriteOpGenericAdaptorBase | |
| Cllzk::global::GlobalWriteOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::global::GlobalWriteOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::global::GlobalWriteOpAdaptor | |
| Cllzk::global::GlobalWriteOpGenericAdaptor< RangeT > | |
| Cllvm::GraphTraits< const llzk::CallGraphNode * > | |
| Cllvm::GraphTraits< const llzk::CallGraph * > | |
| Cllvm::GraphTraits< const llzk::SymbolDefTreeNode * > | |
| Cllvm::GraphTraits< const llzk::SymbolDefTree * > | |
| Cllvm::GraphTraits< const llzk::SymbolUseGraphNode * > | |
| Cllvm::GraphTraits< const llzk::SymbolUseGraph * > | |
| Cllvm::GraphTraits< Inverse< const llzk::SymbolUseGraphNode * > > | |
| Cllvm::GraphTraits< Inverse< const llzk::SymbolUseGraph * > > | |
| Cllzk::ExpressionValue::Hash | |
| Cllzk::Field::Hash | Hash the prime modulus (consistent with the equality operator) |
| Cllzk::Interval::Hash | |
| Cllzk::SourceRef::Hash | |
| Cllzk::SourceRefIndex::Hash | |
| Cllzk::UnreducedInterval::Hash | |
| Cstd::hash< llzk::CDGAnalysisContext > | |
| Cstd::hash< llzk::IntervalAnalysisContext > | |
| CClangLexerContext::Impl | |
| Cllzk::verif::detail::IncludedContractFailure | One included precondition that becomes illegal under a specific caller binding |
| Cllzk::verif::detail::IncludedContractSummary | Summary of all included-contract precondition failures under a specific caller binding |
| Cllzk::verif::detail::IncludedContractSummaryKey | Cache key for one interprocedural included-contract summary query |
| Cllzk::include::detail::IncludeOpGenericAdaptorBase | |
| Cllzk::include::IncludeOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::include::IncludeOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::include::IncludeOpAdaptor | |
| Cllzk::include::IncludeOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::IncludeOpGenericAdaptorBase | |
| Cllzk::verif::IncludeOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::IncludeOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::IncludeOpAdaptor | |
| Cllzk::verif::IncludeOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::IncreasesOpGenericAdaptorBase | |
| Cllzk::verif::IncreasesOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::IncreasesOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::IncreasesOpAdaptor | |
| Cllzk::verif::IncreasesOpGenericAdaptor< RangeT > | |
| Cllzk::InFlightDiagnosticWrapper | Wrapper around InFlightDiagnostic that can either be a regular InFlightDiagnostic or a special version that asserts false after reporting the diagnostic |
| Cllzk::component::InlineStructsPassOptions | |
| Cllzk::witgen::InputBinding | Describe one JSON-visible main input binding |
| Cllzk::array::detail::InsertArrayOpGenericAdaptorBase | |
| Cllzk::array::InsertArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::InsertArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::InsertArrayOpAdaptor | |
| Cllzk::array::InsertArrayOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::InstantiationLayout | Groups the information needed after concrete parameters have been chosen to decide how to name a new instantiated template and how to rewrite the remaining argument list at the use site |
| Cllzk::component::InStructFunctionNamed< FuncName > | This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name |
| Cllzk::witgen::Interpreter | Drive witness generation for the concrete llzk.main instance |
| Cllzk::Interval | Intervals over a finite field |
| Cllzk::IntervalAnalysisContext | Parameters and shared objects to pass to child analyses |
| Cllzk::IntervalAnalysisPrinterPassOptions | |
| Cllzk::cast::detail::IntToFeltOpGenericAdaptorBase | |
| Cllzk::cast::IntToFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::cast::IntToFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::cast::IntToFeltOpAdaptor | |
| Cllzk::cast::IntToFeltOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::InvariantOpGenericAdaptorBase | |
| Cllzk::verif::InvariantOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::InvariantOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::InvariantOpAdaptor | |
| Cllzk::verif::InvariantOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits | |
| Cllzk::felt::detail::InvFeltOpGenericAdaptorBase | |
| Cllzk::felt::InvFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::InvFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::InvFeltOpAdaptor | |
| Cllzk::felt::InvFeltOpGenericAdaptor< RangeT > | |
| Cllzk::witgen::JSONMismatch | One structured JSON mismatch between expected and actual witgen output |
| Cllzk::KnownTargetVerifier< OriginOp, TargetOp > | Shared signature and template-instantiation checks for a resolved call-like target |
| Cllzk::polymorphic::detail::LegalityCheckCallback | |
| Cllzk::polymorphic::detail::EmptyLegalityCheckCallback | |
| Cllzk::LightweightSignalEquivalenceAnalysis | |
| Cllzk::string::detail::LitStringOpGenericAdaptorBase | |
| Cllzk::string::LitStringOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::string::LitStringOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::string::LitStringOpAdaptor | |
| Cllzk::string::LitStringOpGenericAdaptor< RangeT > | |
| CLlzkAffineMapOperandsBuilder | Encapsulates the arguments related to affine maps that are common in operation constructors that support them |
| Cllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits | |
| Cllzk::LLZKLayout | Logical felt-signal paths in a monomorphized LLZK circuit |
| CLlzkRecordValue | Information needed to define a pod RecordAttr given a name and a value that will be stored in the record |
| CLlzkSymbolLookupResult | Owned result of an LLZK symbol lookup |
| Cllzk::LLZKTypeSwitch< Derived, ResultType > | Template pattern for performing some operation by cases based on a given LLZK type |
| Cllzk::ram::detail::LoadOpGenericAdaptorBase | |
| Cllzk::ram::LoadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::ram::LoadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::ram::LoadOpAdaptor | |
| Cllzk::ram::LoadOpGenericAdaptor< RangeT > | |
| Cllzk::LocationComparator | |
| CMapOperandsHelper< N > | Helper for unwrapping the C arguments for the map operands |
| Cllzk::component::detail::MemberDefOpGenericAdaptorBase | |
| Cllzk::component::MemberDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::MemberDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::MemberDefOpAdaptor | |
| Cllzk::component::MemberDefOpGenericAdaptor< RangeT > | |
| Cllzk::component::detail::MemberReadOpGenericAdaptorBase | |
| Cllzk::component::MemberReadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::MemberReadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::MemberReadOpAdaptor | |
| Cllzk::component::MemberReadOpGenericAdaptor< RangeT > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits | |
| Cllzk::component::detail::MemberWriteOpGenericAdaptorBase | |
| Cllzk::component::MemberWriteOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::MemberWriteOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::MemberWriteOpAdaptor | |
| Cllzk::component::MemberWriteOpGenericAdaptor< RangeT > | |
| CMethodParameter | Structure to represent a parameter in a parsed method signature from an extraClassDeclaration |
| CMlirOpBuilderInsertPoint | Current insertion point of an mlir::OpBuilder instance represented as a block and an operation within that block |
| CMlirValueRange | Representation of an mlir::ValueRange |
| Cllzk::ModuleAnalysis< Result, Context, StructAnalysisTy > | An analysis wrapper that runs the given StructAnalysisTy struct analysis over all of the struct contained within the module |
| Cllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis > | |
| Cllzk::ConstraintDependencyGraphModuleAnalysis | A module-level analysis for constructing ConstraintDependencyGraph objects for all structs in the given LLZK module |
| Cllzk::ModuleAnalysis< StructIntervals, IntervalAnalysisContext, StructIntervalAnalysis > | |
| Cllzk::ModuleIntervalAnalysis | |
| Cllzk::felt::detail::MulFeltOpGenericAdaptorBase | |
| Cllzk::felt::MulFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::MulFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::MulFeltOpAdaptor | |
| Cllzk::felt::MulFeltOpGenericAdaptor< RangeT > | |
| Cllzk::NamedOpLocationLess< Op > | Order named operations by source location, using the symbol name to break ties or when source locations cannot be compared |
| Cllzk::felt::detail::NegFeltOpGenericAdaptorBase | |
| Cllzk::felt::NegFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::NegFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::NegFeltOpAdaptor | |
| Cllzk::felt::NegFeltOpGenericAdaptor< RangeT > | |
| Cllzk::detail::NestedTextualOptions | Shared storage and helpers for nested textual pass and pipeline options |
| Cllzk::NestedPassOptions< static_cast< std::unique_ptr< mlir::Pass >(*)()>(&llzk::component::createInlineStructsPass)> | |
| Cllzk::NestedPassOptions< static_cast< std::unique_ptr< mlir::Pass >(*)()>(&llzk::createPolyLoweringPass)> | |
| Cllzk::NestedPipelineOptions< StructInliningFlatteningOptions > | |
| Cllzk::NestedPipelineOptions< FullStructInliningOptions > | |
| Cllzk::NestedPassOptions< CreatePass > | Stores textual options for a constituent pass after validating them against that pass' native MLIR option parser |
| Cllzk::NestedPipelineOptions< PipelineOptionsT > | Stores textual options for a constituent pipeline after validating them against that pipeline's native MLIR option parser |
| Cllzk::pod::detail::NewPodOpGenericAdaptorBase | |
| Cllzk::pod::NewPodOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::pod::NewPodOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::pod::NewPodOpAdaptor | |
| Cllzk::pod::NewPodOpGenericAdaptor< RangeT > | |
| Cllzk::NoContext | An empty struct that is used for convenience for analyses that do not require any context |
| Cllzk::detail::NonDetOpGenericAdaptorBase | |
| Cllzk::NonDetOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::NonDetOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::NonDetOpAdaptor | |
| Cllzk::NonDetOpGenericAdaptor< RangeT > | |
| Cllzk::global::NormalizedGlobalInitializer | A global initializer and its normalized type |
| Cllzk::boolean::detail::NotBoolOpGenericAdaptorBase | |
| Cllzk::boolean::NotBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::NotBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::NotBoolOpAdaptor | |
| Cllzk::boolean::NotBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::NotFeltOpGenericAdaptorBase | |
| Cllzk::felt::NotFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::NotFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::NotFeltOpAdaptor | |
| Cllzk::felt::NotFeltOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::OldOpGenericAdaptorBase | |
| Cllzk::verif::OldOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::OldOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::OldOpAdaptor | |
| Cllzk::verif::OldOpGenericAdaptor< RangeT > | |
| Cmlir::Op | |
| Cllzk::NonDetOp | |
| Cllzk::array::ArrayLengthOp | |
| Cllzk::array::CreateArrayOp | |
| Cllzk::array::ExtractArrayOp | |
| Cllzk::array::InsertArrayOp | |
| Cllzk::array::ReadArrayOp | |
| Cllzk::array::WriteArrayOp | |
| Cllzk::boolean::AndBoolOp | |
| Cllzk::boolean::AssertOp | |
| Cllzk::boolean::CmpOp | |
| Cllzk::boolean::ExistsOp | |
| Cllzk::boolean::ForAllOp | |
| Cllzk::boolean::NotBoolOp | |
| Cllzk::boolean::OrBoolOp | |
| Cllzk::boolean::XorBoolOp | |
| Cllzk::boolean::YieldOp | |
| Cllzk::cast::FeltToIndexOp | |
| Cllzk::cast::IntToFeltOp | |
| Cllzk::component::CreateStructOp | |
| Cllzk::component::MemberDefOp | |
| Cllzk::component::MemberReadOp | |
| Cllzk::component::MemberWriteOp | |
| Cllzk::component::StructDefOp | |
| Cllzk::constrain::EmitContainmentOp | |
| Cllzk::constrain::EmitEqualityOp | |
| Cllzk::felt::AddFeltOp | |
| Cllzk::felt::AndFeltOp | |
| Cllzk::felt::DivFeltOp | |
| Cllzk::felt::FeltConstantOp | |
| Cllzk::felt::InvFeltOp | |
| Cllzk::felt::MulFeltOp | |
| Cllzk::felt::NegFeltOp | |
| Cllzk::felt::NotFeltOp | |
| Cllzk::felt::OrFeltOp | |
| Cllzk::felt::PowFeltOp | |
| Cllzk::felt::ShlFeltOp | |
| Cllzk::felt::ShrFeltOp | |
| Cllzk::felt::SignedIntDivFeltOp | |
| Cllzk::felt::SignedModFeltOp | |
| Cllzk::felt::SubFeltOp | |
| Cllzk::felt::UnsignedIntDivFeltOp | |
| Cllzk::felt::UnsignedModFeltOp | |
| Cllzk::felt::XorFeltOp | |
| Cllzk::function::CallOp | |
| Cllzk::function::FuncDefOp | |
| Cllzk::function::ReturnOp | |
| Cllzk::global::GlobalDefOp | |
| Cllzk::global::GlobalReadOp | |
| Cllzk::global::GlobalWriteOp | |
| Cllzk::include::IncludeOp | |
| Cllzk::pod::NewPodOp | |
| Cllzk::pod::ReadPodOp | |
| Cllzk::pod::WritePodOp | |
| Cllzk::polymorphic::ApplyMapOp | |
| Cllzk::polymorphic::ConstReadOp | |
| Cllzk::polymorphic::TemplateExprOp | |
| Cllzk::polymorphic::TemplateOp | |
| Cllzk::polymorphic::TemplateParamOp | |
| Cllzk::polymorphic::UnifiableCastOp | |
| Cllzk::polymorphic::YieldOp | |
| Cllzk::ram::LoadOp | |
| Cllzk::ram::StoreOp | |
| Cllzk::smt_info::SMTInfoSetOp | |
| Cllzk::string::LitStringOp | |
| Cllzk::verif::AssumeDetOp | |
| Cllzk::verif::ContractEndOp | |
| Cllzk::verif::ContractOp | |
| Cllzk::verif::DecreasesOp | |
| Cllzk::verif::EnsureComputeOp | |
| Cllzk::verif::EnsureConstrainOp | |
| Cllzk::verif::IncludeOp | |
| Cllzk::verif::IncreasesOp | |
| Cllzk::verif::InvariantOp | |
| Cllzk::verif::OldOp | |
| Cllzk::verif::ProveDetOp | |
| Cllzk::verif::RequireComputeOp | |
| Cllzk::verif::RequireConstrainOp | |
| Cllzk::verif::StepOp | |
| Cllzk::verif::StepYieldOp | |
| Cllzk::verif::VerifAssertOp | |
| Cllzk::verif::VerifProveOp | |
| Cllzk::verif::VerifSMTProveOp | |
| Cllzk::OpClassesWithStructTypes | Lists all LLZK op classes that may contain a StructType in their results or attributes |
| Cmlir::OpConversionPattern | |
| Cllzk::SplitAggregateInMemberRefOp< ImplClass, MemberRefOpClass, GenHeaderType, IdType > | Common implementation for handling MemberWriteOp and MemberReadOp while destructuring an aggregate type (e.g., ArrayType or PodType) stored in a struct member |
| Cmlir::OperationPass | |
| Cllzk::polymorphic::impl::ConstraintFlatteningPassBase< PassImpl > | |
| Cllzk::array::impl::ArrayToScalarPassBase< DerivedT > | |
| Cllzk::array::impl::StraightLineStaticArrayPromotionPassBase< DerivedT > | |
| Cllzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT > | |
| Cllzk::component::impl::ExposeChildMembersPassBase< DerivedT > | |
| Cllzk::component::impl::InlineStructsPassBase< DerivedT > | |
| Cllzk::global::impl::ConstGlobalPropagationPassBase< DerivedT > | |
| Cllzk::impl::CallGraphPrinterPassBase< DerivedT > | |
| Cllzk::impl::CallGraphSCCsPrinterPassBase< DerivedT > | |
| Cllzk::impl::ComputeConstrainToProductPassBase< DerivedT > | |
| Cllzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT > | |
| Cllzk::impl::EnforceNoMemberOverwritePassBase< DerivedT > | |
| Cllzk::impl::FuseProductControlFlowPassBase< DerivedT > | |
| Cllzk::impl::InlineFreeFunctionsPassBase< DerivedT > | |
| Cllzk::impl::IntervalAnalysisPrinterPassBase< DerivedT > | |
| Cllzk::impl::MemberWriteValidatorPassBase< DerivedT > | |
| Cllzk::impl::PolyLoweringPassBase< DerivedT > | |
| Cllzk::impl::PredecessorPrinterPassBase< DerivedT > | |
| Cllzk::impl::RedundantOperationEliminationPassBase< DerivedT > | |
| Cllzk::impl::RedundantReadAndWriteEliminationPassBase< DerivedT > | |
| Cllzk::impl::RemoveUnusedDiscardableAllocationsPassBase< DerivedT > | |
| Cllzk::impl::SymbolDefTreePrinterPassBase< DerivedT > | |
| Cllzk::impl::SymbolUseGraphPrinterPassBase< DerivedT > | |
| Cllzk::impl::UnusedDeclarationEliminationPassBase< DerivedT > | |
| Cllzk::impl::WhileToForPassBase< DerivedT > | |
| Cllzk::include::impl::InlineIncludesPassBase< DerivedT > | |
| Cllzk::pod::impl::PodToScalarPassBase< DerivedT > | |
| Cllzk::polymorphic::impl::ConstraintFlatteningPassBase< DerivedT > | |
| Cllzk::polymorphic::impl::EmptyTemplateRemovalPassBase< DerivedT > | |
| Cllzk::polymorphic::impl::FlatteningPassBase< DerivedT > | |
| Cllzk::polymorphic::impl::TemplateMonomorphizationPassBase< DerivedT > | |
| Cllzk::polymorphic::impl::TypeVarInferencePassBase< DerivedT > | |
| Cllzk::polymorphic::impl::WildcardArraySpecializationPassBase< DerivedT > | |
| COpGeneratorData | Common between header and implementation generators for operations |
| COpHeaderGenerator | Generator for operation C header files |
| COpImplementationGenerator | Generator for operation C implementation files |
| Cllzk::OpHash< Op > | |
| Cmlir::OpInterface | |
| Cllzk::DiscardableAllocationAccessorOpInterface | |
| Cllzk::LLZKCallLikeOpInterface | |
| Cllzk::array::ArrayAccessOpInterface | |
| Cllzk::array::ArrayRefOpInterface | |
| Cllzk::component::MemberRefOpInterface | |
| Cllzk::constrain::ConstraintOpInterface | |
| Cllzk::felt::FeltBinaryOpInterface | |
| Cllzk::global::GlobalRefOpInterface | |
| Cllzk::pod::PodAccessOpInterface | |
| Cllzk::pod::PodRefOpInterface | |
| Cllzk::polymorphic::TemplateSymbolBindingOpInterface | |
| Cllzk::verif::ConditionOpInterface | |
| Cllzk::verif::ContractTargetOpInterface | |
| Cllzk::verif::InvariantTargetOpInterface | |
| Cllzk::verif::PostconditionOpInterface | |
| Cllzk::verif::PreconditionOpInterface | |
| Cllzk::OpLocationLess< Op > | |
| Cllzk::boolean::detail::OrBoolOpGenericAdaptorBase | |
| Cllzk::boolean::OrBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::OrBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::OrBoolOpAdaptor | |
| Cllzk::boolean::OrBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::OrFeltOpGenericAdaptorBase | |
| Cllzk::felt::OrFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::OrFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::OrFeltOpAdaptor | |
| Cllzk::felt::OrFeltOpGenericAdaptor< RangeT > | |
| Cllzk::witgen::OutputBinding | Describe one selected witness output leaf |
| Cmlir::PassPipelineOptions | |
| Cllzk::FullPolyLoweringOptions | CLI Option configuration for the full polynomial lowering pipeline |
| Cllzk::FullStructInliningOptions | CLI Option configuration for the full struct inlining pipeline |
| Cllzk::StructInliningFlatteningOptions | Typed nested options for the flattening pass when used inside the full struct-inlining and full poly-lowering pipelines |
| Cmlir::PassWrapper | |
| Cllzk::SpecializedMem2Reg< AllocOpTy > | A variant of the MLIR mem2reg pass that only promotes memory slots belonging to allocators of type AllocOpTy (which must implement mlir::PromotableAllocationOpInterface) |
| Cllzk::SpecializedSROA< AllocOpTy > | A variant of the MLIR sroa pass that only destructures memory slots belonging to allocators of type AllocOpTy (which must implement mlir::DestructurableAllocationOpInterface) |
| Cllzk::detail::RemoveDeadValuesWorkaroundPass | A workaround wrapper around MLIR's remove-dead-values pass that normalizes empty scf.if else regions before running the upstream implementation, cleans up the trivial regions afterwards, and removes unused ub.poison values left by an earlier invocation |
| Cllzk::pod::detail::PodAccessOpInterfaceInterfaceTraits | |
| Cllzk::pod::detail::PodRefOpInterfaceInterfaceTraits | |
| Cllzk::witgen::PodValue | Materialized POD value keyed by record name |
| Cllzk::PolyLoweringPassOptions | |
| Cllzk::verif::detail::PostconditionOpInterfaceInterfaceTraits | |
| Cllzk::felt::detail::PowFeltOpGenericAdaptorBase | |
| Cllzk::felt::PowFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::PowFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::PowFeltOpAdaptor | |
| Cllzk::felt::PowFeltOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::PreconditionOpInterfaceInterfaceTraits | |
| Cllzk::PredecessorPrinterPassOptions | |
| Cllzk::ProductAligner | |
| Cllzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties | |
| Cllzk::boolean::detail::AssertOpGenericAdaptorBase::Properties | |
| Cllzk::boolean::detail::CmpOpGenericAdaptorBase::Properties | |
| Cllzk::cast::detail::FeltToIndexOpGenericAdaptorBase::Properties | |
| Cllzk::cast::detail::IntToFeltOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::MemberDefOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::MemberReadOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::MemberWriteOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::StructDefOpGenericAdaptorBase::Properties | |
| Cllzk::felt::detail::FeltConstantOpGenericAdaptorBase::Properties | |
| Cllzk::function::detail::CallOpGenericAdaptorBase::Properties | |
| Cllzk::function::detail::FuncDefOpGenericAdaptorBase::Properties | |
| Cllzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties | |
| Cllzk::global::detail::GlobalReadOpGenericAdaptorBase::Properties | |
| Cllzk::global::detail::GlobalWriteOpGenericAdaptorBase::Properties | |
| Cllzk::include::detail::IncludeOpGenericAdaptorBase::Properties | |
| Cllzk::pod::detail::NewPodOpGenericAdaptorBase::Properties | |
| Cllzk::pod::detail::ReadPodOpGenericAdaptorBase::Properties | |
| Cllzk::pod::detail::WritePodOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::ConstReadOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::TemplateExprOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::TemplateOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase::Properties | |
| Cllzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties | |
| Cllzk::string::detail::LitStringOpGenericAdaptorBase::Properties | |
| Cllzk::verif::detail::ContractOpGenericAdaptorBase::Properties | |
| Cllzk::verif::detail::IncludeOpGenericAdaptorBase::Properties | |
| Cllzk::verif::detail::InvariantOpGenericAdaptorBase::Properties | |
| Cllzk::verif::detail::ProveDetOpGenericAdaptorBase | |
| Cllzk::verif::ProveDetOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::ProveDetOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::ProveDetOpAdaptor | |
| Cllzk::verif::ProveDetOpGenericAdaptor< RangeT > | |
| Cllvm::raw_ostream | |
| Cllzk::filtered_raw_ostream | Wrapper for llvm::raw_ostream that filters out certain characters selected by a function |
| Cllzk::array::detail::ReadArrayOpGenericAdaptorBase | |
| Cllzk::array::ReadArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::ReadArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::ReadArrayOpAdaptor | |
| Cllzk::array::ReadArrayOpGenericAdaptor< RangeT > | |
| Cllzk::pod::detail::ReadPodOpGenericAdaptorBase | |
| Cllzk::pod::ReadPodOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::pod::ReadPodOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::pod::ReadPodOpAdaptor | |
| Cllzk::pod::ReadPodOpGenericAdaptor< RangeT > | |
| Cllzk::pod::RecordValue | |
| Cllzk::RefValueCapture | Matches and optionally captures a SourceRef base value, which is either a member read or a block argument (i.e., an input to a @constrain or @compute function) |
| Cllzk::RemoveUnusedDiscardableAllocationsPassOptions | |
| Cllzk::verif::detail::RequireComputeOpGenericAdaptorBase | |
| Cllzk::verif::RequireComputeOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::RequireComputeOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::RequireComputeOpAdaptor | |
| Cllzk::verif::RequireComputeOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::RequireConstrainOpGenericAdaptorBase | |
| Cllzk::verif::RequireConstrainOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::RequireConstrainOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::RequireConstrainOpAdaptor | |
| Cllzk::verif::RequireConstrainOpGenericAdaptor< RangeT > | |
| Cllzk::function::detail::ReturnOpGenericAdaptorBase | |
| Cllzk::function::ReturnOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::function::ReturnOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::function::ReturnOpAdaptor | |
| Cllzk::function::ReturnOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::RolledCallTargets | A rolled method call and the concrete specializations it may target |
| Cllzk::felt::detail::ShlFeltOpGenericAdaptorBase | |
| Cllzk::felt::ShlFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::ShlFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::ShlFeltOpAdaptor | |
| Cllzk::felt::ShlFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::ShrFeltOpGenericAdaptorBase | |
| Cllzk::felt::ShrFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::ShrFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::ShrFeltOpAdaptor | |
| Cllzk::felt::ShrFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::SignedIntDivFeltOpGenericAdaptorBase | |
| Cllzk::felt::SignedIntDivFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::SignedIntDivFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::SignedIntDivFeltOpAdaptor | |
| Cllzk::felt::SignedIntDivFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::SignedModFeltOpGenericAdaptorBase | |
| Cllzk::felt::SignedModFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::SignedModFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::SignedModFeltOpAdaptor | |
| Cllzk::felt::SignedModFeltOpGenericAdaptor< RangeT > | |
| Cllzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase | |
| Cllzk::smt_info::SMTInfoSetOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt_info::SMTInfoSetOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt_info::SMTInfoSetOpAdaptor | |
| Cllzk::smt_info::SMTInfoSetOpGenericAdaptor< RangeT > | |
| Cllzk::SourceRef | A reference to a "source", which is the base value from which other SSA values are derived |
| Cllzk::SourceRefIndex | Defines an index into an LLZK object |
| Cllzk::SplitFunctionNameInfo | Cached function arg/result names and split suffixes used while rewriting a function signature |
| Cllzk::verif::detail::StepOpGenericAdaptorBase | |
| Cllzk::verif::StepOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::StepOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::StepOpAdaptor | |
| Cllzk::verif::StepOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::StepYieldOpGenericAdaptorBase | |
| Cllzk::verif::StepYieldOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::StepYieldOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::StepYieldOpAdaptor | |
| Cllzk::verif::StepYieldOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::StorageDescription | Transient description derived from immutable storage accesses, not an environment |
| Cllzk::ram::detail::StoreOpGenericAdaptorBase | |
| Cllzk::ram::StoreOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::ram::StoreOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::ram::StoreOpAdaptor | |
| Cllzk::ram::StoreOpGenericAdaptor< RangeT > | |
| Cllzk::StructAnalysis< Result, Context > | This is the base class for a dataflow analysis designed to run on a single struct (i.e., a single component) |
| Cllzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext > | |
| Cllzk::ConstraintDependencyGraphStructAnalysis | An analysis wrapper around the ConstraintDependencyGraph for a given struct |
| Cllzk::StructAnalysis< StructIntervals, IntervalAnalysisContext > | |
| Cllzk::StructIntervalAnalysis | |
| Cllzk::component::detail::StructDefOpGenericAdaptorBase | |
| Cllzk::component::StructDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::StructDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::StructDefOpAdaptor | |
| Cllzk::component::StructDefOpGenericAdaptor< RangeT > | |
| Cllzk::StructIntervals | |
| Cllzk::polymorphic::detail::StructSpecializationDiscovery | Determine which concrete struct definitions are needed when instantiating a struct or free function with the supplied template arguments |
| Cllzk::polymorphic::detail::StructSpecializationRequest | A struct type that the caller must instantiate, paired with the source use that needs it |
| Cllzk::polymorphic::StructSpecializationResolver | Resolve concrete struct specializations referenced by poly.family metadata |
| Cllzk::witgen::StructValue | Materialized struct value keyed by member name |
| Cllzk::felt::detail::SubFeltOpGenericAdaptorBase | |
| Cllzk::felt::SubFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::SubFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::SubFeltOpAdaptor | |
| Cllzk::felt::SubFeltOpGenericAdaptor< RangeT > | |
| Cllzk::SymbolDefTree | Builds a tree structure representing the symbol table structure |
| Cllzk::SymbolDefTreeNode | |
| Cllzk::SymbolDefTreePrinterPassOptions | |
| Cllzk::SymbolLookupResult< T > | |
| Cllzk::SymbolLookupResultUntyped | |
| Cllzk::SymbolUseGraph | Builds a graph structure representing the relationships between symbols and their uses |
| Cllzk::SymbolUseGraphNode | |
| Cllzk::SymbolUseGraphPrinterPassOptions | |
| Cllzk::polymorphic::detail::TemplateExprOpGenericAdaptorBase | |
| Cllzk::polymorphic::TemplateExprOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::TemplateExprOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::TemplateExprOpAdaptor | |
| Cllzk::polymorphic::TemplateExprOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::TemplateMonomorphizationPassOptions | |
| Cllzk::polymorphic::detail::TemplateOpGenericAdaptorBase | |
| Cllzk::polymorphic::TemplateOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::TemplateOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::TemplateOpAdaptor | |
| Cllzk::polymorphic::TemplateOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase | |
| Cllzk::polymorphic::TemplateParamOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::TemplateParamOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::TemplateParamOpAdaptor | |
| Cllzk::polymorphic::TemplateParamOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits | |
| CTestAnyBuildFuncHelper | |
| CAddFeltOpBuildFuncHelper | |
| CAndBoolOpBuildFuncHelper | |
| CAndFeltOpBuildFuncHelper | |
| CArrayLengthOpBuildFuncHelper | |
| CAssertOpBuildFuncHelper | |
| CAssumeDetOpBuildFuncHelper | |
| CCmpOpBuildFuncHelper | |
| CConstReadOpBuildFuncHelper | |
| CContractEndOpBuildFuncHelper | |
| CCreateStructOpBuildFuncHelper | |
| CDecreasesOpBuildFuncHelper | |
| CDivFeltOpBuildFuncHelper | |
| CEmitContainmentOpBuildFuncHelper | |
| CEmitEqualityOpBuildFuncHelper | |
| CEnsureComputeOpBuildFuncHelper | |
| CEnsureConstrainOpBuildFuncHelper | |
| CExistsOpBuildFuncHelper | |
| CExtractArrayOpBuildFuncHelper | |
| CFeltConstantOpBuildFuncHelper | |
| CFeltToIndexOpBuildFuncHelper | |
| CForAllOpBuildFuncHelper | |
| CFuncDefOpBuildFuncHelper | |
| CGlobalDefOpBuildFuncHelper | |
| CGlobalReadOpBuildFuncHelper | |
| CGlobalWriteOpBuildFuncHelper | |
| CIncludeOpBuildFuncHelper | |
| CIncreasesOpBuildFuncHelper | |
| CInsertArrayOpBuildFuncHelper | |
| CIntToFeltOpBuildFuncHelper | |
| CInvFeltOpBuildFuncHelper | |
| CLitStringOpBuildFuncHelper | |
| CLoadOpBuildFuncHelper | |
| CMemberWriteOpBuildFuncHelper | |
| CMulFeltOpBuildFuncHelper | |
| CNegFeltOpBuildFuncHelper | |
| CNonDetOpBuildFuncHelper | |
| CNotBoolOpBuildFuncHelper | |
| CNotFeltOpBuildFuncHelper | |
| COldOpBuildFuncHelper | |
| COrBoolOpBuildFuncHelper | |
| COrFeltOpBuildFuncHelper | |
| CPowFeltOpBuildFuncHelper | |
| CProveDetOpBuildFuncHelper | |
| CReadArrayOpBuildFuncHelper | |
| CReadPodOpBuildFuncHelper | |
| CRequireComputeOpBuildFuncHelper | |
| CRequireConstrainOpBuildFuncHelper | |
| CReturnOpBuildFuncHelper | |
| CShlFeltOpBuildFuncHelper | |
| CShrFeltOpBuildFuncHelper | |
| CSignedIntDivFeltOpBuildFuncHelper | |
| CSignedModFeltOpBuildFuncHelper | |
| CStepOpBuildFuncHelper | |
| CStepYieldOpBuildFuncHelper | |
| CStoreOpBuildFuncHelper | |
| CStructDefOpBuildFuncHelper | |
| CSubFeltOpBuildFuncHelper | |
| CTemplateExprOpBuildFuncHelper | |
| CTemplateOpBuildFuncHelper | |
| CTemplateParamOpBuildFuncHelper | |
| CUnifiableCastOpBuildFuncHelper | |
| CUnsignedIntDivFeltOpBuildFuncHelper | |
| CUnsignedModFeltOpBuildFuncHelper | |
| CVerifAssertOpBuildFuncHelper | |
| CVerifProveOpBuildFuncHelper | |
| CVerifSMTProveOpBuildFuncHelper | |
| CWriteArrayOpBuildFuncHelper | |
| CWritePodOpBuildFuncHelper | |
| CXorBoolOpBuildFuncHelper | |
| CXorFeltOpBuildFuncHelper | |
| CYieldOpBuildFuncHelper | |
| CYieldOpBuildFuncHelper | |
| Cmlir::OpInterface::Trait | |
| Cllzk::array::detail::ArrayAccessOpInterfaceTrait< ConcreteOp > | |
| Cllzk::array::ArrayAccessOpInterface::Trait< ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceTrait< ConcreteOp > | |
| Cllzk::array::ArrayRefOpInterface::Trait< ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceTrait< ConcreteOp > | |
| Cllzk::component::MemberRefOpInterface::Trait< ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceTrait< ConcreteOp > | |
| Cllzk::constrain::ConstraintOpInterface::Trait< ConcreteOp > | |
| Cllzk::detail::DiscardableAllocationAccessorOpInterfaceTrait< ConcreteOp > | |
| Cllzk::DiscardableAllocationAccessorOpInterface::Trait< ConcreteOp > | |
| Cllzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp > | |
| Cllzk::LLZKCallLikeOpInterface::Trait< ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceTrait< ConcreteOp > | |
| Cllzk::felt::FeltBinaryOpInterface::Trait< ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceTrait< ConcreteOp > | |
| Cllzk::global::GlobalRefOpInterface::Trait< ConcreteOp > | |
| Cllzk::pod::detail::PodAccessOpInterfaceTrait< ConcreteOp > | |
| Cllzk::pod::PodAccessOpInterface::Trait< ConcreteOp > | |
| Cllzk::pod::detail::PodRefOpInterfaceTrait< ConcreteOp > | |
| Cllzk::pod::PodRefOpInterface::Trait< ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceTrait< ConcreteOp > | |
| Cllzk::polymorphic::TemplateSymbolBindingOpInterface::Trait< ConcreteOp > | |
| Cllzk::verif::detail::ConditionOpInterfaceTrait< ConcreteOp > | |
| Cllzk::verif::ConditionOpInterface::Trait< ConcreteOp > | |
| Cllzk::verif::detail::ContractTargetOpInterfaceTrait< ConcreteOp > | |
| Cllzk::verif::ContractTargetOpInterface::Trait< ConcreteOp > | |
| Cllzk::verif::detail::InvariantTargetOpInterfaceTrait< ConcreteOp > | |
| Cllzk::verif::InvariantTargetOpInterface::Trait< ConcreteOp > | |
| Cllzk::verif::detail::PostconditionOpInterfaceTrait< ConcreteOp > | |
| Cllzk::verif::PostconditionOpInterface::Trait< ConcreteOp > | |
| Cllzk::verif::detail::PreconditionOpInterfaceTrait< ConcreteOp > | |
| Cllzk::verif::PreconditionOpInterface::Trait< ConcreteOp > | |
| Cmlir::OpTrait::TraitBase | |
| Cllzk::LLZKSymbolTableImplTrait< TypeClass > | See LLZKSymbolTable ODS documentation for details |
| Cllzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass > | |
| Cllzk::component::InStructFunctionNamed< FuncName >::Impl< TypeClass > | |
| Cllzk::component::SetFuncAllowAttrs< TypeClass > | Only valid/implemented for StructDefOp |
| Cllzk::function::ConstraintGen< TypeClass > | Marker for ops that are specific to constraint generation |
| Cllzk::function::NotFieldNative< TypeClass > | Marker for ops over llzk.felt type operands that are not native to finite field arithmetic |
| Cllzk::function::Verification< Extra >::Impl< TypeClass > | |
| Cllzk::function::Verification<>::Impl | |
| Cllzk::function::WitnessGen< TypeClass > | Marker for ops that are specific to witness generation |
| Cmlir::Type::TypeBase | |
| Cllzk::array::ArrayType | |
| Cllzk::component::StructType | |
| Cllzk::felt::FeltType | |
| Cllzk::pod::PodType | |
| Cllzk::polymorphic::TypeVarType | |
| Cllzk::string::StringType | |
| Cmlir::TypeConverter | |
| Cllzk::polymorphic::detail::TemplateTypeConverter | Substitute known template bindings in function types and inference candidates |
| Cmlir::TypeStorage | |
| Cllzk::array::detail::ArrayTypeStorage | |
| Cllzk::component::detail::StructTypeStorage | |
| Cllzk::felt::detail::FeltTypeStorage | |
| Cllzk::pod::detail::PodTypeStorage | |
| Cllzk::polymorphic::detail::TypeVarTypeStorage | |
| Cllzk::polymorphic::detail::UnifiableCastOpGenericAdaptorBase | |
| Cllzk::polymorphic::UnifiableCastOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::UnifiableCastOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::UnifiableCastOpAdaptor | |
| Cllzk::polymorphic::UnifiableCastOpGenericAdaptor< RangeT > | |
| Cstd::unordered_set< K > | STL class |
| Cllzk::SourceRefSet | |
| Cllzk::UnreducedInterval | An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field |
| Cllzk::felt::detail::UnsignedIntDivFeltOpGenericAdaptorBase | |
| Cllzk::felt::UnsignedIntDivFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::UnsignedIntDivFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::UnsignedIntDivFeltOpAdaptor | |
| Cllzk::felt::UnsignedIntDivFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::UnsignedModFeltOpGenericAdaptorBase | |
| Cllzk::felt::UnsignedModFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::UnsignedModFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::UnsignedModFeltOpAdaptor | |
| Cllzk::felt::UnsignedModFeltOpGenericAdaptor< RangeT > | |
| Cllzk::UnusedDeclarationEliminationPassOptions | |
| Cllzk::verif::detail::VerifAssertOpGenericAdaptorBase | |
| Cllzk::verif::VerifAssertOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::VerifAssertOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::VerifAssertOpAdaptor | |
| Cllzk::verif::VerifAssertOpGenericAdaptor< RangeT > | |
| Cllzk::function::Verification< Extra > | Marker for ops in the verif dialect that can be inlined inside functions |
| Cllzk::function::Verification<> | |
| Cllzk::verif::detail::VerifProveOpGenericAdaptorBase | |
| Cllzk::verif::VerifProveOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::VerifProveOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::VerifProveOpAdaptor | |
| Cllzk::verif::VerifProveOpGenericAdaptor< RangeT > | |
| Cllzk::verif::detail::VerifSMTProveOpGenericAdaptorBase | |
| Cllzk::verif::VerifSMTProveOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::verif::VerifSMTProveOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::verif::VerifSMTProveOpAdaptor | |
| Cllzk::verif::VerifSMTProveOpGenericAdaptor< RangeT > | |
| Cllzk::VerifySizesForMultiAffineOps< OperandSegmentIndex > | Produces errors if there is an inconsistency in the various attributes/values that are used to support affine map instantiation in the Op marked with this Trait |
| Cllzk::polymorphic::WildcardArraySpecializationPassOptions | |
| Cllzk::witgen::WitgenOptions | Configure one llzk-witgen execution |
| Cllzk::Within | |
| Cllzk::array::detail::WriteArrayOpGenericAdaptorBase | |
| Cllzk::array::WriteArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::WriteArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::WriteArrayOpAdaptor | |
| Cllzk::array::WriteArrayOpGenericAdaptor< RangeT > | |
| Cllzk::pod::detail::WritePodOpGenericAdaptorBase | |
| Cllzk::pod::WritePodOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::pod::WritePodOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::pod::WritePodOpAdaptor | |
| Cllzk::pod::WritePodOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::XorBoolOpGenericAdaptorBase | |
| Cllzk::boolean::XorBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::XorBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::XorBoolOpAdaptor | |
| Cllzk::boolean::XorBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::XorFeltOpGenericAdaptorBase | |
| Cllzk::felt::XorFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::XorFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::XorFeltOpAdaptor | |
| Cllzk::felt::XorFeltOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::YieldOpGenericAdaptorBase | |
| Cllzk::boolean::YieldOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::YieldOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::YieldOpAdaptor | |
| Cllzk::boolean::YieldOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::YieldOpGenericAdaptorBase | |
| Cllzk::polymorphic::YieldOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::YieldOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::YieldOpAdaptor | |
| Cllzk::polymorphic::YieldOpGenericAdaptor< RangeT > | |
1.17.0