Docs.rs
  • move-stackless-bytecode-interpreter-0.3.2
    • move-stackless-bytecode-interpreter 0.3.2
    • Docs.rs crate page
    • Apache-2.0
    • Links
    • crates.io
    • Source
    • Owners
    • dondidlc
    • Dependencies
      • anyhow ^1.0.52 normal
      • bytecode-interpreter-crypto ^0.3.0 normal
      • clap ^3.1.8 normal
      • codespan-reporting ^0.11.1 normal
      • itertools ^0.10.0 normal
      • move-stackless-bytecode ^0.3.0 normal
      • mv-binary-format ^0.3.0 normal
      • mv-core-types ^0.3.0 normal
      • mv-model ^0.3.0 normal
      • num ^0.4.0 normal
      • serde ^1.0.124 normal
      • datatest-stable ^0.1.1 dev
      • move-prover-test-utils ^0.3.0 dev
    • Versions
    • 26.74% of the crate is documented
  • This release has been yanked
  • Platform
    • i686-pc-windows-msvc
    • i686-unknown-linux-gnu
    • x86_64-apple-darwin
    • x86_64-pc-windows-msvc
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation
logo

logo

Crate move_stackless_bytecode_interpreter

logo
Change settings

List of all items

Structs

  • InterpreterOptions
  • StacklessBytecodeInterpreter
  • concrete::evaluator::Evaluator
  • concrete::evaluator::ExpState
  • concrete::local_state::LocalState
  • concrete::player::FunctionContext
  • concrete::runtime::Runtime
  • concrete::settings::InterpreterSettings
  • concrete::ty::PartialStructField
  • concrete::ty::PartialStructInstantiation
  • concrete::ty::StructField
  • concrete::ty::StructInstantiation
  • concrete::value::EvalState
  • concrete::value::GlobalState
  • concrete::value::LocalSlot
  • concrete::value::TypedValue
  • shared::ident::FunctionIdent
  • shared::ident::ModuleIdent
  • shared::ident::StructIdent

Enums

  • concrete::local_state::AbortInfo
  • concrete::local_state::TerminationStatus
  • concrete::ty::BaseType
  • concrete::ty::IntType
  • concrete::ty::PartialBaseType
  • concrete::ty::PrimitiveType
  • concrete::ty::Type
  • concrete::value::BaseValue
  • concrete::value::Pointer

Functions

  • concrete::player::entrypoint
  • concrete::runtime::convert_move_struct_tag
  • concrete::runtime::convert_move_type_tag
  • concrete::runtime::convert_move_value
  • concrete::ty::convert_model_base_type
  • concrete::ty::convert_model_local_type
  • concrete::ty::convert_model_partial_base_type
  • concrete::ty::convert_model_partial_struct_type
  • concrete::ty::convert_model_struct_type
  • interpret_with_options
  • shared::bridge::adapt_move_vm_change_set
  • shared::bridge::adapt_move_vm_result
  • shared::variant::choose_variant

Typedefs

  • concrete::evaluator::EvalResult
  • concrete::player::ExecResult
  • concrete::ty::CodeOffset
  • concrete::ty::TypeParameterIndex