@hackage cil0.0.2

An interface to CIL and ACSL through Frama-C.

Categories
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.1.1 Wed, 10 Nov 2010
- 0.1.0 Mon, 8 Nov 2010
- 0.0.2 Thu, 12 Aug 2010
- 0.0.1 Mon, 17 May 2010
- 0.0.0 Mon, 10 May 2010

Installation
In your cabal file:
Dependencies (3)
- base >=4.0 && <5.0
- polyparse >=1.4
- process >=1.0.1 && <1.1
Dependents (1)
@hackage/acme-everything

TODO