--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL documentation



Hi,

There are two documents on ACSL 1.4 that are available from the Frama-C web site:
- ACSL: ANSI/ISO C Specification Language Version 1.4 - Frama-C Beryllium implementation
- ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.4, October 29, 2008)

What is the difference between the two?

Regards,
Boris