copilot-0.28: A stream DSL for writing embedded C monitors.

Language.Copilot.Examples.PTLTLExamples

Documentation

tstdatprv :: Streams

tprv :: Streams

tstdatAB :: Streams

tAB :: Streams

tstdatEP :: Streams

tEP :: Streams

q2 :: Spec Bool

z :: Spec Bool

q1 :: Spec Bool

tstdat1Sin :: Streams

tstdat2Sin :: Streams

tSince :: Streams

tSinExt :: Streams

tSinExt2 :: Streams

engine :: Streams

engineRun :: IO ()