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 any 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 (1151 - 1180 / 1180)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 14 15 16 17 18 19 20 21 22 23 24 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  0000215 1 Plug-in > jessieminorassigned (cmarche)2009-08-25Mise en hypothèse de la précondition d'une opération appelée
  00001913   Plug-in > slicingminorclosed (signoles)2009-07-27-slice-print ignored when -ocode is used
  00002015   Plug-in > slicingmajorclosed (Anne)2009-07-24Slicing removes more code than it should
  00001851   Plug-in > jessiemajorassigned (cmarche)2009-07-17Frama-C cannot process properly arrays of structures
  00001884   Plug-in > slicingmajorclosed (Anne)2009-07-15Indicates errors in annotations when should not
  00001781   Plug-in > jessieminorconfirmed (cmarche)2009-07-09type error in generated why file
  00000963   Kernelminorclosed (virgile)2009-07-03"logic set<struct something *> f(...)" throw a syntax error
  00001578   Graphical User Interfaceminorclosed (monate)2009-06-25Order of the functions in gui
  00001171   Kernelmajorclosed (virgile)2009-06-23int -> integer -> real
  00001113   Kernelblockclosed (signoles)2009-06-23Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present.
  00001044   Kernelmajorclosed (virgile)2009-06-23Jessie: static function specification
  0000095    Plug-in > jessieminorclosed (cmarche)2009-06-23"//@ assert i >= CHAR_MIN;" not proven for char
  00000941   Plug-in > jessieminorclosed (cmarche)2009-06-23"assert i >= 0;" not proven for unsigned char
  0000073    Plug-in > jessiecrashclosed (cmarche)2009-06-23A pure predicate in an axiomatic with some "unpure" axioms have some strange results
  00000612   Kernelminorclosed (signoles)2009-06-23frama-c --help
  000004911 Plug-in > jessiemajorclosed (cmarche)2009-06-23Jessie/Gwhy: cpulimit-win.c
  00000464   Plug-in > jessiemajorclosed (cmarche)2009-06-23Jessie/GWhy/Gappa: format file and invalid POs proved valid
  0000041    Plug-in > jessieminorclosed (cmarche)2009-06-23Inability to prove assigns clauses on simple array code
  00000362   Plug-in > jessieminorclosed (virgile)2009-06-23GUI blocked (100% cpu used) when requested to display an assertion
  00000291   Plug-in > jessieminorclosed (cmarche)2009-06-23Lithium fool the tool
  00000281   Plug-in > jessieminorclosed (cmarche)2009-06-23Jessie-gui : call of coqide and --project option
  00001163   Kernelminorclosed (signoles)2009-06-23Make install removes files
  00000921   Plug-in > jessieminorassigned (cmarche)2009-06-19Why error with logic functions returning a pointer
  00000422   Plug-in > jessiefeatureassigned (cmarche)2009-06-17Default invariant should be inferred for loops
  0000031    Plug-in > jessieminoracknowledged (cmarche)2009-06-17Why- error :-jessie-no-regions and assigns does not work
  00001562   Plug-in > jessiemajorclosed2009-06-10Unable to verify pointer dereferencing
  0000105    Plug-in > jessiemajorclosed2009-05-28Jessie: float_P[..] expected instead of real
  0000106    Plug-in > jessiemajorclosed2009-05-28Jessie: memory in memeory set
  0000032    Plug-in > jessieminorassigned (cmarche)2009-04-10Internal error with assign specification on bi-dimensional arrays
  0000038    Plug-in > jessieminorassigned (cmarche)2009-04-10Jessie crashes on simple program without annotations
  [ First Prev  ... 14 15 16 17 18 19 20 21 22 23 24 Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker