Crate midenc_debug
source ·Structs§
- 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.
- Run a compiled Miden program with the Miden VM
- 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.
- An ExecutionTrace represents a final state of a program that was executed.
- The Executor is responsible for executing a program with the Miden VM.
- Wrapper around
miden_processor::Feltthat implements useful traits that are not implemented for that type. - Wrapper around
miden_processor::Feltthat implements useful traits that are not implemented for that type.
Enums§
- A typed wrapper around the raw trace events known to the compiler
Traits§
Functions§
- Convert a byte array to an equivalent vector of words
Type Aliases§
- A callback to be executed when a TraceEvent occurs at a given clock cycle