Issues · pub / frama-c · GitLab

Frama-C crashed with an unexpected error Abstract_interp.Error_Bottom

#2563 · created Jun 09, 2021 by Karine EM eva
- CLOSED
- 4
updated Jun 10, 2021
"Unknown Error" with Alt-Ergo 3 of 3 tasks completed

#2547 · created Mar 26, 2021 by Qix wp
- CLOSED
- 11
updated Jun 01, 2021
[wp] non-provable local typing constraints in lemmas

#2 · created May 06, 2020 by Jens Gerlach wp
- CLOSED
- 29
updated May 28, 2021
Unexpected error "Z.shift_left" with invalid_argument with -eva option when the code had syntax errors

#2556 · created May 18, 2021 by arindam-8
- CLOSED
- 5
updated May 21, 2021
Crash in abstract_interp with an unexpected error when the input program has a syntax error.

#2555 · created May 17, 2021 by Karine EM eva parsing
- CLOSED
- 2
updated May 21, 2021
Unexpected error (Invalid_argument("Z.shift_left: count argument must be positive"))

#499 · created Jan 22, 2016 by mantis-gitlab-migration bug wp
- CLOSED
- 1
updated May 18, 2021
Frama-c crash with Cil.SizeOfError sizeof(void)

#2551 · created Apr 20, 2021 by Karine EM eva kernel
- CLOSED
- 5
updated Apr 30, 2021
obligation "2+2==5" simplified to "false" by Qed, but then passed to Alt-Ergo nevertheless

#948 · created Nov 27, 2014 by Jochen Burghardt enhancement wp
- CLOSED
- 1
updated Apr 29, 2021
frama-c/jessie crashes with Unexpected error (Cil.SizeOfError("Undefined sizeof on a function.", _)).

#263 · created May 29, 2018 by mantis-gitlab-migration critical jessie
- CLOSED
- 1
updated Apr 20, 2021
Missing cast in code generated by RTE

#181 · created Dec 17, 2018 by Julien Signoles bug confirmed rte
- CLOSED
- 1
updated Apr 20, 2021
E-ACSL crash with RTE generated assertion with booleans

#180 · created Dec 03, 2018 by mantis-gitlab-migration confirmed critical e-acsl
- CLOSED
- 11
updated Apr 20, 2021
option "-print" prints array upper bound in type before parameter name, rather than after it

#392 · created Oct 06, 2016 by Jochen Burghardt kernel
- CLOSED
- 1
- 2
updated Apr 16, 2021
Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi")

#1867 · created May 09, 2013 by mantis-gitlab-migration bug compilation
- CLOSED
- 2
updated Apr 15, 2021
Translation of tsets

#1900 · created Apr 15, 2013 by Julien Signoles enhancement wp
- CLOSED
- 6
updated Apr 15, 2021
WP-Plugin crashes due to an internal error when terms of sets during union have different types

#919 · created Dec 22, 2014 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 15, 2021
Frama-C 22 beta also runs on macOS 11.0.1 Beta ("Big Sur")

#43 · created Nov 06, 2020 by Jens Gerlach
- CLOSED
- 1
- 19
updated Apr 15, 2021
quantifiers over logic types do not restrict to valid instances

#91 · created Jan 30, 2020 by mantis-gitlab-migration bug wp
- CLOSED
- 3
updated Apr 15, 2021
Eprover in Frama-C 20 beta

#103 · created Nov 08, 2019 by Jens Gerlach bug wp
- CLOSED
- 1
updated Apr 15, 2021
statement contract apparently confuses parser

#324 · created May 11, 2017 by Jochen Burghardt critical wp
- CLOSED
- 3
updated Apr 15, 2021
false postcondition shouldn't be verified in default memory-model setting

#333 · created Jun 15, 2017 by Jochen Burghardt enhancement wp
- CLOSED
- 2
updated Apr 15, 2021

Prev
1
2
3
4
5
…
61
Next