--- layout: fc_discuss_archives title: Message 9 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,

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