miden_debug_engine/
lib.rs

1//! Portable package decoding, typed variable resolution, and replay serialization.
2//!
3//! The default `std` feature additionally enables interactive execution, profiling, filesystem
4//! access, and command-line parsers. DAP support requires `std`.
5#![no_std]
6
7#[cfg_attr(not(feature = "std"), macro_use)]
8extern crate alloc;
9
10#[cfg(any(test, feature = "std"))]
11#[macro_use]
12extern crate std;
13
14pub mod debug;
15pub mod exec;
16pub mod felt;
17pub mod glob;
18#[cfg(feature = "std")]
19mod linker;
20mod package;
21pub mod profiling;
22mod registry;
23mod source_path;
24#[cfg(test)]
25mod test_utils;
26
27pub use miden_core::events;
28pub use miden_debug_types as debug_types;
29pub use miden_processor as processor;
30
31#[cfg(feature = "std")]
32pub use self::linker::{LinkLibrary, Linkage};
33pub use self::{
34    debug::*,
35    exec::*,
36    felt::{Felt, FromMidenRepr, ToMidenRepr, bytes_to_words, push_wasm_ty_to_operand_stack},
37    package::read_package_from_bytes,
38    registry::HybridPackageRegistry,
39    source_path::normalize_source_path,
40};
miden_debug_engine/lib.rs

miden_debug_engine/
lib.rs
