SYSTEM WARNING: 'session_name(): Cannot change session name when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 231

SYSTEM WARNING: 'session_set_cookie_params(): Cannot change session cookie parameters when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 232

mantis:frama-c:frequently_asked_questions [Frama-C]

User Tools

  • Logged in as: anonymous (anonymous)
  • Log Out

Site Tools


mantis:frama-c:frequently_asked_questions

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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)
yakobowski
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://​lists.gforge.inria.fr/​pipermail/​frama-c-discuss/​2008-October/​000623.html From http://​lists.gforge.inria.fr/​pipermail/​frama-c-discuss/​2008-October/​000623.html
mantis/frama-c/frequently_asked_questions.txt ยท Last modified: 2012/05/16 14:39 by yakobowski