name: cil version: 0.0.2 category: Language synopsis: An interface to CIL and ACSL through Frama-C. description: TODO author: Tom Hawkins maintainer: Tom Hawkins license: BSD3 license-file: LICENSE homepage: http://tomahawkins.org build-type: Simple cabal-version: >= 1.6 extra-source-files: Makefile cil_types.mli GenCIL.hs library build-depends: base >= 4.0 && < 5.0, process >= 1.0.1 && < 1.1, polyparse >= 1.4 exposed-modules: Language.CIL extensions: GADTs, EmptyDataDecls if impl(ghc > 6.8) ghc-options: -fwarn-tabs ghc-options: -W source-repository head type: git location: git://github.com/tomahawkins/cil.git