List of all items

Structs

• Arena
• AstContext
• DiscoveryPass
• Interner
• Lexer
• ParseError
• Parser
• PolicyRegistry
• Symbol
• SymbolRegistry
• TypeRegistry
• analysis::CapabilityDef
• analysis::Dependency
• analysis::DiscoveryPass
• analysis::DiscoveryResult
• analysis::FieldDef
• analysis::PolicyRegistry
• analysis::PredicateDef
• analysis::TypeRegistry
• analysis::VariantDef
• analysis::callgraph::CallGraph
• analysis::check::IndexedTypeError
• analysis::dependencies::Dependency
• analysis::dimension_check::DimensionChecker
• analysis::dimension_check::DimensionError
• analysis::escape::EscapeChecker
• analysis::escape::EscapeError
• analysis::liveness::FunctionLiveness
• analysis::liveness::LivenessResult
• analysis::ownership::OwnershipChecker
• analysis::ownership::OwnershipError
• analysis::ownership::OwnershipFinding
• analysis::policy::CapabilityDef
• analysis::policy::PolicyRegistry
• analysis::policy::PredicateDef
• analysis::readonly::MutableBorrowParams
• analysis::readonly::ReadonlyParams
• analysis::registry::FieldDef
• analysis::registry::TypeRegistry
• analysis::registry::VariantDef
• analysis::types::FnSig
• analysis::types::RustNames
• analysis::types::TypeEnv
• analysis::unify::TyVar
• analysis::unify::TypeScheme
• analysis::unify::UnificationTable
• arena::Arena
• arena_ctx::AstContext
• ast::AxiomBlock
• ast::CategoricalData
• ast::DefinitionBlock
• ast::MatchArm
• ast::ModalVector
• ast::NeoEventData
• ast::NounPhrase
• ast::RelationData
• ast::SecurePad
• ast::TheoremBlock
• ast::TheoryBlock
• ast::axiom::AxiomBlock
• ast::axiom::TheoryBlock
• ast::definition::DefinitionBlock
• ast::logic::CategoricalData
• ast::logic::ModalVector
• ast::logic::NeoEventData
• ast::logic::NounPhrase
• ast::logic::RelationData
• ast::stmt::MatchArm
• ast::stmt::SecurePad
• ast::theorem::TheoremBlock
• codegen::RefinementContext
• codegen::VariableCapabilities
• codegen_sva::SvaProperty
• codegen_sva::cdc::CdcClockDomain
• codegen_sva::cdc::CdcCrossing
• codegen_sva::cdc::CdcReport
• codegen_sva::cdc::CdcViolation
• codegen_sva::ci::CiConfig
• codegen_sva::ci::CiReport
• codegen_sva::ci::PropertyResult
• codegen_sva::coverage::SpecCoverage
• codegen_sva::fol_to_sva::SynthesizedSva
• codegen_sva::fol_to_verify::FolTranslator
• codegen_sva::hw_pipeline::EquivalenceResult
• codegen_sva::hw_pipeline::HwSignalDecl
• codegen_sva::hw_pipeline::HwSpec
• codegen_sva::hw_pipeline::KgLink
• codegen_sva::hw_pipeline::KgNode
• codegen_sva::hw_pipeline::KgSummary
• codegen_sva::hw_pipeline::PipelineResult
• codegen_sva::hw_pipeline::SignalMap
• codegen_sva::hw_pipeline::WaveSignal
• codegen_sva::hw_pipeline::Waveform
• codegen_sva::power::PowerCrossing
• codegen_sva::power::PowerDomain
• codegen_sva::power::PowerReport
• codegen_sva::power::PowerViolation
• codegen_sva::protocols::ProtocolProperty
• codegen_sva::protocols::riscv::RiscvConfig
• codegen_sva::rtl::Register
• codegen_sva::rtl::RtlParseError
• codegen_sva::rtl::TransitionSystem
• codegen_sva::rtl_extract::RtlModule
• codegen_sva::rtl_extract::RtlParam
• codegen_sva::rtl_extract::RtlParseError
• codegen_sva::rtl_extract::RtlPort
• codegen_sva::rtl_extract::RtlSignal
• codegen_sva::rtl_kg::LinkResult
• codegen_sva::signal_design::Intersection
• codegen_sva::signal_design::PhasePlan
• codegen_sva::sufficiency::SufficiencyReport
• codegen_sva::sva_model::CheckerDecl
• codegen_sva::sva_model::DistItem
• codegen_sva::sva_model::ElaborationContext
• codegen_sva::sva_model::LetDecl
• codegen_sva::sva_model::PropertyDecl
• codegen_sva::sva_model::RandVar
• codegen_sva::sva_model::SequenceDecl
• codegen_sva::sva_model::SvaDirective
• codegen_sva::sva_model::SvaParseError
• codegen_sva::sva_model::SvaPort
• codegen_sva::sva_to_verify::DirectiveResult
• codegen_sva::sva_to_verify::SequenceMatch
• codegen_sva::sva_to_verify::SvaTranslator
• codegen_sva::sva_to_verify::TranslateResult
• codegen_sva::synthesis_refine::RefinementResult
• codegen_sva::synthesize::SynthesisConfig
• codegen_sva::verified_compiler::CompiledGenerator
• codegen_sva::verified_compiler::SvaCompiler
• codegen_sva::z3_synth::SynthesisConstraintConfig
• compile::AotModule
• compile::CheckArtifacts
• compile::CompileOutput
• compile::CrateDependency
• compile::GenuineProjectionResult
• compile::RunOutcome
• concurrency::bridge::YieldFuture
• concurrency::bridge::YieldState
• concurrency::channel::NullSuite
• concurrency::channel::PqHandshake
• concurrency::channel::PqSuite
• concurrency::driver::InterpreterTask
• concurrency::marshal::Negotiated
• concurrency::marshal::PeerProfile
• concurrency::marshal::ReceiveLimits
• concurrency::marshal::WireSchemaCache
• concurrency::marshal::WireStructsCursor
• concurrency::marshal::WireTypeRegistry
• concurrency::marshal::WireView
• concurrency::model::NondetWitness
• concurrency::pnp::FileLedger
• concurrency::pnp::MemLedger
• concurrency::pnp::PadPool
• concurrency::pnp::PnpSession
• concurrency::pnp::PnpSuite
• concurrency::send_check::SendDiagnostic
• concurrency::stream::StreamDeframer
• concurrency::vm_driver::VmTask
• debug::AssertionResult
• debug::CausalNode
• debug::DebugFrame
• debug::DebugReg
• debug::DebugSnapshot
• debug::Debugger
• debug::HeapObject
• debug::ProvenFacts
• debug::ProvenInsight
• debug::TimelinePoint
• debug::VarInsight
• debug::VarTimeline
• debug::VarTrace
• diagnostic::DiagnosticBridge
• diagnostic::LogosError
• diagnostic::RustcCode
• diagnostic::RustcDiagnostic
• diagnostic::RustcSpan
• diagnostic::RustcSpanText
• drs::Drs
• drs::DrsBox
• drs::ModalContext
• drs::Referent
• drs::TelescopeCandidate
• drs::TimeConstraint
• drs::WorldState
• error::ParseError
• formatter::KripkeFormatter
• formatter::LatexFormatter
• formatter::RustFormatter
• formatter::SimpleFOLFormatter
• formatter::UnicodeFormatter
• intern::Interner
• intern::Symbol
• interpreter::ClosureValue
• interpreter::FunctionDef
• interpreter::InductiveValue
• interpreter::Interpreter
• interpreter::InterpreterResult
• interpreter::QuantityValue
• interpreter::StructValue
• lexer::Lexer
• lexer::LineLexer
• loader::Loader
• loader::ModuleSource
• mwe::MweTarget
• mwe::MweTrie
• optimization::FiredOptimizations
• optimization::HotswapConfig
• optimization::NormalizeReport
• optimization::OptMeta
• optimization::OptNode
• optimization::OptimizationConfig
• optimization::PinSet
• optimization::TierThresholds
• optimize::OracleFacts
• optimize::VarProvenFacts
• optimize::bta::BtaEnv
• optimize::bta::BtaResult
• optimize::effects::EffectEnv
• optimize::effects::EffectSet
• optimize::egraph::ClassFact
• optimize::egraph::CompilerEGraph
• optimize::egraph::convert::Converter
• optimize::egraph::extract::ExtractTree
• optimize::egraph::rules::Rewrite
• optimize::supercompile::MsgResult
• parser::EventTemplate
• parser::Parser
• parser::ParserGuard
• registry::SymbolRegistry
• repl::ReplOutcome
• repl::ReplSession
• semantics::acceptance::AcceptanceContract
• semantics::collections::ReferenceScope
• sourcemap::SourceMap
• sourcemap::SourceMapBuilder
• sourcemap::VarOrigin
• style::Style
• token::Span
• token::Token
• ui_bridge::AstNode
• ui_bridge::CompileResult
• ui_bridge::GridColumn
• ui_bridge::ProofCompileResult
• ui_bridge::SolvedGrid
• ui_bridge::TheoremCompileResult
• ui_bridge::TheoremTrace
• ui_bridge::TheoryCompileResult
• ui_bridge::TheoryTheoremResult
• ui_bridge::TokenInfo
• vm::ArrayPin
• vm::CalleeSig
• vm::CompiledProgram
• vm::FnTable
• vm::HoistGuard
• vm::NativeCtx
• vm::NativeFrame
• vm::RegionReturn
• vm::Value
• vm::Vm
• vm::aot_tier::AotNativeFn
• vm::bg_aot::AotRequest
• vm::bg_aot::AotResult
• vm::bg_aot::BgAotCompiler
• vm::compiler::Compiler
• vm::disasm::DisasmLine
• vm::disasm::OpIo
• vm::fn_bytecode::FnBytecode
• vm::wasm::region_jit::WasmTier

