miden-debug-engine 0.15.0

Core debugger engine for miden-debug
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

mod advice;
mod config;
#[cfg(feature = "dap")]
mod dap;
#[cfg(feature = "dap")]
mod dap_client;
#[cfg(feature = "dap")]
mod dap_types;
mod diagnostic;
pub mod event;
mod executor;
mod host;
mod query;
mod snapshot;
mod state;
mod trace;

#[cfg(feature = "std")]
pub use self::snapshot::ReplaySnapshotError;
pub use self::{
    advice::{
        EventMutationRecorder, clone_advice_mutation, clone_advice_mutations, read_advice_mutation,
        read_event_log, write_advice_mutation, write_event_log,
    },
    config::ExecutionConfig,
    diagnostic::DiagnosticExecutor,
    event::Event,
    executor::Executor,
    host::DebuggerHost,
    query::DebugQuery,
    snapshot::{
        MastForestRecorder, ReplaySnapshot, ReplaySnapshotRecorder, ReplaySnapshotWrite,
        ReplaySnapshotWriteError,
    },
    state::DebugExecutor,
    trace::ExecutionTrace,
};
#[cfg(feature = "dap")]
pub use self::{
    dap::{DapConfig, DapExecutor},
    dap_client::{DapClient, DapStopReason, SCOPE_MEMORY, SCOPE_STACK},
    dap_types::{DapUiFrame, DapUiState},
};