Module falcon::executor

source ·
Expand description

Concrete execution over Falcon IL.

Structs

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

Enums

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

Functions

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

Type Definitions

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