Skip to main content

miden_debug_engine/exec/
mod.rs

1mod 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};