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

RE : [Frama-c-discuss] YASE \lambda



Hi,

I will try to clarify the situation:
- ACSL is a language whose specification is given by the document available
  on http://frama-c.cea.fr/acsl.html
- Frama-C in its current state supports only parts of ACSL. These parts
  are documented in the acsl-implementation.pdf documentation.
  Each acsl-implementation.pdf is specific to the version of Frama-C 
  with which it is distributed. The semantics of the revision bars and
  colors is given in the preamble of the document.
- The next release will come with a Changelog explaining the increments.
  At this time ACSL support of Frama-C is not yet freezed.
- Plugins shall provide documentation describing what part of ACSL
  they can understand.

Hope this helps,
Benjamin Monate