Module: Ibex::TableSimulation

Defined in:

lib/ibex/table_simulation.rb,
lib/ibex/table_simulation/step.rb,
lib/ibex/table_simulation/text.rb,
lib/ibex/table_simulation/result.rb,
lib/ibex/table_simulation/simulator.rb

Overview

Safe LR table simulation over validated Automaton IR.

Defined Under Namespace

Modules: Text Classes: Result, Session, Simulator, Step