Skip to main content

miden_debug/
lib.rs

1pub use miden_debug_engine::{
2    HybridPackageRegistry, LinkLibrary, debug, debug_types, events, exec, felt, processor,
3};
4
5mod config;
6#[cfg(feature = "dap")]
7mod dap_server;
8#[cfg(feature = "flamegraph")]
9pub mod flamegraph;
10mod input;
11mod program_loader;
12
13#[cfg(any(feature = "tui", feature = "repl"))]
14pub mod logger;
15#[cfg(any(feature = "tui", feature = "repl"))]
16mod ui;
17
18#[cfg(feature = "repl")]
19mod repl;
20#[cfg(feature = "repl")]
21pub mod script;
22
23#[cfg(feature = "dap")]
24pub use self::dap_server::run as run_dap_server;
25#[cfg(feature = "repl")]
26pub use self::repl::{
27    run as run_repl, run_commands, run_with_log_level as run_repl_with_log_level,
28};
29#[cfg(feature = "tui")]
30pub use self::ui::{
31    DebugMode, State, run, run_replay_and_log_level, run_with_log_level, run_with_state,
32    run_with_state_and_log_level,
33};
34pub use self::{
35    config::{ColorChoice, DebuggerConfig},
36    debug::*,
37    exec::*,
38    felt::{
39        Felt, FromMidenRepr, RawFelt, ToMidenRepr, bytes_to_words, push_wasm_ty_to_operand_stack,
40    },
41    input::InputFile,
42};