copilot-4.6.1: A stream DSL for writing embedded C programs.

# copilot-4.6.1: A stream DSL for writing embedded C programs.

Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project, or as a standalone application. The C99 backend output is constant in memory and time, making it suitable for systems with hard realtime requirements.

This package is the main entry-point for using Copilot.

A tutorial, examples, and other information are available at https://copilot-language.github.io.

Modules

copilot-4.6.1

- Language
  Submodules
  - Language.Copilot
    Submodules
    - Language.Copilot.Main