Skip to main content

Crate miden_debug_engine

Crate miden_debug_engine 

Source
Expand description

Portable package decoding, typed variable resolution, and replay serialization.

The default std feature additionally enables interactive execution, profiling, filesystem access, and command-line parsers. DAP support requires std.

Re-exports§

pub use self::felt::Felt;
pub use self::felt::FromMidenRepr;
pub use self::felt::ToMidenRepr;
pub use self::felt::bytes_to_words;
pub use self::felt::push_wasm_ty_to_operand_stack;
pub use miden_debug_types as debug_types;
pub use miden_processor as processor;
pub use self::debug::*;
pub use self::exec::*;

Modules§

debug
events
exec
felt
glob
This is a no-std-compatible implementation of shell glob matching against paths.
profiling

Macros§

register_instrument

Structs§

HybridPackageRegistry
The in-memory package registry used during debugger execution.
LinkLibrary
A compiled library package requested by the user for execution.

Enums§

Linkage

Functions§

normalize_source_path
Converts a source URI or path into a stable form for loading and comparison.