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