--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on October 2009 ---
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