I recently understood that Frama-C has modified the CIL codebase for its own purposes. So in fact this should really be a wishlist item to see the original CIL codebase packaged, not Frama-C's CIL.
--
Guillaume Yziquel
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/20110115213202.GV4195@localhost
