Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL Parsing


  • Subject: [Frama-c-discuss] ACSL Parsing
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
  • Date: Wed, 07 Dec 2011 16:20:26 +0100
  • In-reply-to: <4EDF79D1.9080301@cea.fr>
  • References: <000901ccb0fb$6411f4c0$2c35de40$@informatik.uni-freiburg.de> <000701ccb10f$38f61960$aae24c20$@informatik.uni-freiburg.de> <4EDF7538.8080701@inria.fr> <4EDF79D1.9080301@cea.fr>

On Wed, 2011-12-07 at 15:36 +0100, Julien Signoles wrote:

> To answer to one of the primary questions, the C+ACSL Frama-C's AST is 
> fully documented in file cil/src/cil_types.mli which is available in the 
> last open-source release (http://frama-c.com/download.html).

There is a Cil documentation at http://www.eecs.berkeley.edu/~necula/cil/, including a documentation of the visitor. Is this document useful to understand Frama-C's AST?


-- 
Best regards,
Boris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111207/9023779e/attachment-0001.htm>