On Wed, May 30, 2012 at 11:52:58PM -0500, Roberto Lublinerman wrote:
> I have been experimenting with cil for a while and I would like your
> opinion on what is the best way to have source code annotations.
> What I need is to attach annotations to particular program
> statements, in particular the
Hi,
These kind of transformations of Cil are quite invasive. We have added support
for ACSL annotations in Frama-C which is based on Cil. You can download the
latest version from Frama-c.com and have a look in cil/src/* to understand how
we did it.
Regards,
Benjamin Monate
CEA LIST
Head of Sof
Hi all,
I have been experimenting with cil for a while and I would like your
opinion on what is the best way to have source code annotations. What I
need is to attach annotations to particular program statements, in
particular the Loop statement.
I know that you can use #pragma at the top le
