List of all items

Structs

• abstract_syntax_tree::ast::AST
• abstract_syntax_tree::ast::Include
• abstract_syntax_tree::ast::MemoryKnowledge
• abstract_syntax_tree::ast::Meta
• abstract_syntax_tree::ast::TypeKnowledge
• abstract_syntax_tree::ast_shortcuts::Symbol
• abstract_syntax_tree::ast_shortcuts::TupleInit
• control_flow_graph::Cfg
• control_flow_graph::basic_block::BasicBlock
• control_flow_graph::parameters::Parameters
• intermediate_representation::Meta
• intermediate_representation::VariableName
• intermediate_representation::declarations::Declaration
• intermediate_representation::declarations::Declarations
• intermediate_representation::degree_meta::DegreeEnvironment
• intermediate_representation::degree_meta::DegreeKnowledge
• intermediate_representation::degree_meta::DegreeRange
• intermediate_representation::type_meta::TypeKnowledge
• intermediate_representation::value_meta::ValueEnvironment
• intermediate_representation::value_meta::ValueKnowledge
• intermediate_representation::variable_meta::VariableKnowledge
• intermediate_representation::variable_meta::VariableUse
• program_library::file_definition::FileLibrary
• program_library::function_data::FunctionData
• program_library::program_archive::ProgramArchive
• program_library::program_merger::Merger
• program_library::report::Report
• program_library::template_data::TemplateData
• program_library::template_library::TemplateLibrary
• static_single_assignment::dominator_tree::DominatorTree
• utils::constants::UsefulConstants
• utils::environment::FullEnvironment
• utils::environment::OnlyComponents
• utils::environment::OnlySignals
• utils::environment::OnlyVars
• utils::environment::RawEnvironment
• utils::nonempty_vec::NonEmptyIter
• utils::nonempty_vec::NonEmptyVec
• utils::writers::CachedStdoutWriter
• utils::writers::SarifWriter
• utils::writers::StdoutWriter

Enums

• abstract_syntax_tree::ast::Access
• abstract_syntax_tree::ast::AssignOp
• abstract_syntax_tree::ast::Definition
• abstract_syntax_tree::ast::Expression
• abstract_syntax_tree::ast::ExpressionInfixOpcode
• abstract_syntax_tree::ast::ExpressionPrefixOpcode
• abstract_syntax_tree::ast::LogArgument
• abstract_syntax_tree::ast::SignalElementType
• abstract_syntax_tree::ast::SignalType
• abstract_syntax_tree::ast::Statement
• abstract_syntax_tree::ast::TypeReduction
• abstract_syntax_tree::ast::VariableType
• control_flow_graph::DefinitionType
• control_flow_graph::errors::CFGError
• intermediate_representation::AccessType
• intermediate_representation::AssignOp
• intermediate_representation::Expression
• intermediate_representation::ExpressionInfixOpcode
• intermediate_representation::ExpressionPrefixOpcode
• intermediate_representation::LogArgument
• intermediate_representation::SignalType
• intermediate_representation::Statement
• intermediate_representation::VariableType
• intermediate_representation::degree_meta::Degree
• intermediate_representation::errors::IRError
• intermediate_representation::value_meta::ValueReduction
• program_library::report::MessageCategory
• program_library::report_code::ReportCode
• static_single_assignment::errors::SSAError
• utils::constants::Curve
• utils::environment::CircomEnvironmentError
• utils::sarif_conversion::SarifError

Traits

• abstract_syntax_tree::ast::FillMeta
• control_flow_graph::IntoCfg
• intermediate_representation::degree_meta::DegreeMeta
• intermediate_representation::type_meta::TypeMeta
• intermediate_representation::value_meta::ValueMeta
• intermediate_representation::variable_meta::VariableMeta
• static_single_assignment::traits::DirectedGraphNode
• static_single_assignment::traits::SSABasicBlock
• static_single_assignment::traits::SSAConfig
• static_single_assignment::traits::SSAEnvironment
• static_single_assignment::traits::SSAStatement
• utils::environment::ComponentInfo
• utils::environment::SignalInfo
• utils::environment::VarInfo
• utils::sarif_conversion::ToSarif
• utils::writers::LogWriter
• utils::writers::ReportFilter
• utils::writers::ReportWriter

