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:jessie [Frama-C]

User Tools

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

Site Tools


mantis:frama-c:jessie

This is an old revision of the document!


Jessie

This page presents some information about the Jessie plugin of Frama-C.

Known issues

To submit a bug for the tools of the Why platform, visit https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse

  • \sum, \prod, etc. are not supported by Jessie
    See this message from frama-c-discuss.
  • Timeout for provers not working under MS-Windows
    This is a known issue in Why 2.18 and earlier versions. See this fix.
  • Code highlighting in gWhy does not work
    This may happen when processing DOS-encoded files.
    Fix: Convert file to unix encoding (C-x RET f undecided-unix in Emacs).
mantis/frama-c/jessie.1337175096.txt.gz · Last modified: 2012/05/16 15:31 by yakobowski