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