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] Boron and the Annotations module

  • Subject: [Frama-c-discuss] Boron and the Annotations module
  • From: Pierre-Loic.Garoche at (Pierre-Loïc Garoche)
  • Date: Mon, 10 May 2010 17:01:32 +0200

Hi everybody,

could I get some information about the motivations to add the Project.Computation.t arguments to all functions in the annotations module ?

- What is the difference with the function "Project.on" used on the Annotations functions ?
- How to get the Project.Computation value of a Project ? I only find Ast.self and Annotations.self.

Some hints would be welcomed.

Pierre-Lo?c Garoche
pierre-loic.garoche at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <>