--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] E-ACSL and Frama-C Sodium



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