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
.