Functions

• abstract_syntax_tree::ast::build_array_access
• abstract_syntax_tree::ast::build_component_access
• abstract_syntax_tree::ast::build_function
• abstract_syntax_tree::ast::build_include
• abstract_syntax_tree::ast::build_log_expression
• abstract_syntax_tree::ast::build_log_string
• abstract_syntax_tree::ast::build_main_component
• abstract_syntax_tree::ast::build_template
• abstract_syntax_tree::ast_shortcuts::assign_with_op_shortcut
• abstract_syntax_tree::ast_shortcuts::for_into_while
• abstract_syntax_tree::ast_shortcuts::plusplus
• abstract_syntax_tree::ast_shortcuts::split_declaration_into_single_nodes
• abstract_syntax_tree::ast_shortcuts::split_declaration_into_single_nodes_and_multi_substitution
• abstract_syntax_tree::ast_shortcuts::subsub
• abstract_syntax_tree::expression_builders::build_anonymous_component
• abstract_syntax_tree::expression_builders::build_array_in_line
• abstract_syntax_tree::expression_builders::build_call
• abstract_syntax_tree::expression_builders::build_infix
• abstract_syntax_tree::expression_builders::build_inline_switch_op
• abstract_syntax_tree::expression_builders::build_number
• abstract_syntax_tree::expression_builders::build_parallel_op
• abstract_syntax_tree::expression_builders::build_prefix
• abstract_syntax_tree::expression_builders::build_tuple
• abstract_syntax_tree::expression_builders::build_variable
• abstract_syntax_tree::expression_builders::unzip_3
• abstract_syntax_tree::statement_builders::build_anonymous_component_statement
• abstract_syntax_tree::statement_builders::build_assert
• abstract_syntax_tree::statement_builders::build_block
• abstract_syntax_tree::statement_builders::build_conditional_block
• abstract_syntax_tree::statement_builders::build_constraint_equality
• abstract_syntax_tree::statement_builders::build_declaration
• abstract_syntax_tree::statement_builders::build_initialization_block
• abstract_syntax_tree::statement_builders::build_log_call
• abstract_syntax_tree::statement_builders::build_multi_substitution
• abstract_syntax_tree::statement_builders::build_return
• abstract_syntax_tree::statement_builders::build_substitution
• abstract_syntax_tree::statement_builders::build_while_block
• program_library::file_definition::generate_file_location
• static_single_assignment::insert_phi_statements
• static_single_assignment::insert_ssa_variables

Type Aliases

• abstract_syntax_tree::ast::MainComponent
• abstract_syntax_tree::ast::TagList
• abstract_syntax_tree::ast::Version
• control_flow_graph::Index
• control_flow_graph::errors::CFGResult
• intermediate_representation::TagList
• intermediate_representation::errors::IRResult
• intermediate_representation::variable_meta::VariableUses
• program_library::file_definition::FileID
• program_library::file_definition::FileLocation
• program_library::file_definition::FilePath
• program_library::file_definition::FileSource
• program_library::function_data::FunctionInfo
• program_library::report::DiagnosticCode
• program_library::report::ReportCollection
• program_library::report::ReportLabel
• program_library::template_data::TagInfo
• program_library::template_data::TemplateInfo
• static_single_assignment::errors::SSAResult
• static_single_assignment::traits::Index
• static_single_assignment::traits::IndexSet
• utils::environment::CircomEnvironment
• utils::environment::ComponentEnvironment
• utils::environment::SignalEnvironment
• utils::environment::VarEnvironment