@hackage cil0.0.0

An interface to CIL and ACSL through Frama-C.

TODO