Issues · pub / frama-c · GitLab

Crash when size of field is zero with Unexpected error (Invalid_argument("Z.shift_left: count argument must be positive")).

#2592 · created Jan 11, 2022 by Karine EM kernel
- 1
updated Jan 11, 2022
Non ghost lvalue when assigning array (frama-c 22)

#2580 · created Oct 20, 2021 by Raul Monti bug confirmed kernel
- 3
updated Oct 21, 2021
[Plug-in wp] 96-bits floats

#2560 · created Jun 08, 2021 by arun-babu feedback-needed kernel wp
- 1
updated Oct 06, 2021
cabs2cil fails with statements in expression in a question

#57 · created Jun 10, 2020 by mantis-gitlab-migration bug kernel
- 0
updated Feb 22, 2021
more precise error message for missing closing } of axiomatic block

#66 · created Mar 26, 2020 by Jens Gerlach bug kernel
- 0
updated Feb 22, 2021
kernel generates UnspecifiedSequence when 2 following ternary operators

#166 · created May 07, 2019 by mantis-gitlab-migration bug kernel
- 0
updated Feb 22, 2021
Model Variables in Frama C

#249 · created Aug 27, 2018 by mantis-gitlab-migration ACSL enhancement kernel
- 1
updated Feb 22, 2021
Expose ACSL annotations through host language pragmas

#264 · created Mar 08, 2018 by mantis-gitlab-migration ACSL enhancement kernel
- 0
updated Apr 14, 2021
preprocessor fail: unterminated comment

#348 · created May 30, 2017 by mantis-gitlab-migration bug kernel
- 5
updated Feb 22, 2021
It is impossble to change log file without kinds of message changing.

#372 · created Jan 19, 2017 by mantis-gitlab-migration confirmed enhancement kernel
- 1
updated Feb 22, 2021
WP appears to assume left-to-right evaluation order for int addition

#381 · created Jan 16, 2017 by Jochen Burghardt bug kernel
- 2
updated Feb 22, 2021
label Pre in function contracts

#386 · created Jan 02, 2017 by Jens Gerlach ACSL bug kernel
- 0
updated Feb 22, 2021
structure in logic not supported?

#383 · created Dec 20, 2016 by Jens Gerlach ACSL bug kernel
- 1
updated Feb 22, 2021
insertion of "assert true" after a statement influences provability of the statement's contract

#511 · created May 02, 2016 by Jochen Burghardt bug kernel
- 4
updated Feb 22, 2021
No syntax to apply lambda expressions

#576 · created Dec 05, 2015 by David Cok ACSL enhancement kernel
- 0
updated Feb 22, 2021
ambiguity with consecutive comparison and ternary expressions

#575 · created Dec 05, 2015 by David Cok ACSL bug kernel
- 1
updated Feb 22, 2021
ACSL typing fails when performing unification of type variables

#590 · created Sep 24, 2015 by Patrick Baudin ACSL bug kernel
- 0
updated Mar 29, 2021
Namespace through packs - packing frama-c cmx into a cmxa

#429 · created Sep 16, 2015 by mantis-gitlab-migration enhancement kernel
- 2
updated Feb 22, 2021
With struct containing arrays, option -unspecified-access is too strict

#602 · created Aug 21, 2015 by Pascal Cuoq bug kernel
- 0
updated Apr 28, 2021
implicit conversion of terms to predicates

#611 · created Jul 17, 2015 by David Cok ACSL bug kernel
- 0
updated Feb 22, 2021

Prev
1
2
3
Next