--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on May 2015 ---
Hello Julien, Le 05/05/2015 10:12, SIGNOLES Julien a ?crit : > 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. So bad! I have a temporary work around where I can demonstrate E-ACSL. But I would like to build an open source Frama-C including E-ACSL, so I'll monitor your announcement. ;-) Best regards, david