List of all items
Structs
- arena::ArenaReport
- arena::ArenaSite
- escape::EscapeReport
- escape::EscapeSite
- program::DeclaredEffect
- program::Function
- program::Program
- program::Refinement
- value::ActorCell
- value::NativeActorHandler
- verify::StackError
- vm::DenyAllEffects
- vm::NullTracer
- vm::Vm
Enums
- conc_registry::RegError
- escape::Policy
- escape::SiteKind
- escape::Slot
- op::Const
- op::Op
- program::EffectArg
- value::ActorHandler
- value::MapKey
- value::Value
- vm::VmError
Traits
Functions
- arena::analyze_function
- arena::analyze_program
- arena::build_arena_index
- compiler::compile_program
- conc_registry::lookup
- conc_registry::register
- conc_registry::registered
- conc_registry::unregister
- escape::analyze_function
- escape::analyze_function_with_policy
- escape::analyze_program
- escape::build_escape_index
- parser_runtime::run_parser
- program::compute_body_hash
- shape_registry::intern
- verify::verify_function
- verify::verify_program
- vm::dump_ic_stats