|
Viewing Issues (1 - 50 / 291)
[ Print Reports ] [ CSV Export ] [ Excel Export ]
[ First Prev 1 2 3 4 5 6 Next Last ]
|
| | | P | ID | # |  |
Category | Severity | Status | Updated | Summary |
|
| | |  | 0002450 | | |
Documentation > manuals | minor | assigned (patrick) | 2019-07-16 | 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 |
| | |  | 0002464 | 5 | |
Opam | major | assigned (correnson) | 2019-07-12 | Potassium does not install on the given Mac version from opam |
| | | | 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 |
| | | | 0002459 | 1 | |
Plug-in > wp | block | assigned (correnson) | 2019-07-02 | floating-point support is somwhat incomplete |
| | | | 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 |
| | | | 0002455 | | 1 |
Plug-in > wp | minor | assigned (correnson) | 2019-06-17 | malloc breaks reasoning about assigns |
| | | | 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 |
| | | | 0002438 | | |
Documentation > ACSL | feature | assigned (patrick) | 2019-05-22 | grammar and implementation disagree on predicate/logic declarations |
| | | | 0002435 | | 1 |
Kernel | major | assigned (virgile) | 2019-05-08 | kernel generates UnspecifiedSequence when 2 following ternary operators |
| | | | 0002338 | 7 | 3 |
Plug-in > wp | minor | assigned (correnson) | 2019-03-11 | \false provable from recursive logic definition |
| | | | 0001806 | | |
Plug-in > wp | minor | assigned (correnson) | 2019-03-08 | Error in coq code generated by wp |
| | | | 0002378 | 1 | 2 |
ptests | minor | assigned (bobot) | 2019-02-25 | Bytecode only compilation fails when linking to stdlib |
| | | | 0002427 | 5 | 1 |
Plug-in > wp | minor | assigned (correnson) | 2019-02-18 | Prove of \false |
| | | | 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 |
| | | | 0002420 | | 1 |
Plug-in > wp | crash | assigned (correnson) | 2018-12-28 | Wp crashes on a recursive function |
| | | | 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 |
| | | | 0002414 | | |
Plug-in > wp | major | assigned (correnson) | 2018-12-07 | Mk_addr not defined in Memory.v (coqwp via why3ide) |
| | | | 0002413 | 2 | 1 |
Plug-in > E-ACSL | major | confirmed (signoles) | 2018-12-06 | missing E-ACSL code when ignoring asm annotation |
| | | | 0002389 | 16 | 2 |
Plug-in > wp | crash | assigned (correnson) | 2018-12-06 | Failure to detect qed libraries when running wp |
| | | | 0001648 | | |
Kernel | major | assigned (maroneze) | 2018-11-30 | Wrong specification for standard library function memmove |
| | | | 0002409 | 4 | 1 |
Plug-in > wp | crash | confirmed (correnson) | 2018-11-30 | crash |
| | | | 0002407 | 1 | 1 |
Plug-in > wp | major | assigned (correnson) | 2018-10-31 | contracts about memory mapped I/O through volatile memory locations |
| | | | 0002404 | 3 | 1 |
Plug-in > wp | minor | assigned (correnson) | 2018-10-09 | Shape of VC depends on selection of properties |
| | | | 0002402 | 3 | |
Plug-in > clang | block | assigned (virgile) | 2018-10-03 | frama-clang fails to compile |
| | | | 0002401 | 4 | 2 |
Plug-in > wp | major | acknowledged (correnson) | 2018-10-02 | Newer releases of FramaC produce apparent WP plug-in bug |
| | | | 0002395 | 2 | |
Plug-in > clang | minor | assigned (virgile) | 2018-09-07 | const fields in constructors |
| | | | 0002290 | 2 | 1 |
Plug-in > wp | minor | assigned (correnson) | 2018-09-06 | incomplete loading of saved state when using WP? |
| | | | 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 |
| | | | 0002394 | | 1 |
Plug-in > wp | major | assigned (correnson) | 2018-08-23 | conditional input annotations result in why3 type errors |
| | | | 0002390 | 8 | 1 |
Plug-in > wp | minor | feedback (correnson) | 2018-07-25 | dubious discharge of postcondition |
| | | | 0002385 | 1 | 1 |
Plug-in > wp | crash | assigned (correnson) | 2018-07-06 | Auto-generated assigns clause for a void* argument crashes wp |
| | | | 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.", _)). |
| | | | 0002371 | 1 | 1 |
Plug-in > wp | feature | assigned (correnson) | 2018-03-26 | suggest to provide results of commandl-line "-wp-prop" evaluation in a file in the wp-out directory |
| | | | 0002370 | | |
Kernel > ACSL implementation | feature | assigned (virgile) | 2018-03-08 | Expose ACSL annotations through host language pragmas |
| | | | 0002369 | 8 | |
Plug-in > E-ACSL | minor | acknowledged (signoles) | 2018-02-23 | e-acsl-gcc failes on macOS |
| | | | 0002367 | 1 | 1 |
Plug-in > clang | minor | assigned (virgile) | 2018-02-12 | C-function returning a struct causes warning on missing Ctor code/spec when inside 'extern "C" {...}' |
| | | | 0002366 | | 1 |
Plug-in > clang | minor | assigned (virgile) | 2018-02-12 | loop assigns clause ginored under strange circumstances |
| | | | 0002365 | | 1 |
Plug-in > clang | minor | assigned (virgile) | 2018-02-12 | user-defined type not accepted after builtin type in quantifier chain |
|
[ First Prev 1 2 3 4 5 6 Next Last ]
|
