--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on May 2015 ---
Hello David, Unfortunatly, there is no version of E-ACSL compatible with Frama-C Sodium. I'd like to wait 1 pending bug fix before releasing. It should arrive in May. Best regards, Julien ________________________________________ De : Frama-c-discuss [frama-c-discuss-bounces at lists.gforge.inria.fr] de la part de David MENTRE [dmentre at linux-france.org] Envoy? : mardi 5 mai 2015 10:03 ? : Frama-C public discussion Objet : [Frama-c-discuss] E-ACSL and Frama-C Sodium Hello, In Frama-C Sodium, is E-ACSL plug-in included or should it be compiled separately? If separately, can version 0.4.1 used with Frama-C Sodium? I plan to make some demo of E-ACSL. ;-) Best regards, david _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss