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)]
25#[path = "tests/utils.rs"]
26mod test_utils;
27
28pub use miden_core::events;
29pub use miden_debug_types as debug_types;
30pub use miden_processor as processor;
31
32#[cfg(feature = "std")]
33pub use self::linker::{LinkLibrary, Linkage};
34pub use self::{
35    debug::*,
36    exec::*,
37    felt::{Felt, FromMidenRepr, ToMidenRepr, bytes_to_words, push_wasm_ty_to_operand_stack},
38    package::read_package_from_bytes,
39    registry::HybridPackageRegistry,
40    source_path::normalize_source_path,
41};
miden_debug_engine/lib.rs

miden_debug_engine/
lib.rs
