copilot-language-4.8: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

# copilot-language-4.8: 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-4.8

- Copilot
  Submodules
  - Copilot.Language
    Submodules
    - Operators
      Submodules
      - 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.Projection
      - Copilot.Language.Operators.Propositional
      - Copilot.Language.Operators.Struct
      - Copilot.Language.Operators.Temporal
    - Copilot.Language.Prelude
    - Copilot.Language.Reify
    - Copilot.Language.Spec
    - Copilot.Language.Stream