@hackage cil0.0.1

An interface to CIL and ACSL through Frama-C.

TODO