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

[Frama-c-discuss] ACSL documentation



The latter specifies version 1.4 if the ACSL annotation language,
that any tool is free to implement. The former describes the subset
of ACSL 1.4 implemented in Frama-C Be.

-----Original Message-----
From: frama-c-discuss-bounces at lists.gforge.inria.fr on behalf of Hollas Boris (CR/AEY1)
Sent: Tue 10/20/2009 4:00 PM
To: Frama-C public discussion
Subject: [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

_______________________________________________
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