--- layout: fc_discuss_archives title: Message 49 from Frama-C-discuss on October 2009 ---
So, does that mean that everything that is described in the former document is actually implemented in Frama-C Beryllium? Von: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] Im Auftrag von CUOQ Pascal Gesendet: Dienstag, 20. Oktober 2009 16:07 An: Frama-C public discussion; Frama-C public discussion Betreff: Re: [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 _______________________________________________ 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