Enums

• PolicyCondition
• analysis::FieldType
• analysis::PolicyCondition
• analysis::TypeDef
• analysis::escape::EscapeErrorKind
• analysis::ownership::OwnershipErrorKind
• analysis::ownership::VarState
• analysis::policy::PolicyCondition
• analysis::registry::FieldType
• analysis::registry::TypeDef
• analysis::types::LogosType
• analysis::unify::InferType
• analysis::unify::TypeError
• ast::AspectOperator
• ast::BinaryOpKind
• ast::BinaryTemporalOp
• ast::ComparisonRelation
• ast::CompressionCodec
• ast::Dimension
• ast::Expr
• ast::Literal
• ast::LogicExpr
• ast::LogicalType
• ast::ModalDomain
• ast::ModalFlavor
• ast::NumberKind
• ast::ProofStrategy
• ast::QuantifierKind
• ast::SecureRole
• ast::SendLayout
• ast::Stmt
• ast::TemporalOperator
• ast::Term
• ast::ThematicRole
• ast::TypeExpr
• ast::UnaryOpKind
• ast::VoiceOperator
• ast::logic::AspectOperator
• ast::logic::BinaryOpKind
• ast::logic::BinaryTemporalOp
• ast::logic::ComparisonRelation
• ast::logic::Dimension
• ast::logic::LogicExpr
• ast::logic::LogicalType
• ast::logic::ModalDomain
• ast::logic::ModalFlavor
• ast::logic::NumberKind
• ast::logic::QuantifierKind
• ast::logic::TemporalOperator
• ast::logic::Term
• ast::logic::ThematicRole
• ast::logic::UnaryOpKind
• ast::logic::VoiceOperator
• ast::stmt::BinaryOpKind
• ast::stmt::ClosureBody
• ast::stmt::CompressionCodec
• ast::stmt::Expr
• ast::stmt::Literal
• ast::stmt::Pattern
• ast::stmt::ReadSource
• ast::stmt::SecureRole
• ast::stmt::SelectBranch
• ast::stmt::SendLayout
• ast::stmt::Stmt
• ast::stmt::StringPart
• ast::stmt::TypeExpr
• ast::stmt::ZoneSource
• ast::theorem::ProofStrategy
• codegen_sva::SvaAssertionKind
• codegen_sva::cdc::CdcPattern
• codegen_sva::cdc::CdcViolationType
• codegen_sva::hw_pipeline::HwError
• codegen_sva::hw_pipeline::VacuityReport
• codegen_sva::power::PowerState
• codegen_sva::power::PowerViolationType
• codegen_sva::protocols::riscv::RiscvExtension
• codegen_sva::rtl::NextState
• codegen_sva::rtl_extract::PortDirection
• codegen_sva::rtl_extract::SignalType
• codegen_sva::sva_model::ClockEdge
• codegen_sva::sva_model::DistKind
• codegen_sva::sva_model::ImmediateDeferred
• codegen_sva::sva_model::RandVarType
• codegen_sva::sva_model::SvaDirectiveKind
• codegen_sva::sva_model::SvaExpr
• codegen_sva::sva_model::SvaPortType
• codegen_sva::sva_to_verify::ArithBoundedOp
• codegen_sva::sva_to_verify::BitVecBoundedOp
• codegen_sva::sva_to_verify::BoundedExpr
• codegen_sva::sva_to_verify::BoundedSort
• codegen_sva::sva_to_verify::CmpBoundedOp
• codegen_sva::sva_to_verify::DirectiveRole
• codegen_sva::sva_vacuity::VacuityStatus
• codegen_sva::synthesis_refine::Divergence
• codegen_sva::synthesize::SynthesisResult
• codegen_sva::z3_synth::SynthesisConstraint
• compile::CompileError
• concurrency::bridge::BlockingRequest
• concurrency::bridge::ResumeValue
• concurrency::marshal::GenCmp
• concurrency::marshal::GenExpr
• concurrency::marshal::MarshalError
• concurrency::marshal::WireCodec
• concurrency::marshal::WireColumn
• concurrency::marshal::WireCompression
• concurrency::marshal::WireCompressionLevel
• concurrency::marshal::WireFloats
• concurrency::marshal::WireGoal
• concurrency::marshal::WireIntegrity
• concurrency::marshal::WireNumerics
• concurrency::marshal::WireSchemaMode
• concurrency::marshal::WireStructure
• concurrency::model::Determinacy
• concurrency::model::NondetKind
• concurrency::pnp::PadError
• concurrency::pnp::Role
• debug::ProofVerdict
• diagnostic::RustcMessage
• drs::BoxType
• drs::Case
• drs::Gender
• drs::Number
• drs::OwnershipState
• drs::ReferentSource
• drs::ScopeError
• drs::ScopePath
• drs::TimeRelation
• error::ParseErrorKind
• extraction::ExtractError
• interpreter::ClosureBodyRef
• interpreter::ControlFlow
• interpreter::ListRepr
• interpreter::RuntimeValue
• lexer::LexerMode
• lexer::LineToken
• optimization::MemClass
• optimization::Opt
• optimization::OptCost
• optimization::OptRole
• optimization::Pin
• optimization::Profile
• optimization::Reason
• optimization::Scope
• optimization::Tier
• optimization::TierMode
• optimize::ScalarKind
• optimize::bta::BindingTime
• optimize::egraph::enode::CompilerENode
• optimize::egraph::rules::BoolExpr
• optimize::egraph::rules::Certificate
• optimize::egraph::rules::RingExpr
• parser::ModalPreference
• parser::NegativeScopeMode
• parser::ParserMode
• parser::ResolvedPronoun
• semantics::builtins::BuiltinId
• semantics::crdt::CrdtScalar
• semantics::crdt::CrdtValue
• sourcemap::OwnershipRole
• token::BlockType
• token::CalendarUnit
• token::FocusKind
• token::MeasureKind
• token::PresupKind
• token::TokenType
• ui_bridge::TokenCategory
• vm::ChanElem
• vm::Constant
• vm::NativeOutcome
• vm::NativeRet
• vm::ObservedKind
• vm::Op
• vm::ParamKind
• vm::PinElem
• vm::RegBox
• vm::RegionOutcome
• vm::RegionReturnKind
• vm::SlotKind
• vm::tier_trace::ExecTier
• vm::wasm::WasmLowerError

