--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on June 2015 ---
Hello, 2015-06-04 12:39 GMT+02:00 Gaurav Tripathi <tripathigaurav.gt at gmail.com>: > > I can't find cil/src/frontc/cabs2cil.mli > It's in the source of Frama-C. The archive is available at http://frama-c.com/download/frama-c-Sodium-20150201.tar.gz Alternatively, you can browse the API documentation at http://frama-c.com/download/frama-c-Sodium-20150201_api.tar.gz Best regards, -- E tutto per oggi, a la prossima volta Virgile