Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
A tagless interpreter for Copilot specifications.
Documentation
type Env nm = [(nm, Dynamic)] Source #
An environment that contains an association between (stream or extern) names and their values.
The simulation output is defined as a string. Different backends may choose to format their results differently.
An execution trace, containing the traces associated to each individual monitor trigger and observer.
ExecTrace | |
|