@hackage copilot-c990.2.2

A compiler for Copilot targeting C99.

Categories
- Systems Programming
License
BSD-3-Clause
Maintainer
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 (12)
- base >=4.3 && <5
- bytestring
- containers >=0.4
- directory >=1.1
- process >=1.0
- random >=1.0
Dependents (8)
@hackage/copilot-cbmc, @hackage/copilot-verifier, @hackage/acme-everything, @hackage/arduino-copilot, @hackage/sketch-frp-copilot, @hackage/copilot-frp-sketch, Show all…

This is a back-end from Copilot to the Atom DSL. Please see README.mk for more details.