@hackage copilot2.0.6

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
Dependents (6)
@hackage/copilot-verifier, @hackage/acme-everything, @hackage/arduino-copilot, @hackage/sketch-frp-copilot, @hackage/copilot-frp-sketch, @hackage/zephyr-copilot

Documentation is available at the website, and see the included examples.