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,
sig/ibex/table_simulation.rbs,
sig/ibex/table_simulation/step.rbs,
sig/ibex/table_simulation/text.rbs,
sig/ibex/table_simulation/result.rbs,
sig/ibex/table_simulation/simulator.rbs
Overview
Safe LR table simulation over validated Automaton IR.