Module bit_machine

Source
Expand description

Simplicity Execution

Implementation of the Bit Machine, without TCO, as TCO precludes some frame management optimizations which can be used to great benefit.

Structs§

BitMachine
An execution context for a Simplicity program
NoTracker
Tracker that does not do anything (noop).
SetTracker
Tracker of executed left and right branches for each case node.

Enums§

ExecutionError
Errors related to simplicity Execution
LimitError

Traits§

ExecTracker
A type that keeps track of Bit Machine execution.