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

Language.Copilot.Examples.PTLTLExamples

Documentation

tstdatprv :: Streams Source

tprv :: Streams Source

tstdatAB :: Streams Source

tAB :: Streams Source

tstdatEP :: Streams Source

tEP :: Streams Source

q2 :: Spec Bool Source

z :: Spec Bool Source

q1 :: Spec Bool Source

tstdat1Sin :: Streams Source

tstdat2Sin :: Streams Source

tSince :: Streams Source

tSinExt :: Streams Source

tSinExt2 :: Streams Source

engine :: Streams Source

engineRun :: IO ()Source