copilot-language-3.19.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
The concrete syntax for Copilot.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools.
A tutorial, examples, and other information are available at https://copilot-language.github.io.
Modules
copilot-language-3.19.1
- Copilot
- Copilot.Language
- Operators
- Copilot.Language.Operators.Array
- Copilot.Language.Operators.BitWise
- Copilot.Language.Operators.Boolean
- Copilot.Language.Operators.Cast
- Copilot.Language.Operators.Constant
- Copilot.Language.Operators.Eq
- Copilot.Language.Operators.Extern
- Copilot.Language.Operators.Integral
- Copilot.Language.Operators.Label
- Copilot.Language.Operators.Local
- Copilot.Language.Operators.Mux
- Copilot.Language.Operators.Ord
- Copilot.Language.Operators.Propositional
- Copilot.Language.Operators.Struct
- Copilot.Language.Operators.Temporal
- Copilot.Language.Prelude
- Copilot.Language.Reify
- Copilot.Language.Spec
- Copilot.Language.Stream
- Operators
- Copilot.Language