@hackage copilot-cbmc0.22

Copilot interface to a C model-checker.

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.23 Sat, 28 Jan 2012
- 0.22 Sun, 1 Jan 2012

Installation
Custom
In your cabal file:
Dependencies (8)
- base >=4.3 && <5
- bytestring
- directory >=1.1
- process >=1.0
- copilot-c99
- copilot-core
Dependents (2)
@hackage/acme-everything, @hackage/copilot

Depends on CBMC http://www.cprover.org/cbmc/. Generates a driver to prove the Atom and SBV backends generate equivalent code.