|
Viewing Issues (201 - 250 / 294)
[ Print Reports ] [ CSV Export ] [ Excel Export ]
[ First Prev 1 2 3 4 5 6 Next Last ]
|
| | | P | ID | # |  |
Category | Severity | Status | Updated | Summary |
|
| | |  | 0001450 | 1 | |
Kernel | minor | confirmed (signoles) | 2013-09-26 | journalization of -print option |
| | | | 0001430 | 3 | |
Plug-in > report | minor | assigned (correnson) | 2013-05-31 | RTE are not in 'report' |
| | | | 0001428 | 1 | |
Plug-in > wp | minor | assigned (correnson) | 2013-05-24 | Range verification in 2D-array fails |
| | | | 0001418 | | |
Kernel > configure | major | assigned (virgile) | 2013-05-09 | Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi") |
| | | | 0001417 | | |
Plug-in > jessie | minor | assigned (cmarche) | 2013-05-08 | Config file 'C:\cygwin\home\xiewenlong\.gwhyrc' does not exists, |
| | | | 0001389 | | |
Plug-in > wp | feature | assigned (correnson) | 2013-04-16 | Translation of tsets |
| | | | 0000765 | 5 | 1 |
Plug-in > wp | minor | assigned (correnson) | 2013-03-09 | Post-state of statement spec |
| | | | 0000852 | 4 | 1 |
Kernel | minor | assigned (virgile) | 2013-01-25 | non-constant size of 2-dim array causes error in recursive procedure |
| | | | 0001332 | | |
Plug-in > wp | crash | assigned (correnson) | 2012-12-15 | [wp] failure: not an integer (Blob) |
| | | | 0001327 | | |
Kernel | minor | assigned (virgile) | 2012-12-12 | Code annotation in the middle of labels |
| | | | 0001291 | | |
Kernel > ACSL implementation | minor | acknowledged (virgile) | 2012-10-31 | Typing rejects polymorphic logic constants |
| | | | 0001288 | | 2 |
Plug-in > aoraï | trivial | acknowledged (virgile) | 2012-10-26 | .ya filename missing in error report |
| | | | 0001280 | | |
Plug-in > wp | minor | assigned (correnson) | 2012-10-13 | Printing of function types causes a stack overflow |
| | | | 0001279 | | 1 |
Plug-in > wp | crash | assigned (correnson) | 2012-10-13 | Multiple branches to a label/loop entries crashes wp |
| | | | 0000379 | 2 | 1 |
Plug-in > jessie | crash | assigned (cmarche) | 2012-09-21 | \separated |
| | | | 0001186 | 4 | 1 |
Plug-in > wp | minor | assigned (correnson) | 2012-06-15 | ltl does not accept state charts with transitions invoking dynamic function pointers |
| | | | 0000658 | 1 | 1 |
Plug-in > jessie | feature | assigned (cmarche) | 2012-06-10 | loop assigns crash |
| | | | 0000653 | 1 | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2012-06-10 | jessie's Unexpected failure |
| | | | 0001010 | | |
Plug-in > wp | feature | assigned (correnson) | 2012-06-09 | warn on stderr about current restrictions, and list them in WP manual |
| | | | 0001190 | 1 | |
Kernel | minor | assigned (virgile) | 2012-06-09 | __builtin_alloca |
| | | | 0001161 | 1 | 1 |
Plug-in > jessie | feature | assigned (cmarche) | 2012-04-17 | error in wp_behav.c |
| | | | 0001154 | 4 | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2012-04-17 | erroneous left value (structure field) |
| | | | 0001093 | | 1 |
Plug-in > jessie | crash | assigned (cmarche) | 2012-02-14 | Passing multi-dimensional arrays via reference fails |
| | | | 0000967 | 2 | |
Kernel > ACSL implementation | minor | assigned (virgile) | 2012-02-09 | unbound function \length in annotation |
| | | | 0000252 | | |
Plug-in > jessie | feature | assigned (virgile) | 2012-01-21 | type invariants |
| | | | 0001062 | | |
Plug-in > jessie | major | assigned (cmarche) | 2012-01-12 | Jessie incorrectly handles initialization of static array with {} initialization |
| | | | 0001058 | | |
Plug-in > jessie | minor | assigned (cmarche) | 2012-01-04 | Jessie incorrectly handles labels |
| | | | 0001051 | 1 | 2 |
Plug-in > wp | text | assigned (correnson) | 2011-12-16 | suspicious axiomatization of included,zrange,zunion in .sx file |
| | | | 0001047 | | 1 |
Plug-in > jessie | major | assigned (cmarche) | 2011-12-12 | labels defined before loops and used after loops are not correctly translated in jessie |
| | | | 0001033 | | |
Plug-in > jessie | feature | assigned (cmarche) | 2011-11-29 | Feature request (Jessie): \fresh (and \separated) |
| | | | 0001032 | | 2 |
Plug-in > jessie | feature | assigned (cmarche) | 2011-11-29 | assigns nothing is not possible to proof, if malloc is not in a same function |
| | | | 0001008 | 2 | 2 |
Plug-in > jessie | feature | assigned (cmarche) | 2011-11-16 | suggest to supply lower-bound for constant_too_large_2147483647 to Simplify |
| | | | 0001007 | 4 | 1 |
Kernel > ACSL implementation | major | assigned (virgile) | 2011-11-10 | wrong proof obligation generated for loop initialization [under why-2.30] |
| | | | 0001011 | | |
Plug-in > wp | feature | assigned (correnson) | 2011-11-04 | suggest to provide FILE,LINE references for proof obligations in WP cmd-line output |
| | | | 0000980 | | |
Kernel > ACSL implementation | feature | assigned (virgile) | 2011-10-06 | Functional expression in assigns properties |
| | | | 0000923 | | 1 |
Plug-in > jessie | major | assigned (cmarche) | 2011-08-12 | Jessie Plugin returns an error. Code with struct-statement, cannot be compiled. |
| | | | 0000922 | 1 | 1 |
Plug-in > jessie | major | assigned (cmarche) | 2011-08-12 | Jessie Plugin returns an error. Code with struct-statement, cannot be compiled in a function by call by value. |
| | | | 0000846 | | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2011-05-30 | array access in "decreases"-clause causes "Unexpected internal region in logic" |
| | | | 0000834 | | |
Plug-in > jessie | minor | assigned (cmarche) | 2011-05-24 | Computation of regions for axioms in axiomatics |
| | | | 0000829 | 3 | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2011-05-24 | alias between int* and uint* handled incorrectly |
| | | | 0000813 | | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2011-05-09 | struct dereferencing causes uncaught exception |
| | | | 0000811 | 2 | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2011-05-06 | double struct dereferencing causes unbound variable error |
| | | | 0000734 | | |
Kernel | tweak | assigned (correnson) | 2011-02-21 | Command.command_generic may raise Sys_error |
| | | | 0000713 | | |
Kernel > ACSL implementation | feature | assigned (virgile) | 2011-02-10 | Any number of ";" should be allowed in specifications |
| | | | 0000712 | | |
Plug-in > jessie | major | assigned (cmarche) | 2011-02-10 | Validity of valid pointer to struct member cannot be verified |
| | | | 0000667 | 3 | 2 |
Plug-in > jessie | crash | assigned (cmarche) | 2011-01-25 | /usr/share/frama-c/libc/stdio.h:107:[jessie] failure: Unexpected exception. |
| | | | 0000676 | | |
Kernel | minor | assigned (virgile) | 2011-01-18 | Strange AST produced with unspecified side-effects involve function calls in expressions |
| | | | 0000670 | | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2011-01-12 | In certain circumstances Jessie cannot analyse files that it generates |
| | | | 0000654 | | |
Plug-in > jessie | minor | assigned (cmarche) | 2010-12-25 | Incorrect translation (Unbound variable) |
| | | | 0000652 | | 1 |
Plug-in > jessie | minor | assigned (cmarche) | 2010-12-24 | pointer arithmetic |
|
[ First Prev 1 2 3 4 5 6 Next Last ]
|
