--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on November 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL-Documentation



Hello,

I have read the appendix, but it is my observation, that I don't want to 
spent too much time with searching, and would prefer to concentrate on the 
new stuff while reading. Usually I need to refresh on the previous sections, 
to set the new things in the proper context. Therefore I start at the 
beginning.

As I said, it is just an observation.

Sincerely

Christoph

----- Original Message ----- 
From: "Virgile Prevosto" <virgile.prevosto@cea.fr>
To: <frama-c-discuss@lists.gforge.inria.fr>
Sent: Tuesday, November 04, 2008 8:59 AM
Subject: Re: [Frama-c-discuss] ACSL-Documentation


Hello,

Le mar 04 nov 2008 08:02:53 CET,
"Christoph Weber" <Christoph.Weber@first.fraunhofer.de> a ?crit :

> I noticed the difference between the predecessor and the current one but 
> nevertheless, I'm not sure whether something has changed or not. I would 
> be pleased if, the future releases would tell me explicitly what is new 
> and what has changed, so that I can concentrate my efforts on this 
> sections, otherwise I would get lost.

The manual has an appendix "Changes" which aims at doing exactly that
(although I have to admit that the part on 'axiomatic' is missing from
the changes for version 1.4)

Sincerely yours,
-- 
E tutto per oggi, a la prossima volta.
Virgile


_______________________________________________
Frama-c-discuss mailing list
Frama-c-discuss@lists.gforge.inria.fr
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss