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

Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.SBV.Transform

Synopsis

Documentation

transform :: Spec -> Spec Source

A Copilot specification consists of a list of variables bound to anonymous streams, a lost of anomymous streams, a list of observers, and a list of triggers. data Spec = Spec { specStreams :: [Stream] , specObservers :: [Observer] , specTriggers :: [Trigger] , specProperties :: [Property] }