Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C Carbon-20101202-beta2 (Released 2010-12-17) View Issues ]
=============================================================
- 0000299: [Plug-in > jessie] Frama-C stops with unexpected failure (Ref. "norm.ml:1105:8") (cmarche) - closed.
- 0000404: [Plug-in > jessie] Jessie translation unexpected failure (cmarche) - closed.
- 0000639: [Plug-in > wp] Carbon beta coqide: need write rights to /usr/local/share/frama-c (correnson) - closed.
- 0000656: [Plug-in > jessie] crash with wrong commandline option (cmarche) - closed.
- 0000033: [Plug-in > jessie] Launching several instances of the prover in parallel from the GUI? (cmarche) - closed.
- 0000240: [Plug-in > jessie] Problems with solver configuration (cmarche) - closed.
- 0000363: [Plug-in > jessie] Plugin jessie aborted because of an internal error. (cmarche) - closed.
- 0000509: [Plug-in > jessie] Unexpected exception if no input file (cmarche) - closed.
- 0000523: [Plug-in > jessie] struct-type expression in loop-assigns causes crash (cmarche) - closed.
- 0000530: [Plug-in > jessie] crash (cmarche) - closed.
- 0000434: [Plug-in > jessie] assertion at line 2772 of jc/jc_typing.ml fails (cmarche) - closed.
- 0000427: [Plug-in > jessie] Jessie crashes on \old(*ptr) (cmarche) - closed.
- 0000426: [Plug-in > jessie] Jessie internal error (cmarche) - closed.
- 0000537: [Plug-in > jessie] Predicate Sorted causes crash (norm.ml:1524:10) (cmarche) - closed.
- 0000476: [Plug-in > jessie] Partial support of tset leads to assert failure (cmarche) - closed.
- 0000500: [Plug-in > jessie] Uncaught exception in jc/jc_effect.ml caused by union type (cmarche) - closed.

[16 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker