--- layout: fc_discuss_archives title: Message 16 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 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