copilot-sbv-0.5: A compiler for CoPilot targeting SBV.

Safe HaskellSafe-Infered

Copilot.Compile.SBV.Code

Documentation

updateStates :: MetaTable -> Spec -> [SBVFunc]Source

updateObservers :: MetaTable -> Spec -> [SBVFunc]Source

fireTriggers :: MetaTable -> Spec -> [SBVFunc]Source

getExtArrs :: MetaTable -> [SBVFunc]Source

getExtFuns :: MetaTable -> [SBVFunc]Source