miden_debug_engine/exec/
mod.rs

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

miden_debug_engine/exec/
mod.rs
