List of all items

Structs

• arm_semantics::ArmSemantics
• arm_semantics::ArmState
• arm_semantics::ConditionFlags
• expansion_validator::ExpansionWitness
• fact_spec::FactSpecResult
• properties::CompilerProperties
• solver::OrdealSolver
• term::BV
• term::Bool
• translation_validator::CallIndirectSpec
• translation_validator::TranslationValidator
• trap::CallIndirect
• trap::DefineOrTrap
• validator_pattern::CertifiedSelection
• validator_pattern::Witness
• validator_pattern::Z3ArmValidator
• wasm_semantics::WasmSemantics

Enums

• expansion_validator::ExpansionError
• solver::CheckOutcome
• translation_validator::ValidationResult
• translation_validator::VerificationError
• trap::DivOp
• trap::FpFmt
• trap::IntTarget
• trap::TrapVerdict
• trap::TypeTrap
• validator_pattern::SolverResultKind
• validator_pattern::ValidationError

Traits

• solver::BvSolver
• traits::SourceSemantics
• traits::TargetSemantics
• validator_pattern::Validator

Functions

• expansion_validator::covered_i64_pseudo_selections
• expansion_validator::validate_expansion
• fact_spec::specialize_function
• solver::new_solver
• trap::div_op
• trap::prove_trap_condition_equivalence
• trap::prove_trap_equivalence
• trap::trap_always
• trap::trap_call_indirect
• trap::trap_div
• trap::trap_mem_oob
• trap::trap_trunc
• trap::trunc_op
• with_verification_context