Package de.cau.cs.kieler.krep.evalbench.smakc

Support for the smakc compiler to translate kit files into KEP assembler.

See:
          Description

Class Summary
KitAssembler Assembler for Safe State Machines in the Kit format.
LineScanner Scan assembler generated by smakc, to get correspondence between states and assembler lines.
Tracer Generate mapping between kit file and the KEP assembler that was generated by smakc.
 

Package de.cau.cs.kieler.krep.evalbench.smakc Description

Support for the smakc compiler to translate kit files into KEP assembler. This is rather experimental, and could be replaced by an additional backend for the SyncCharts to SC compiler.