@hackage copilot-sbv0.4

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 >=0.9.21
Dependents (3)
@hackage/copilot-cbmc, @hackage/acme-everything, @hackage/copilot

Blah blah blah...