Expand description
Main evaluator loop and setting up the initial stack frame.
Structs
Configuration needed to spawn a Miri instance.
Enums
The state of the main thread. Implementation detail of
on_main_stack_empty.Constants
When the main thread would exit, we will yield to any other thread that is ready to execute.
But we must only do that a finite number of times, or a background thread running
loop {}
will hang the program.Functions
Turns an array of arguments into a Windows command line string.
Returns a freshly created
InterpCx.
Public because this is also used by priroda.Evaluates the entry function specified by
entry_id.
Returns Some(return_code) if program executed completed.
Returns None if an evaluation error occurred.