--- layout: fc_discuss_archives title: Message 98 from Frama-C-discuss on January 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] two-dimensional array requires clause



Hello Dragan,

Le 28/01/2014 13:08, Dragan a ?crit :
> Can you please point me on latest ACSL detailed description document ?

"ACSL 1.7 (Fluorine implementation)" directly accessible from Frama-C's 
download page: http://frama-c.com/download.html

Best regards,
david