Issues · pub / frama-c · GitLab

Frama-c crash with Cil.SizeOfError sizeof(void)

#2551 · opened Apr 20, 2021 by Karine EM eva kernel
- 1
updated Apr 20, 2021
Frama-c crash with z.Overflow error

#2550 · opened Apr 06, 2021 by Karine EM kernel
- 2
updated Apr 06, 2021
cabs2cil fails with statements in expression in a question

#57 · opened 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 · opened Mar 26, 2020 by Jens Gerlach bug kernel
- 0
updated Feb 22, 2021
kernel generates UnspecifiedSequence when 2 following ternary operators

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

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

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

#348 · opened 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 · opened 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 · opened Jan 16, 2017 by Jochen Burghardt bug kernel
- 2
updated Feb 22, 2021
label Pre in function contracts

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

#383 · opened 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 · opened May 02, 2016 by Jochen Burghardt bug kernel
- 4
updated Feb 22, 2021
No syntax to apply lambda expressions

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

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

#590 · opened 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 · opened 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 · opened Aug 21, 2015 by Pascal Cuoq bug kernel
- 0
updated Feb 22, 2021
implicit conversion of terms to predicates

#611 · opened Jul 17, 2015 by David Cok ACSL bug kernel
- 0
updated Feb 22, 2021
Weak and Strong Invariants are not supported

#630 · opened Jun 12, 2015 by mantis-gitlab-migration ACSL bug kernel
- 0
updated Feb 22, 2021

Prev
1
2
3
Next