Registry / other / move-stackless-bytecode

move-stackless-bytecode

libraryrscratesunverified

Provides the stackless bytecode representation used in the Move language for formal verification.

# Cargo.toml
[dependencies]
move-stackless-bytecode = "latest"

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · MOVE-STACKLESS-BYT

move-stackless-bytecode

otherrust

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

StacklessBytecode

✓ use move_stackless_bytecode::stackless_bytecode::StacklessBytecode;

Creates a new stackless bytecode instance.

use move_stackless_bytecode::stackless_bytecode::StacklessBytecode; fn main() { let bytecode = StacklessBytecode::new(); println!("Stackless bytecode created"); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

Breaking-change detection hasn't run for this library yet.

Audit

Dependencies

No dependency data recorded yet.

Agent activity

4 hits · last 30 days

node

Resources

githubhttps://github.com/diem/diem ↗

homepagehttps://diem.com ↗

docshttps://docs.rs/move-stackless-bytecode/ ↗