@hackage cil0.0.2

An interface to CIL and ACSL through Frama-C.

TODO