Crate midenc_debug

Source

Structs§

Breakpoint
CallFrame
CallStack
CurrentFrame
DebugExecutor
A special version of crate::Executor which provides finer-grained control over execution, and captures a ton of information about the program being executed, so as to make it possible to introspect everything about the program and the state of the VM at a given cycle.
Debugger
Run a compiled Miden program with the Miden VM
DebuggerConfig
DebuggerHost
This is an implementation of Host which is essentially miden_processor::DefaultHost, but extended with additional functionality for debugging, in particular it manages trace events that record the entry or exit of a procedure call frame.
ExecutionTrace
An ExecutionTrace represents a final state of a program that was executed.
Executor
The Executor is responsible for executing a program with the Miden VM.
Felt
Wrapper around miden_processor::Felt that implements useful traits that are not implemented for that type.
MemoryChiplet
ReadMemoryExpr
ResolvedLocation
StackTrace
TestFelt
Wrapper around miden_processor::Felt that implements useful traits that are not implemented for that type.

Enums§

BreakpointType
FormatType
MemoryMode
OpDetail
TraceEvent
A typed wrapper around the raw trace events known to the compiler

Traits§

FromMidenRepr
ToMidenRepr

Functions§

bytes_to_words
Convert a byte array to an equivalent vector of words
run
run_noninteractively
start_ui
trace

Type Aliases§

ExecutionResult
TraceHandler
A callback to be executed when a TraceEvent occurs at a given clock cycle