solana_libra_bytecode_verifier-0.0.1-sol5
- solana_libra_bytecode_verifier 0.0.1-sol5
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- Crates.io
- Source
- Owners
- solana-grimes
- Dependencies
- solana_libra_failure_ext ^0.0.1-sol5 normal
  mirai-annotations ^1.4.0 normal
  petgraph ^0.4 normal
  solana_libra_types ^0.0.1-sol5 normal
  solana_libra_vm ^0.0.1-sol5 normal
  solana_libra_vm_runtime_types ^0.0.1-sol5 normal
  solana_libra_invalid_mutations ^0.0.1-sol5 dev
  solana_libra_types ^0.0.1-sol5 dev
  solana_libra_vm ^0.0.1-sol5 dev
- Versions
Go to latest stable release
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

Module abstract_state

Structs
Enums

solana_libra_bytecode_verifier

[−][src]Module solana_libra_bytecode_verifier::abstract_state

This module defines the abstract state for the type and memory safety analysis.

Structs

Enums