Issues · pub / frama-c · GitLab

Snippets Groups Projects

Issue [Kernel] Inlined ghost function parameters become non-ghost variables

#2714 created 3 months ago
bug kernel
updated 3 months ago
Issue [WP] various non-matching patterns in proof strategies

#2713 created 3 months ago
bug wp
updated 3 months ago
Issue [E-ACSL] Wrong instrumentation of ghost code

#2696 created 10 months ago
bug e-acsl
updated 5 months ago
Issue Handling of wide string literals

#2672 created 1 year ago
bug kernel
updated 1 year ago
Issue [WP] Out of memory crash

#2597 created 3 years ago
bug confirmed wp
updated 2 years ago
Issue non-compilable slice produced by frama-c

#36 created 4 years ago
bug confirmed slicing
updated 1 year ago
Issue cabs2cil fails with statements in expression in a question

#57 created 4 years ago
bug kernel
updated 4 years ago
Issue more precise error message for missing closing } of axiomatic block

#66 created 5 years ago
bug kernel
updated 4 years ago
Issue incompatibilité de libc/math.h ??

#97 created 5 years ago
bug frama-clang
updated 4 years ago
Issue kernel generates UnspecifiedSequence when 2 following ternary operators

#166 created 5 years ago
bug kernel
updated 4 years ago
Issue missing E-ACSL code, control flow graph, function pointer

#182 created 6 years ago
bug e-acsl
updated 3 years ago
Issue missing E-ACSL code when ignoring asm annotation

#183 created 6 years ago
bug confirmed e-acsl
updated 3 years ago
Issue const fields in constructors

#243 created 6 years ago
bug frama-clang
updated 4 years ago
Issue e-acsl-gcc failes on macOS

#266 created 7 years ago
bug e-acsl
updated 4 years ago
Issue "let" in predicate body unrecognized

#272 created 7 years ago
bug frama-clang
updated 4 years ago
Issue variable declared in "for" init-part unrecognized in loop body assigns clause; 100% verification degree reported nevertheless

#271 created 7 years ago
bug frama-clang
updated 4 years ago
Issue user-defined type not accepted after builtin type in quantifier chain

#269 created 7 years ago
bug frama-clang
updated 4 years ago
Issue can't handle lemma with 3 labels

#277 created 7 years ago
bug frama-clang
updated 4 years ago
Issue Alt-Ergo reports about " bool and int cannot be unified"

#280 created 7 years ago
bug frama-clang
updated 4 years ago
Issue unknown variable in contract is not treated as an error

#285 created 7 years ago
bug frama-clang
updated 4 years ago