Frama-C Bug Tracking System

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status: Product Version: Fixed in Version: Target Version: Priority:
any none any Frama-C Sodium any any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any No 6 No any
Platform: OS: OS Version: Tags:
any any any
Note By: any Sort by: Updated Descending  
Match Type: All Conditions  
- Search  Advanced Filters ]

Viewing Issues (1 - 40 / 40)  Print Reports ]  CSV Export ]  Excel Export ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  00010984   Documentationminorclosed (virgile)2016-08-31Non working example in the documentation
  00017322   Documentation > manualstextclosed (signoles)2016-06-21Erreur dans la documentation pour plugin erreur de type
  00017314   Documentationtextclosed (signoles)2016-06-21Erreur dans la documentation pour plugin contradiction sur nom de fichiers
  00018223   Documentation > manualsminorclosed (bobot)2016-06-21Manuals are not in the distribution
  00019792   Documentation > manualsminorclosed (Matthieu Lemerre)2016-06-21Bug in example - plugin documentation
  00017821   Documentation > manualstrivialclosed (signoles)2016-06-21wrong link in e-acsl documentation
  00017841   Documentation > ACSLminorclosed (patrick)2015-09-09typo in grammar
  000212811 Plug-in > wpminorclosed (virgile)2015-06-08*i == *j cannot be proven from i == j
  00016363   Plug-in > E-ACSLmajorclosed (signoles)2015-06-08E-ACSL: executes "__store_block()" but never "__delete_block()"!
  000183751 Plug-in > E-ACSLminorclosed (signoles)2015-06-08Literal strings can be added multiple times in memory
  000168832 Plug-in > wpminorclosed (correnson)2015-03-17CVC4 results are not displayed in the GUI
  00017881   Documentation > ACSLminorclosed (virgile)2015-03-17predicate-def and logic-predicate-def
  000190741 Plug-in > Evaminorclosed (yakobowski)2015-03-17Value abort because of Zero-sized location
  00019195   Graphical User Interfacecrashclosed (yakobowski)2015-03-17Segmentation fault when launching frama-c-gui with OCaml 4.02.0
  000192221 Plug-in > wpcrashclosed (correnson)2015-03-17WP-Plugin crashes due to an internal error
  00020671   Plug-in > wpminorclosed (bobot)2015-03-17Frama-C does not work with versions of Why3 newer than 0.83
  00014855   Graphical User Interfacefeatureclosed (guillaume-petiot)2015-03-17Bullet colors are unreadable for color blind people
  00020203   Plug-in > pathcrawlermajorclosed (muriel)2015-03-17body of atomic cond belonging to an assume reproduced in sequence containing the assume
  00012761   Kernelmajorclosed (virgile)2015-03-17Capitalized filename in Dynamic.load_module
  00017685   Plug-in > slicingcrashclosed (patrick)2015-03-17Crah with the option -ulevel
  000175151 Plug-in > wpmajorclosed (patrick)2015-03-17Frama-C/WP "forgets" a proven assertion
  00018322   Plug-in > wptrivialclosed (correnson)2015-03-17typo in wp output: "interruped"-->"interrupted"
  000182821 Plug-in > wpminorclosed (patrick)2015-03-17Frame Validity
  00018571   Plug-in > Evaminorclosed (yakobowski)2015-03-17Crash on invalid -val-split-return-function option
  00018534   Kernelfeatureclosed (yakobowski)2015-03-17bogus syntax error with doxygen
  000190841 Plug-in > Evaminorclosed (yakobowski)2015-03-17Non terminating call to stncpy
  00019012   Kernelcrashclosed (virgile)2015-03-17Crash when merging contracts for duplicated functions with different formal parameters names
  00019301   Plug-in > wptextclosed (correnson)2015-03-17Status of POs: the word "interruped" should be "interrupted"
  00016701   Plug-in > wpminorclosed (correnson)2015-03-17WP ignores some goals when 'initialized' is used in hypotheses
  00016471   Plug-in > wpminorclosed (correnson)2015-03-17compatibility between \null in ACSL and NULL in C in wp
  00016304   Plug-in > wpminorclosed (correnson)2015-03-17Make identifiers in Coq proofs more similar to those from C code
  000172951 Kernelminorclosed (virgile)2015-03-17"char const * const *" causes syntax error
  000176511 Kernelminorclosed (signoles)2015-03-17Spelling errors in binary
  000176431 Kernelminorclosed (bobot)2015-03-17Port to OCamlgraph 1.8.5
  000175031 Plug-in > wpminorclosed (patrick)2015-03-17Frama-C/WP fails to discharge simple bit operation for small integer types
  00017764   Plug-in > wpmajorclosed (correnson)2015-03-17Assert erroneously proved valid
  000177021 Kernel > configureminorclosed (virgile)2015-03-17Cannot switch to local version if OCamlgraph is already installed
  00017671   Plug-in > wpminorclosed (correnson)2015-03-17Problem when arguments are not used in predicates
  00017796   Plug-in > wpcrashclosed (virgile)2015-03-17Crash when using wpo api get_result
  000178931 Kernel > ACSL implementationcrashclosed (correnson)2015-03-17Crashes when using logic in assigns statement


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker