List of all items[−] List of all items
Structs
- bitvector::b129::B129
- bitvector::b64::B64
- config::ISAConfig
- config::Tool
- executor::Frame
- executor::LocalFrame
- executor::Task
- executor::TaskState
- init::Initialized
- ir::EnumMember
- ir::Name
- ir::SharedState
- ir::Symtab
- ir::Variables
- ir::ssa::Block
- ir::ssa::CFG
- ir::ssa::SSAName
- ir_lexer::Keyword
- ir_parser::DefParser
- ir_parser::ExpParser
- ir_parser::InstrParser
- ir_parser::IrParser
- ir_parser::LocParser
- ir_parser::OpParser
- ir_parser::TyParser
- lexer::BIN_REGEX
- lexer::HEX_REGEX
- lexer::ID_REGEX
- lexer::LexError
- lexer::Lexer
- lexer::NAT_REGEX
- memory::Memory
- primop::Primops
- simplify::EventReferences
- simplify::WriteOpts
- smt::Checkpoint
- smt::Config
- smt::Context
- smt::Model
- smt::Solver
- smt::Sym
- smt::Trace
- value_parser::AssignParser
- value_parser::LocParser
- value_parser::ValParser
Enums
- config::Kind
- error::ExecError
- ir::AssertionMode
- ir::Def
- ir::Exp
- ir::Instr
- ir::LabeledInstr
- ir::Loc
- ir::Op
- ir::Ty
- ir::UVal
- ir::Val
- ir::Variable
- ir::ssa::BlockInstr
- ir::ssa::BlockLoc
- ir::ssa::Edge
- ir::ssa::Terminator
- ir_lexer::Tok
- memory::Region
- memory::SmtKind
- smt::Accessor
- smt::Event
- smt::SmtResult
- smt::smtlib::Def
- smt::smtlib::Exp
- smt::smtlib::Ty
Traits
- bitvector::BV
- cache::Cacheable
- cache::Cachekey
- ir_parser::__ToTriple
- memory::CustomRegion
- memory::MemoryCallbacks
- memory::MemoryCallbacksClone
- value_parser::__ToTriple
Macros
Functions
- bitvector::bzhi_u128
- bitvector::bzhi_u64
- bitvector::write_bits64
- config::reset_to_toml_value
- config::toml_reset_registers
- executor::all_unsat_collector
- executor::footprint_collector
- executor::freeze_frame
- executor::start_multi
- executor::start_single
- executor::symbolic
- executor::trace_collector
- executor::trace_result_collector
- executor::trace_value_collector
- executor::unfreeze_frame
- init::initialize_architecture
- ir::append_instrs
- ir::label_instrs
- ir::linearize::linearize
- ir::linearize::self_test
- ir::prune_labels
- ir::serialize::deserialize
- ir::serialize::serialize
- ir::unlabel_instrs
- log::color
- log::set_flags
- memory::smt_address_constraint
- primop::binary_primops
- primop::length_bits
- primop::sign_extend
- primop::smt_i128
- primop::smt_i64
- primop::smt_sbits
- primop::smt_u8
- primop::smt_value
- primop::subrange_internal
- primop::unary_primops
- primop::variadic_primops
- primop::vector_update
- primop::zero_extend
- simplify::commute_extract
- simplify::eval
- simplify::hide_initialization
- simplify::propagate_forwards_used_once
- simplify::remove_unused
- simplify::renumber_event
- simplify::write_events
- simplify::write_events_with_opts
- smt::checkpoint
- smt::finalize_solver
- smt::global_set_param_value
- smt::smtlib::bits64
- zencode::decode
- zencode::encode
Typedefs
- executor::Backtrace
- executor::Collector
- executor::TraceQueue
- executor::TraceResultQueue
- executor::TraceValueQueue
- ir::Bindings
- ir::Reset
- ir_lexer::Span
- memory::Address
- primop::Binary
- primop::Unary
- primop::Variadic
- simplify::Taints
- smt::EvPath
Statics
Constants
- ir::BITVECTOR_UPDATE
- ir::BV_BIT_LEFT
- ir::BV_BIT_RIGHT
- ir::CURRENT_EXCEPTION
- ir::ELF_ENTRY
- ir::HAVE_EXCEPTION
- ir::INTERNAL_VECTOR_INIT
- ir::INTERNAL_VECTOR_UPDATE
- ir::NULL
- ir::REG_DEREF
- ir::RESET_REGISTERS
- ir::RETURN
- ir::SAIL_ASSERT
- ir::SAIL_ASSUME
- ir::SAIL_EXCEPTION
- ir::SAIL_EXIT
- ir::THROW_LOCATION
- ir::TOP_LEVEL_LET
- log::CACHE
- log::FORK
- log::LITMUS
- log::MEMORY
- log::PROBE
- log::VERBOSE