copilot-libraries-4.7.1: Libraries for the Copilot language.

# copilot-libraries-4.7.1: Libraries for the Copilot language.

Libraries for the Copilot language.

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-libraries-4.7.1

- Copilot
  Submodules
  - Library
    Submodules
    - Copilot.Library.Analysis
    - Copilot.Library.Clocks Clocks based on a base period and phase
    - Copilot.Library.LTL Bounded Linear Temporal Logic (LTL) operators
    - Copilot.Library.Libraries Main import module for libraries
    - Copilot.Library.MTL Metric Temporal Logic (MTL) over a discrete time domain.
    - Copilot.Library.PTLTL Past-Time Linear-Temporal Logic
    - Copilot.Library.RegExp Regular expression library
    - Copilot.Library.Stacks Stream for a stack machine
    - Copilot.Library.StateMachines
    - Copilot.Library.Statistics Basic bounded statistics
    - Copilot.Library.Utils Utility bounded-list functions (e.g., folds, scans, etc.)
    - Copilot.Library.Voting Implementation of the Boyer-Moore Majority Vote Algorithm