[−][src]Module falcon::executor

Concrete execution over Falcon IL.

Structs

Driver	A driver for a concrete executor over Falcon IL.
State	A concrete `State`.
Successor	The result of executing an `il::Operation` over a `State`.

A representation of the successor location in an il::Program after execution of an il::Operation.

eval	Evaluate an `il::Expression` where all terminals are `il::Constant`, and return the resulting `il::Constant`.

A falcon::memory::paged::Memory over il::Constant.