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 (251 - 300 / 1180)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  00021981   Documentationminorassigned (correnson)2016-06-21typo in output of 'frama-c -wp-help'
  000177110   Documentationminorclosed (correnson)2016-06-21quality of pdf files
  00022041   Documentationminorclosed (signoles)2016-06-21provide "Magnesium" product version in the BTS
  000218311 Documentation > ACSLtrivialclosed (maroneze)2016-06-21doubling of a word
  00021642   Kernel > Makefilefeatureclosed (yakobowski)2016-06-21Relocable buckx
  000215911 Plug-in > wpminorclosed (correnson)2016-06-21alt-ergo: undefined symbol andb
  000215851 Kernel > ACSL implementationminorclosed (virgile)2016-06-21WP crashes on the given function
  00021543   Plug-in > wpminorclosed (correnson)2016-06-21Zombie processes
  0002132    Plug-in > wpminorclosed (correnson)2016-06-21Under windows, many times, Frama-c wp process doesn't kill alt-ergo process before finishing
   000223062 Plug-in > wpfeatureclosed (correnson)2016-06-21missing lower bound of ACSL operator ".." not detected by Magnesium
  00022182   Kernel > ACSL implementationminorclosed (virgile)2016-06-21Specification for sigsetjmp is invalid
  00022172   Kernelminorclosed (virgile)2016-06-21Frama-c accepts assigning formal parameters when a range is used
  000179061 Plug-in > jessiecrashclosed (yakobowski)2016-06-21Crash when running "frama-c -jessie -jessie-atp=gui reduce.c"
  0001179132 Plug-in > wptweakclosed (correnson)2016-06-21Suggest to supply values of global consts to provers
  000220111 Plug-in > wpminorclosed (correnson)2016-06-21Unexpected error (Invalid_argument("Z.shift_left: count argument must be positive"))
  000215531 Plug-in > wpminorclosed (patrick)2016-06-21coq fails to compile Cint because Zbits is not found
  00019685   Plug-in > Evamajorclosed (valentin.perrelle)2016-06-21Values inferred for 32-bit variable do not fit in 32-bit type
  0002214    Plug-in > wpmajorclosed (correnson)2016-06-21Reals are bad encoded for coq
  000220611 Plug-in > Evamajorclosed (yakobowski)2016-06-21Frama-C (Value plug-in) generates nonsensical \pointer_comparable for non-pointer struct field
  00022031   Documentation > ACSLtextclosed (virgile)2016-06-21LoopEntry vs LoopInit
  0002232 1 Plug-in > wpcrashassigned (correnson)2016-06-14Use of very large real constants cause failures in proof generation in WP
  0002229 1 Plug-in > wpminorassigned (correnson)2016-05-31Validation fails when predicate is used with implicit type conversion.
  0002228    Plug-in > wpminorassigned (correnson)2016-05-16Oddities in the modeling of floats and doubles
  000222372 Kernel > Makefiletextassigned (virgile)2016-05-10Frama-C upgrade installation not foolproof
  000222641 Kernelminorassigned (correnson)2016-05-04insertion of "assert true" after a statement influences provability of the statement's contract
  00022252   Kernel > ACSL implementationmajorclosed (yakobowski)2016-04-13\valid(a + (0..9)) vs \valid(a[0..9])
  0002222 1 Plug-in > wpminorassigned (correnson)2016-04-09Make find(1) command POSIX-compliant
  000221911 Plug-in > wpcrashassigned (correnson)2016-03-22Crash with large array initialisation
  000191131 Plug-in > wpminoracknowledged (correnson)2016-03-07WP detect a non-natural loop on a do-while(0) loop
  00022102   Plug-in > pdgcrashclosed (yakobowski)2016-02-25FRama C Nitrogen Nitrogen-20111001
  00022021   Plug-in > wpfeatureclosed (correnson)2016-02-23provide option "-wp-lemma"
  0002211    Plug-in > pdgcrashclosed (yakobowski)2016-02-22FRama C Nitrogen Nitrogen-20111001 crash during pdg construction
  000220544 Plug-in > wpminorconfirmed (correnson)2016-02-04zombie processes (again)
  0002207 1 Plug-in > wpcrashassigned (correnson)2016-02-03WP crashes with \pointer_comparable
  000216181 Kernelminorclosed (yakobowski)2016-02-03redefinition of __STDC_VERSION__
  000209852 Kernel > ACSL implementationmajorclosed (virgile)2016-01-26overloading of predicate fails
  00021198   Kernelminorclosed (yakobowski)2016-01-26"If" statement with only one successor
  000218421 Plug-in > wpfeatureclosed (signoles)2016-01-26memory leak (endless recursion?) caused by erroneous c program
  00021712   Kernel > libcminorclosed (maroneze)2016-01-26redefinition of size_t, time_t, FILE
  00021314   Kernelminorclosed (yakobowski)2016-01-26Error with casted ternary statements
  000193931 Kernel > libcfeatureclosed (maroneze)2016-01-26Specification of the read function
  00004444   Kernel > ACSL implementationminorclosed (virgile)2016-01-26predicate definitions should be of type prop
  00021442   Plug-in > wpcrashclosed (correnson)2016-01-26crash in presence of \result in assigns
  00010222   Documentation > ACSLtextclosed (patrick)2016-01-26suggest to explain semantics of missing loop assigns clause in Acsl manual
  00008765   Plug-in > Evaminorclosed (yakobowski)2016-01-26Widen hints for a variable should not influence the values for other variables
  000204021 Plug-in > wpmajorclosed (correnson)2016-01-26assumes clause and labels
  00020211   Documentation > ACSLminorclosed (patrick)2016-01-26Incorrect grammar for loop-behavior in document
  00015534   Kernel > ACSL implementationminorclosed (yakobowski)2016-01-26Fails to cope with multiple non-contiguous constant array instantiations
  00021411   Plug-in > wpminorclosed (correnson)2016-01-26Incorrect result with X modulo 1
  00021153   Documentation > ACSLminorclosed (patrick)2016-01-26Typos and Grammatical corrections for the ACSL 1.9 manual
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker