List of all items
Structs
- abstract_state::AbstractState
- abstract_state::AbstractValue
- abstract_state::CallGraph
- abstract_state::InstantiableModule
- borrow_graph::BorrowGraph
- bytecode_generator::BytecodeGenerator
- bytecode_generator::FunctionGenerationContext
- config::Args
- control_flow_graph::BasicBlock
- control_flow_graph::CFG
- error::VMError
- summaries::Summary
- transitions::Subst
Enums
- Status
- abstract_state::BorrowState
- abstract_state::Mutability
- borrow_graph::EdgeType
- summaries::Effects
- transitions::StackBinOpResult
Macros
- function_instantiation_for_state
- state_control_flow
- state_create_struct
- state_create_struct_from_inst
- state_function_can_acquire_resource
- state_local_availability_is
- state_local_exists
- state_local_has_ability
- state_local_place
- state_local_set
- state_local_take
- state_local_take_borrow
- state_memory_safe
- state_never
- state_register_dereference
- state_stack_bin_op
- state_stack_function_call
- state_stack_function_inst_call
- state_stack_function_inst_popn
- state_stack_function_popn
- state_stack_has
- state_stack_has_ability
- state_stack_has_integer
- state_stack_has_polymorphic_eq
- state_stack_has_reference
- state_stack_has_struct
- state_stack_has_struct_inst
- state_stack_is_castable
- state_stack_local_polymorphic_eq
- state_stack_pop
- state_stack_push
- state_stack_push_register
- state_stack_push_register_borrow
- state_stack_ref_polymorphic_eq
- state_stack_satisfies_function_inst_signature
- state_stack_satisfies_function_signature
- state_stack_satisfies_struct_signature
- state_stack_struct_borrow_field
- state_stack_struct_borrow_field_inst
- state_stack_struct_has_field
- state_stack_struct_has_field_inst
- state_stack_struct_inst_popn
- state_stack_struct_popn
- state_stack_unpack_struct
- state_stack_unpack_struct_inst
- state_struct_has_key
- state_struct_inst_has_key
- struct_instantiation_for_state
- unpack_instantiation_for_state
- with_ty_param
Functions
- abilities
- bytecode_generation
- config::module_generation_settings
- module_frame_generation
- run_generation
- summaries::instruction_summary
- transitions::abilities_for_instantiation
- transitions::abilities_for_token
- transitions::create_struct
- transitions::create_struct_from_inst
- transitions::function_can_acquire_resource
- transitions::get_function_instantiation_for_state
- transitions::get_struct_instantiation_for_state
- transitions::local_availability_is
- transitions::local_exists
- transitions::local_has_ability
- transitions::local_place
- transitions::local_set
- transitions::local_take
- transitions::local_take_borrow
- transitions::memory_safe
- transitions::register_dereference
- transitions::stack_bin_op
- transitions::stack_function_call
- transitions::stack_function_inst_call
- transitions::stack_function_inst_popn
- transitions::stack_function_popn
- transitions::stack_has
- transitions::stack_has_ability
- transitions::stack_has_all_abilities
- transitions::stack_has_integer
- transitions::stack_has_polymorphic_eq
- transitions::stack_has_reference
- transitions::stack_has_struct
- transitions::stack_has_struct_inst
- transitions::stack_local_polymorphic_eq
- transitions::stack_pop
- transitions::stack_push
- transitions::stack_push_register
- transitions::stack_push_register_borrow
- transitions::stack_ref_polymorphic_eq
- transitions::stack_satisfies_function_inst_signature
- transitions::stack_satisfies_function_signature
- transitions::stack_satisfies_struct_instantiation
- transitions::stack_satisfies_struct_signature
- transitions::stack_struct_borrow_field
- transitions::stack_struct_borrow_field_inst
- transitions::stack_struct_has_field
- transitions::stack_struct_has_field_inst
- transitions::stack_struct_inst_popn
- transitions::stack_struct_popn
- transitions::stack_top_is_castable_to
- transitions::stack_unpack_struct
- transitions::stack_unpack_struct_inst
- transitions::stack_unpack_struct_instantiation
- transitions::struct_abilities
- transitions::struct_inst_abilities
- transitions::struct_ref_instantiation
Type Definitions
- summaries::FunctionInstantiableEffect
- summaries::InstantiableEffect
- summaries::NonInstantiableEffect
- summaries::Precondition