Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C Sodium (Released 2015-03-17) View Issues ]
==============================================
- 0001098: [Documentation] Non working example in the documentation (virgile) - closed.
- 0001732: [Documentation > manuals] Erreur dans la documentation pour plugin erreur de type (signoles) - closed.
- 0001731: [Documentation] Erreur dans la documentation pour plugin contradiction sur nom de fichiers (signoles) - closed.
- 0001822: [Documentation > manuals] Manuals are not in the distribution (bobot) - closed.
- 0001979: [Documentation > manuals] Bug in example - plugin documentation (Matthieu Lemerre) - closed.
- 0001782: [Documentation > manuals] wrong link in e-acsl documentation (signoles) - closed.
- 0001784: [Documentation > ACSL] typo in grammar (patrick) - closed.
- 0001636: [Plug-in > E-ACSL] E-ACSL: executes "__store_block()" but never "__delete_block()"! (signoles) - closed.
- 0001837: [Plug-in > E-ACSL] Literal strings can be added multiple times in memory (signoles) - closed.
- 0001688: [Plug-in > wp] CVC4 results are not displayed in the GUI (correnson) - closed.
- 0001788: [Documentation > ACSL] predicate-def and logic-predicate-def (virgile) - closed.
- 0001907: [Plug-in > Eva] Value abort because of Zero-sized location (yakobowski) - closed.
- 0001919: [Graphical User Interface] Segmentation fault when launching frama-c-gui with OCaml 4.02.0 (yakobowski) - closed.
- 0001922: [Plug-in > wp] WP-Plugin crashes due to an internal error (correnson) - closed.
- 0002067: [Plug-in > wp] Frama-C does not work with versions of Why3 newer than 0.83 (bobot) - closed.
- 0001485: [Graphical User Interface] Bullet colors are unreadable for color blind people (guillaume-petiot) - closed.
- 0002020: [Plug-in > pathcrawler] body of atomic cond belonging to an assume reproduced in sequence containing the assume (muriel) - closed.
- 0001276: [Kernel] Capitalized filename in Dynamic.load_module (virgile) - closed.
- 0001768: [Plug-in > slicing] Crah with the option -ulevel (patrick) - closed.
- 0001751: [Plug-in > wp] Frama-C/WP "forgets" a proven assertion (patrick) - closed.
- 0001828: [Plug-in > wp] Frame Validity (patrick) - closed.
- 0001832: [Plug-in > wp] typo in wp output: "interruped"-->"interrupted" (correnson) - closed.
- 0001853: [Kernel] bogus syntax error with doxygen (yakobowski) - closed.
- 0001857: [Plug-in > Eva] Crash on invalid -val-split-return-function option (yakobowski) - closed.
- 0001901: [Kernel] Crash when merging contracts for duplicated functions with different formal parameters names (virgile) - closed.
- 0001908: [Plug-in > Eva] Non terminating call to stncpy (yakobowski) - closed.
- 0001930: [Plug-in > wp] Status of POs: the word "interruped" should be "interrupted" (correnson) - closed.
- 0001670: [Plug-in > wp] WP ignores some goals when 'initialized' is used in hypotheses (correnson) - closed.
- 0001630: [Plug-in > wp] Make identifiers in Coq proofs more similar to those from C code (correnson) - closed.
- 0001647: [Plug-in > wp] compatibility between \null in ACSL and NULL in C in wp (correnson) - closed.
- 0001729: [Kernel] "char const * const *" causes syntax error (virgile) - closed.
- 0001764: [Kernel] Port to OCamlgraph 1.8.5 (bobot) - closed.
- 0001765: [Kernel] Spelling errors in binary (signoles) - closed.
- 0001750: [Plug-in > wp] Frama-C/WP fails to discharge simple bit operation for small integer types (patrick) - closed.
- 0001767: [Plug-in > wp] Problem when arguments are not used in predicates (correnson) - closed.
- 0001776: [Plug-in > wp] Assert erroneously proved valid (correnson) - closed.
- 0001770: [Kernel > configure] Cannot switch to local version if OCamlgraph is already installed (virgile) - closed.
- 0001779: [Plug-in > wp] Crash when using wpo api get_result (virgile) - closed.
- 0001789: [Kernel > ACSL implementation] Crashes when using logic in assigns statement (correnson) - closed.

[39 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker