User Tools

  • Logged in as: anonymous (anonymous)
  • Logout

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

mantis:frama-c:frequently_asked_questions [2012/05/16 14:37]
yakobowski FAQ may be outdated
mantis:frama-c:frequently_asked_questions [2012/05/16 14:39] (current)
Line 387: Line 387:
 @*/ @*/
 </​code>​ </​code>​
-Note that in the current version of Frama-C ​separation of pointers into different regions is automatic.+Note that in Jessie, ​separation of pointers into different regions is automatic.
 From http://​​pipermail/​frama-c-discuss/​2008-October/​000623.html From http://​​pipermail/​frama-c-discuss/​2008-October/​000623.html
mantis/frama-c/frequently_asked_questions.txt ยท Last modified: 2012/05/16 14:39 by yakobowski