|
Viewing Issues (1 - 50 / 281)
[ Print Reports ] [ CSV Export ] [ Excel Export ]
[ First Prev 1 2 3 4 5 6 Next Last ]
|
| | | P | ID | # |  |
Category | Severity | Status | Updated | Summary |
|
| | |  | 0002486 | | 1 |
Graphical User Interface | major | assigned (maroneze) | 2019-11-16 | Left pan (file tree and plugin views) inaccessible upon resize in frama-c-gui |
| | |  | 0002485 | | 1 |
Plug-in > wp | minor | assigned (correnson) | 2019-11-08 | -wp-out missing output for Why3 provers in Frama-C 20 beta |
| | | | 0002484 | | |
Plug-in > wp | minor | assigned (correnson) | 2019-11-08 | alt-ergo support in Frama-C 20 beta |
| | | | 0002483 | | 1 |
Plug-in > wp | minor | assigned (correnson) | 2019-11-08 | Eprover in Frama-C 20 beta |
| | | | 0002482 | 2 | 1 |
Plug-in > wp | minor | resolved (correnson) | 2019-10-22 | WP warning not clear |
| | | | 0002330 | 1 | 1 |
Plug-in > wp | minor | resolved (correnson) | 2019-10-17 | known, but inferrable, yet not inferred, property not given as precodition to provers |
| | | | 0001484 | 1 | 1 |
Plug-in > wp | minor | resolved (correnson) | 2019-10-17 | ill-typed alt-ergo proof obligation |
| | | | 0002371 | 2 | 1 |
Plug-in > wp | feature | resolved (correnson) | 2019-10-17 | suggest to provide results of commandl-line "-wp-prop" evaluation in a file in the wp-out directory |
| | | | 0002394 | | 1 |
Plug-in > wp | major | resolved (correnson) | 2019-10-17 | conditional input annotations result in why3 type errors |
| | | | 0002404 | 3 | 1 |
Plug-in > wp | minor | acknowledged (correnson) | 2019-10-17 | Shape of VC depends on selection of properties |
| | | | 0002389 | 17 | 2 |
Plug-in > wp | crash | resolved (correnson) | 2019-10-17 | Failure to detect qed libraries when running wp |
| | | | 0002427 | 5 | 1 |
Plug-in > wp | minor | acknowledged (correnson) | 2019-10-17 | Prove of \false |
| | | | 0002420 | | 1 |
Plug-in > wp | crash | acknowledged (correnson) | 2019-10-17 | Wp crashes on a recursive function |
| | | | 0002338 | 9 | 3 |
Plug-in > wp | minor | resolved (correnson) | 2019-10-17 | \false provable from recursive logic definition |
| | |  | 0002464 | 7 | |
Opam | major | resolved (correnson) | 2019-10-17 | Potassium does not install on the given Mac version from opam |
| | | | 0001806 | 1 | |
Plug-in > wp | minor | resolved (correnson) | 2019-10-17 | Error in coq code generated by wp |
| | | | 0002471 | 3 | 1 |
Plug-in > wp | major | resolved (correnson) | 2019-10-17 | frama-c/wp generates invalid why3 |
| | | | 0002480 | 2 | |
Plug-in > clang | block | confirmed (virgile) | 2019-10-06 | Syntax error in reorder_defs.ml after running make |
| | | | 0002469 | 1 | |
Documentation > website | minor | resolved (virgile) | 2019-09-20 | wrong test path given in Compiling from source - Quick Start" |
| | | | 0002474 | 3 | |
Documentation > website | minor | assigned (bobot) | 2019-09-18 | Can't view publications on the wiki |
| | | | 0002378 | 11 | 5 |
ptests | minor | resolved (maroneze) | 2019-09-12 | Bytecode only compilation fails when linking to stdlib |
| | | | 0002466 | 3 | |
Opam | block | resolved (maroneze) | 2019-08-22 | Can't build from source using opam |
| | | | 0002468 | 11 | 3 |
Opam | major | resolved (maroneze) | 2019-08-21 | opam fails to install frama-c |
| | | | 0002200 | 3 | 1 |
Documentation > ACSL | text | resolved (patrick) | 2019-07-17 | explicitly mention operator precedences when referring to Fig.2.1 "Grammar of terms" in the acsl-implementation manual |
| | | | 0002450 | 2 | |
Documentation > manuals | minor | resolved (patrick) | 2019-07-17 | formatting problem in acsl-implementation-18.0-Argon.pdf |
| | |  | 0002418 | 1 | |
Documentation > manuals | trivial | resolved (signoles) | 2019-07-16 | Outdated -rte-all option in RTE manual |
| | | | 0002463 | 1 | |
Plug-in > clang | major | assigned (virgile) | 2019-07-08 | Error in frama-clang make file |
| | | | 0002462 | 2 | |
Plug-in > clang | major | assigned (virgile) | 2019-07-05 | frama-clang failed to install |
| | | | 0002457 | 3 | |
Kernel > configure | minor | assigned (virgile) | 2019-06-20 | configure does not detect gtksourceview due to wrong path |
| | | | 0002458 | 1 | |
Kernel > configure | minor | assigned (virgile) | 2019-06-20 | build failure due to mangled variable assignment in Makefile |
| | | | 0002456 | 1 | |
Kernel > Makefile | minor | assigned (bobot) | 2019-06-18 | Does not build with OCaml 4.08.0 |
| | | | 0002449 | 1 | |
Documentation > website | trivial | confirmed (virgile) | 2019-06-10 | invalid links to "ACSL by Example" |
| | | | 0002448 | 1 | |
Documentation > website | minor | assigned (bobot) | 2019-06-04 | frama-c installation needs dune > 1.5 package installed |
| | | | 0002435 | | 1 |
Kernel | major | assigned (virgile) | 2019-05-08 | kernel generates UnspecifiedSequence when 2 following ternary operators |
| | | | 0002327 | 1 | |
Plug-in > E-ACSL | minor | assigned (signoles) | 2019-01-25 | Failure to detect overflows into an allocated area within a struct |
| | | | 0002194 | | |
Plug-in > E-ACSL | minor | assigned (signoles) | 2019-01-25 | Failure to record global variable with initialiser |
| | | | 0002310 | | 1 |
Plug-in > E-ACSL | minor | assigned (signoles) | 2019-01-25 | Incorrect handling of \initialized when initialized struct is passed to a function by value |
| | | | 0002422 | 2 | 1 |
Plug-in > E-ACSL | crash | confirmed (signoles) | 2019-01-23 | Can't use e-acsl on a dynamic library containing all the instrumentations |
| | | | 0002412 | 10 | 1 |
Plug-in > E-ACSL | crash | confirmed (signoles) | 2018-12-17 | E-ACSL crash with RTE generated assertion with booleans |
| | | | 0002419 | | |
Plug-in > RTE | minor | confirmed (signoles) | 2018-12-17 | Missing cast in code generated by RTE |
| | | | 0002417 | 4 | 1 |
Plug-in > E-ACSL | major | confirmed (signoles) | 2018-12-12 | Invalid label with spaghetti code and E-ACSL full mmodel |
| | | | 0002416 | 3 | |
Plug-in > E-ACSL | minor | acknowledged (signoles) | 2018-12-11 | missing E-ACSL code, control flow graph, function pointer |
| | | | 0002413 | 2 | 1 |
Plug-in > E-ACSL | major | confirmed (signoles) | 2018-12-06 | missing E-ACSL code when ignoring asm annotation |
| | | | 0001648 | | |
Kernel | major | assigned (maroneze) | 2018-11-30 | Wrong specification for standard library function memmove |
| | | | 0002402 | 3 | |
Plug-in > clang | block | assigned (virgile) | 2018-10-03 | frama-clang fails to compile |
| | | | 0002395 | 2 | |
Plug-in > clang | minor | assigned (virgile) | 2018-09-07 | const fields in constructors |
| | | | 0002397 | 1 | |
Kernel > ACSL implementation | feature | assigned (virgile) | 2018-08-27 | Model Variables in Frama C |
| | | | 0002396 | | |
Plug-in > clang | minor | assigned (virgile) | 2018-08-24 | cast error with reference fields |
| | | | 0002376 | | 1 |
Plug-in > jessie | crash | assigned (cmarche) | 2018-05-29 | frama-c/jessie crashes with Unexpected error (Cil.SizeOfError("Undefined sizeof on a function.", _)). |
| | | | 0002370 | | |
Kernel > ACSL implementation | feature | assigned (virgile) | 2018-03-08 | Expose ACSL annotations through host language pragmas |
|
[ First Prev 1 2 3 4 5 6 Next Last ]
|
