@hackage copilot-sbv0.6

A compiler for CoPilot targeting SBV.

Categories
- Systems Programming
License
BSD-3-Clause
Maintainer
leepike@galois.com
Links
Versions
- 2.2.1 Wed, 12 Jul 2017
- 2.2.0 Fri, 23 Oct 2015
- 2.1.2 Sat, 3 Jan 2015
- 2.1.1 Mon, 25 Feb 2013
- 0.6 Tue, 19 Jun 2012
- 0.5 Wed, 15 Feb 2012

Installation
In your cabal file:
Dependencies (6)
- base >=4.3 && <5
- containers >=0.4
- filepath >=1.1
- copilot-core
- pretty >=1
- sbv >=1.0 && <=1.3
Dependents (3)
@hackage/copilot-cbmc, @hackage/acme-everything, @hackage/copilot

The Copilot back-end targeting SBV http://hackage.haskell.org/package/sbv.

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 copilot-sbv0.6

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (6)

Dependents (3)