Traits

• SymbolEq
• concurrency::channel::ActiveSession
• concurrency::channel::Suite
• concurrency::pnp::PadLedgerStore
• formatter::LogicFormatter
• intern::SymbolEq
• parser::ClauseParsing
• parser::ImperativeVerbParsing
• parser::LogicVerbParsing
• parser::ModalParsing
• parser::NounParsing
• parser::PragmaticsParsing
• parser::QuantifierParsing
• parser::QuestionParsing
• vm::NativeFn
• vm::NativeTier
• vm::RegionFn

Functions

• analysis::check::check_program
• analysis::check::check_program_collect
• analysis::dependencies::scan_dependencies
• analysis::discover_with_imports
• analysis::scan_dependencies
• analysis::unify::infer_to_logos
• analysis::unify::unify_numeric
• codegen::codegen_assertion
• codegen::codegen_expr
• codegen::codegen_native_tier_export
• codegen::codegen_program
• codegen::codegen_program_mapped
• codegen::codegen_program_with_proven
• codegen::codegen_stmt
• codegen::codegen_term
• codegen::collect_async_functions
• codegen::collect_pipe_sender_params
• codegen::collect_pipe_vars
• codegen::empty_var_caps
• codegen::force_disable_borrow_hoist_for_test
• codegen::function_slice
• codegen::generate_c_header
• codegen::generate_python_bindings
• codegen::generate_typescript_bindings
• codegen::with_seeded_select
• codegen_c::codegen_program_c
• codegen_sva::bitblast::lower_bool
• codegen_sva::cdc::analyze_cdc
• codegen_sva::cdc::cdc_sva_properties
• codegen_sva::ci::exit_code
• codegen_sva::ci::generate_github_actions_template
• codegen_sva::ci::run_ci_verification
• codegen_sva::controller_gen::generate_controller
• codegen_sva::coverage::compute_coverage
• codegen_sva::emit_psl_property
• codegen_sva::emit_rust_monitor
• codegen_sva::emit_sva_module
• codegen_sva::emit_sva_property
• codegen_sva::fol_to_sva::synthesize_sva_from_spec
• codegen_sva::hw_pipeline::check_bounded_equivalence
• codegen_sva::hw_pipeline::check_spec_vacuity
• codegen_sva::hw_pipeline::check_structural_equivalence
• codegen_sva::hw_pipeline::compile_hw_property
• codegen_sva::hw_pipeline::compile_hw_spec
• codegen_sva::hw_pipeline::counterexample_waveform
• codegen_sva::hw_pipeline::emit_hw_sva
• codegen_sva::hw_pipeline::extract_kg
• codegen_sva::hw_pipeline::kg_summary
• codegen_sva::hw_pipeline::prove_bounded_equivalence
• codegen_sva::hw_pipeline::prove_spec_sva_equivalence
• codegen_sva::hw_pipeline::translate_spec_to_bounded
• codegen_sva::hw_pipeline::translate_sva_to_bounded
• codegen_sva::power::analyze_power
• codegen_sva::power::power_sequence_properties
• codegen_sva::power::verify_isolation
• codegen_sva::protocols::apb_protocol
• codegen_sva::protocols::axi4_write_handshake
• codegen_sva::protocols::i2c_protocol
• codegen_sva::protocols::riscv::riscv_alu_properties
• codegen_sva::protocols::riscv::riscv_branch_properties
• codegen_sva::protocols::riscv::riscv_decoder_properties
• codegen_sva::protocols::riscv::riscv_memory_properties
• codegen_sva::protocols::riscv::riscv_register_properties
• codegen_sva::protocols::spi_protocol
• codegen_sva::protocols::uart_tx
• codegen_sva::rtl::parse_transition_system
• codegen_sva::rtl_extract::parse_verilog_module
• codegen_sva::rtl_kg::link_kg
• codegen_sva::rtl_kg::rtl_to_kg
• codegen_sva::sanitize_property_name
• codegen_sva::signal_design::design_from_spec
• codegen_sva::signal_design::design_phase_plan
• codegen_sva::signal_design::is_valid_coloring
• codegen_sva::signal_design::parse_intersection
• codegen_sva::sufficiency::analyze_sufficiency
• codegen_sva::sva_model::checker_quantifier_structure
• codegen_sva::sva_model::elaborate_directives
• codegen_sva::sva_model::parse_sva
• codegen_sva::sva_model::parse_sva_directive
• codegen_sva::sva_model::resolve_checker
• codegen_sva::sva_model::resolve_let_instance
• codegen_sva::sva_model::resolve_sequence_instance
• codegen_sva::sva_model::sva_expr_to_string
• codegen_sva::sva_model::sva_exprs_structurally_equivalent
• codegen_sva::sva_model::translate_dist_to_ranges
• codegen_sva::sva_model::validate_dist
• codegen_sva::sva_to_proof::bounded_to_proof
• codegen_sva::sva_to_verify::collect_vars_from_bounded_pub
• codegen_sva::sva_to_verify::count_and_leaves
• codegen_sva::sva_to_verify::count_or_leaves
• codegen_sva::sva_to_verify::extract_signal_names
• codegen_sva::sva_vacuity::analyze_vacuity
• codegen_sva::sva_vacuity::is_dead_assertion
• codegen_sva::synthesis_refine::classify_divergence
• codegen_sva::synthesis_refine::strengthen_implication
• codegen_sva::synthesis_refine::weaken_implication
• codegen_sva::synthesis_refine::weaken_to_eventual
• codegen_sva::synthesize::synthesize_from_spec
• codegen_sva::traffic_flow::balanced_approach
• codegen_sva::traffic_flow::congested_approach
• codegen_sva::verified_compiler::compile_sva_compiler
• codegen_sva::verified_compiler::compile_sva_generator
• codegen_sva::verified_compiler::verify_compiler_correctness
• codegen_sva::verify_to_kernel::encode_bounded_expr
• codegen_sva::z3_synth::build_synthesis_constraint
• codegen_sva::z3_synth::extract_io_from_spec
• compile::aot_build_function
• compile::aot_cache_key
• compile::aot_load_bundle
• compile::build_native_bundle
• compile::build_native_cdylib
• compile::build_native_cdylib_cached
• compile::build_native_pe_binary
• compile::build_native_pe_cdylib
• compile::build_native_wasm
• compile::classify_source
• compile::compile_and_run
• compile::compile_file
• compile::compile_function_to_native_rust
• compile::compile_program_full
• compile::compile_program_full_deterministic
• compile::compile_program_full_with_proven
• compile::compile_program_full_with_wire
• compile::compile_program_traced
• compile::compile_project
• compile::compile_to_c
• compile::compile_to_dir
• compile::compile_to_rust
• compile::compile_to_rust_checked
• compile::compile_to_rust_deterministic
• compile::compile_to_rust_traced
• compile::compile_to_rust_with_proven
• compile::compile_to_wasm
• compile::compile_to_wasm_linked
• compile::copy_runtime_crates
• compile::core_interp_source
• compile::core_types_for_pe_source
• compile::count_dispatch
• compile::decompile_source_text
• compile::display_float_like_logos
• compile::encode_program_source
• compile::encode_program_source_compact
• compile::finish_projection1_residual
• compile::first_parallel_block_independent
• compile::genuine_projection2_residual
• compile::genuine_projection3_residual
• compile::interpret_program
• compile::native_export_function_names
• compile::next_inspect_otherwise_idx
• compile::optimization_dependencies
• compile::optimization_graph
• compile::optimization_preemptions
• compile::optimizations_fired
• compile::optimizations_fired_run
• compile::optimizations_fired_vm
• compile::optimizations_fired_with
• compile::optimizations_used
• compile::pe_bti_source_text
• compile::pe_cdylib_source
• compile::pe_combined_source
• compile::pe_mini_source_text
• compile::pe_native_source
• compile::pe_source_text
• compile::program_covered_by_native_builder
• compile::program_to_core_wire_bytes
• compile::program_to_core_wire_bytes_two_pass
• compile::program_to_core_wire_bytes_via_interpreter
• compile::projection1_source
• compile::projection1_source_real
• compile::projection1_source_real_fast
• compile::projection1_source_real_fast_on_vm
• compile::projection2_source
• compile::projection2_source_real
• compile::projection3_source
• compile::projection3_source_real
• compile::quote_pe_source
• compile::run_genuine_p2_on_target
• compile::run_genuine_p3_on_target
• compile::run_logos_source
• compile::run_native_pe
• compile::run_native_pe_inprocess
• compile::run_native_pe_server
• compile::rustc_check
• compile::rustc_check_artifacts
• compile::send_check_source
• compile::stmts_to_core_wire_bytes
• compile::tw_outcome
• compile::tw_outcome_with_args
• compile::verify_no_overhead_source
• compile::vm_outcome
• compile::vm_outcome_bg
• compile::vm_outcome_concurrent
• compile::vm_outcome_net
• compile::vm_outcome_tiered
• compile::vm_outcome_with_args
• compile::vm_run_source
• compile::write_cargo_project
• concurrency::channel::active_session
• concurrency::channel::active_suite
• concurrency::channel::derive_aead_key
• concurrency::channel::install_session
• concurrency::channel::open
• concurrency::channel::open_active
• concurrency::channel::open_with
• concurrency::channel::pq_handshake_finish
• concurrency::channel::pq_handshake_initiator
• concurrency::channel::pq_handshake_responder
• concurrency::channel::seal
• concurrency::channel::seal_active
• concurrency::channel::seal_active_checked
• concurrency::channel::seal_with
• concurrency::channel::suite_for
• concurrency::channel::with_session
• concurrency::channel::with_suite
• concurrency::classify::branches_independent
• concurrency::classify::branches_share_mutable_state
• concurrency::classify::classify_program
• concurrency::fec::decode
• concurrency::fec::encode
• concurrency::fec::frame_redundant
• concurrency::fec::reconstruct_redundant
• concurrency::fec::shard_header
• concurrency::marshal::best_compressed_len
• concurrency::marshal::build_columnar_record
• concurrency::marshal::decode_peer_profile
• concurrency::marshal::decode_value_raw
• concurrency::marshal::deframe_stream_message
• concurrency::marshal::describe_columns
• concurrency::marshal::encode_peer_profile
• concurrency::marshal::encode_value_raw
• concurrency::marshal::frame_stream_message
• concurrency::marshal::gen_eval
• concurrency::marshal::make_handshake_frame
• concurrency::marshal::materialize
• concurrency::marshal::message_from_wire
• concurrency::marshal::message_from_wire_cached
• concurrency::marshal::message_from_wire_view
• concurrency::marshal::message_to_wire
• concurrency::marshal::message_to_wire_auto
• concurrency::marshal::message_to_wire_best
• concurrency::marshal::message_to_wire_cached
• concurrency::marshal::message_to_wire_negotiated
• concurrency::marshal::message_to_wire_with
• concurrency::marshal::negotiate
• concurrency::marshal::parse_handshake_frame
• concurrency::marshal::peek_deferrable_sender
• concurrency::marshal::peek_stream_sender
• concurrency::marshal::rebuild
• concurrency::marshal::view_message
• concurrency::marshal::with_compression
• concurrency::marshal::with_compression_codec
• concurrency::marshal::with_compression_level
• concurrency::marshal::with_dedup
• concurrency::marshal::with_fixed_numerics
• concurrency::marshal::with_flat_lists
• concurrency::marshal::with_floats
• concurrency::marshal::with_integrity
• concurrency::marshal::with_numerics
• concurrency::marshal::with_receive_limits
• concurrency::marshal::with_struct_view
• concurrency::marshal::with_structure
• concurrency::marshal::with_type_registry
• concurrency::net_is_offline
• concurrency::pnp::frame_kind
• concurrency::pnp::frame_offset
• concurrency::send_check::check_send_escape
• concurrency::set_net_offline
• concurrency::stream::frame_for_stream
• concurrency::uses_scheduler
• diagnostic::get_error_code
• diagnostic::get_primary_span
• diagnostic::parse_rustc_json
• diagnostic::translate_diagnostics
• diagnostic::translate_diagnostics_all
• error::describe_token
• error::socratic_explanation
• extraction::emit_property_check
• extraction::emit_value
• extraction::extract_program
• extraction::extract_programs
• extraction::fol_model::fol_to_model_checker
• extraction::fol_model::fol_to_model_checker_module
• extraction::is_extractable
• extraction::is_logical_type
• extraction::primitive_rust_type
• extraction::verilog::term_to_verilog
• interpreter::needs_async
• loader::apply_prelude
• loader::prelude
• loader::prelude_module_sources
• loader::prelude_vocabulary
• mwe::apply_mwe_pipeline
• mwe::build_mwe_trie
• optimization::admits
• optimization::admits_pinned
• optimization::by_keyword
• optimization::decorate_source
• optimization::decorate_tiers
• optimization::pin_from_str
• optimization::relationship_tree
• optimize::active_config
• optimize::begin_fired_trace
• optimize::bta::analyze_expr
• optimize::bta::analyze_function_bt
• optimize::bta::analyze_with_sccs
• optimize::egraph::convert::egraph_stmts
• optimize::egraph::convert::simplify_expr
• optimize::egraph::extract::best_tree
• optimize::egraph::extract::best_tree_filtered
• optimize::egraph::rules::all
• optimize::egraph::rules::verify_all_with_kernel
• optimize::end_fired_trace
• optimize::end_preempted_trace
• optimize::expr_proven_raw_int_op
• optimize::fired_trace_active
• optimize::lin_to_rust
• optimize::mark_fired
• optimize::mark_preempted
• optimize::optimize_for_projection
• optimize::optimize_for_run
• optimize::optimize_for_run_tiered
• optimize::optimize_program
• optimize::oracle_analyze
• optimize::oracle_analyze_with
• optimize::oracle_analyze_with_entry_guards
• optimize::partial_eval::cleanup_identities
• optimize::partial_eval::specialize_stmts
• optimize::partial_eval::specialize_stmts_with_state
• optimize::set_active_config
• optimize::supercompile::embeds
• optimize::supercompile::msg
• optimize::supercompile::supercompile_stmts
• semantics::arith::add
• semantics::arith::approx_eq
• semantics::arith::binary_op
• semantics::arith::concat
• semantics::arith::crdt_counter_bump
• semantics::arith::crdt_merge_field
• semantics::arith::crdt_merge_wire
• semantics::arith::crdt_to_wire
• semantics::arith::divide
• semantics::arith::exact_divide
• semantics::arith::floor_divide
• semantics::arith::gcounter_value
• semantics::arith::modulo
• semantics::arith::multiply
• semantics::arith::not_value
• semantics::arith::power
• semantics::arith::seq_concat
• semantics::arith::subtract
• semantics::builtins::builtin_from_name
• semantics::builtins::call_builtin
• semantics::builtins::check_arity
• semantics::collections::assert_hashable_key
• semantics::collections::contains
• semantics::collections::index_get
• semantics::collections::index_set
• semantics::collections::intersection
• semantics::collections::iteration_snapshot
• semantics::collections::length_of
• semantics::collections::list_pop
• semantics::collections::list_push
• semantics::collections::push_to_struct_field
• semantics::collections::range
• semantics::collections::reference_scope_active
• semantics::collections::remove_from
• semantics::collections::set_add
• semantics::collections::slice
• semantics::collections::text_is_ascii
• semantics::collections::union
• semantics::collections::value_semantics_enabled
• semantics::collections::with_reference_semantics
• semantics::compare::compare
• semantics::compare::values_equal
• semantics::crdt::crdt_values_equal
• semantics::crdt::next_replica_id
• semantics::format::apply_format_spec
• semantics::policy::check_policy
• semantics::policy::evaluate_policy_condition
• semantics::temporal::clear_fixed_clock
• semantics::temporal::date_add_span
• semantics::temporal::days_in_month
• semantics::temporal::moment_add_span
• semantics::temporal::now
• semantics::temporal::set_fixed_clock
• semantics::temporal::today
• ui_bridge::answer_question
• ui_bridge::compile_for_proof
• ui_bridge::compile_for_ui
• ui_bridge::compile_theorem_for_ui
• ui_bridge::compile_theory_for_ui
• ui_bridge::expr_to_ast_node
• ui_bridge::extract_logic_module
• ui_bridge::extract_logic_rust
• ui_bridge::extract_math_module
• ui_bridge::extract_math_module_from_source
• ui_bridge::extract_math_rust
• ui_bridge::extract_math_rust_from_source
• ui_bridge::generate_rust_code
• ui_bridge::generate_rust_code_with_proven
• ui_bridge::grounded_grid_problem
• ui_bridge::implicit_main
• ui_bridge::interpret_for_ui
• ui_bridge::interpret_for_ui_baseline
• ui_bridge::interpret_for_ui_baseline_sync_with_args
• ui_bridge::interpret_for_ui_baseline_with_args
• ui_bridge::interpret_for_ui_sync
• ui_bridge::interpret_for_ui_sync_with_args
• ui_bridge::interpret_for_ui_with_args
• ui_bridge::interpret_streaming
• ui_bridge::interpret_streaming_with_vfs
• ui_bridge::interpret_streaming_with_vfs_observer
• ui_bridge::parse_math_statements
• ui_bridge::partition_mixed
• ui_bridge::prove_theorem_trace
• ui_bridge::repl_global_bindings
• ui_bridge::run_treewalker_concurrent_seeded
• ui_bridge::run_vm_concurrent
• ui_bridge::run_vm_concurrent_seeded
• ui_bridge::run_vm_net_async
• ui_bridge::run_vm_workstealing_seeded
• ui_bridge::set_pending_aot_natives
• ui_bridge::solve_grid
• ui_bridge::theorem_dependency_graph
• ui_bridge::theorem_proof_exprs
• ui_bridge::theorem_proof_exprs_with_defs
• ui_bridge::tokenize_for_ui
• ui_bridge::verify_theorem
• ui_bridge::with_optimized_program
• ui_bridge::with_optimized_program_tiered
• ui_bridge::with_parsed_program
• ui_bridge::with_v2_optimized_program
• vm::aot_tier::load_aot_native
• vm::branch_entropy
• vm::compile_and_run
• vm::compiler::magic_div_enabled
• vm::compiler::magic_eval
• vm::compiler::magic_u64_gen
• vm::compiler::narrow_vm_enabled
• vm::disasm::disassemble
• vm::disasm::format_constant
• vm::disasm::format_op
• vm::disasm::op_io
• vm::disasm::op_targets
• vm::fn_bytecode::slice_function
• vm::install_native_tier
• vm::installed_native_tier
• vm::run_to_outcome
• vm::run_to_outcome_bg
• vm::run_to_outcome_with_args
• vm::tier_cache::cache_key
• vm::tier_cache::decode
• vm::tier_cache::encode
• vm::tier_cache::load
• vm::tier_cache::store
• vm::tier_trace::format_transition
• vm::tier_trace::trace_enabled
• vm::tier_trace::trace_transition
• vm::wasm::assemble_program
• vm::wasm::func::compile_function_to_wasm
• vm::wasm::func::compile_region_to_wasm

