miden_debug_engine/exec/
mod.rs1mod advice;
2mod config;
3#[cfg(feature = "dap")]
4mod dap;
5#[cfg(feature = "dap")]
6mod dap_client;
7#[cfg(feature = "dap")]
8mod dap_types;
9mod diagnostic;
10pub mod event;
11mod executor;
12mod host;
13mod query;
14mod snapshot;
15mod state;
16mod trace;
17
18#[cfg(feature = "std")]
19pub use self::snapshot::ReplaySnapshotError;
20pub use self::{
21 advice::{
22 EventMutationRecorder, clone_advice_mutation, clone_advice_mutations, read_advice_mutation,
23 read_event_log, write_advice_mutation, write_event_log,
24 },
25 config::ExecutionConfig,
26 diagnostic::DiagnosticExecutor,
27 event::Event,
28 executor::Executor,
29 host::DebuggerHost,
30 query::DebugQuery,
31 snapshot::{
32 MastForestRecorder, ReplaySnapshot, ReplaySnapshotRecorder, ReplaySnapshotWrite,
33 ReplaySnapshotWriteError,
34 },
35 state::DebugExecutor,
36 trace::ExecutionTrace,
37};
38#[cfg(feature = "dap")]
39pub use self::{
40 dap::{DapConfig, DapExecutor},
41 dap_client::{DapClient, DapStopReason, SCOPE_MEMORY, SCOPE_STACK},
42 dap_types::{DapUiFrame, DapUiState},
43};