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

Language.Copilot.Examples.LTLExamples

Documentation

output :: Spec BoolSource

testing :: Spec BoolSource

tSoonest :: Int -> StreamsSource

tLatest :: Int -> StreamsSource

tAlways :: Int -> Int -> StreamsSource

tNext :: Int -> StreamsSource

tFuture :: Int -> Int -> StreamsSource

t0 :: Spec BoolSource

t1 :: Spec BoolSource

c :: Spec BoolSource

tUntil :: Int -> Int -> Int -> StreamsSource

tRelease0 :: Int -> StreamsSource

tRelease1 :: Int -> Int -> StreamsSource

testRules :: StreamsSource