Type Aliases

• ast::Block
• ast::stmt::Block
• concurrency::bridge::Yield
• concurrency::driver::ErrSink
• interpreter::MapStorage
• interpreter::OutputCallback
• optimize::bta::BtaCache
• optimize::bta::Division
• optimize::egraph::NodeId
• ui_bridge::ObserverCallback

Statics

• optimization::REGISTRY

Constants

• concurrency::channel::SUITE_NULL
• concurrency::channel::SUITE_PNP
• concurrency::channel::SUITE_PQ
• concurrency::marshal::DEFAULT_RECEIVE_LIMITS
• concurrency::marshal::FEAT_COMPUTED
• concurrency::marshal::FEAT_DEFLATE
• concurrency::marshal::FEAT_FEC
• concurrency::marshal::FEAT_LZ4
• concurrency::marshal::FEAT_TYPE_ID
• concurrency::marshal::FEAT_ZSTD
• concurrency::pnp::MAC_KEY_LEN
• concurrency::pnp::RECV_WINDOW_BYTES
• concurrency::pnp::TAG_LEN
• optimization::OPT_COUNT
• optimization::path::AOT
• optimization::path::CODEGEN
• optimization::path::JIT
• optimization::path::RUN
• optimization::path::VM
• optimize::egraph::MAX_NODES
• optimize::egraph::SATURATION_ITERS
• semantics::CALL_DEPTH_ERR
• semantics::MAX_CALL_DEPTH
• semantics::arith::GCOUNTER_TAG
• vm::MAX_EXPR_DEPTH
• vm::MAX_REGISTERS_PER_FRAME
• vm::MAX_REGISTER_FILE
• vm::NATIVE_TIER_THRESHOLD
• vm::REGION_TIER_THRESHOLD