@hackage copilot2.1.0

A stream DSL for writing embedded C programs.

Categories
- Systems Programming
License
BSD-3-Clause
Maintainer
Lee Pike <leepike@galois.com>
Links
Versions
- 4.4 Thu, 8 May 2025
- 4.3 Sat, 8 Mar 2025
- 4.2 Wed, 8 Jan 2025
- 4.1 Fri, 8 Nov 2024
- 4.0 Sun, 8 Sep 2024
- 3.20 Mon, 8 Jul 2024

Installation
In your cabal file:
Dependencies (5)
- base >=4.0 && <5
- copilot-cbmc
- copilot-core >=0.2.3
- copilot-language >=0.4
- copilot-libraries >=0.4
Dependents (6)
@hackage/copilot-verifier, @hackage/acme-everything, @hackage/arduino-copilot, @hackage/sketch-frp-copilot, @hackage/copilot-frp-sketch, @hackage/zephyr-copilot

This package is the main entry-point for using 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, bug reports, and todos are available at https://github.com/niswegmann/copilot-discussion.

Examples are available at https://github.com/leepike/Copilot/tree/master/Examples.

@hackage copilot2.1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (5)

Dependents (6)