Re: [CIL users] Program annotations

[Gabriel K. <ke...@pp...>]

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 Loop statement.
> Any suggestions?

This is not easily solved without modifying CIL deeply.  You could have a look
at Frama-C, which is based on CIL (although they forked a while ago) and
provides logical annotations that might suit your purpose.

Best regards,
-- 
Gabriel Kerneis