The latest version of cil is 0.1.1-0.
cil
Version 0.0.2 revision 0 uploaded by TomHawkins.
Package meta
- Synopsis
- An interface to CIL and ACSL through Frama-C.
- Description
TODO
- Author
- Tom Hawkins <tomahawkins@gmail.com>
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- http://tomahawkins.org
- Maintainer
- Tom Hawkins <tomahawkins@gmail.com>
- Package URL
- n/a
- Stability
- n/a