Issues · pub / frama-c

New issue

unistd.h declares __fc_ttyname but it has no definition

#63 · created Jan 08, 2020 by mantis-gitlab-migration bug libc
- CLOSED
- 3
updated Feb 22, 2021
development version

#62 · created Mar 12, 2020 by mantis-gitlab-migration bug eva
- CLOSED
- 3
updated Feb 22, 2021
Invalid label with spaghetti code and E-ACSL full mmodel

#60 · created Dec 12, 2018 by mantis-gitlab-migration bug e-acsl
- CLOSED
- 4
updated Feb 22, 2021
error in generated proof obligation

#59 · created Mar 10, 2020 by Jens Gerlach bug wp
- CLOSED
- 2
updated Feb 22, 2021
Wp crashes on a recursive function

#58 · created Dec 28, 2018 by Frédéric Loulergue critical wp
- CLOSED
- 1
updated Feb 22, 2021
Frama-C reports “invalid ghost in extern linkage specification” while loading files

#56 · created Jun 06, 2020 by mantis-gitlab-migration bug kernel
- CLOSED
- 2
updated Feb 22, 2021
z3 ERROR: unknown parameter 'model_compress'

#55 · created Oct 15, 2020 by rwmjones bug wp
- CLOSED
- 2
updated Feb 22, 2021
Unexpected behavior when using shift and multiplication

#51 · created Jan 07, 2021 by BaptistePollien
- CLOSED
- 8
updated Feb 22, 2021
[Why3 Error] Type mismatch between ieee float.Float32.t and real

#50 · created Jan 06, 2021 by BaptistePollien
- CLOSED
- 1
- 3
updated Jan 07, 2021
select()'s contract assigns {read,write,error}fds arguments even if they are NULL pointers

#48 · created Dec 11, 2020 by fx-carton
- CLOSED
- 1
- 5
updated Feb 22, 2021
Question: Dump why3 file generated by frama-c

#46 · created Dec 06, 2020 by Leo Viezens wp
- CLOSED
- 3
updated Aug 05, 2021
Crash on subdivided evaluation by inout for an unsatisfiable guard 3 of 3 tasks completed

#45 · created Dec 04, 2020 by Karine EM eva
- CLOSED
- 1
- 2
updated Feb 22, 2021
Z3 and CVC4 working for Frama-C 22 (Titanium) beta after some initial problems 3 of 3 tasks completed

#41 · created Nov 01, 2020 by Jens Gerlach wp
- CLOSED
- 1
- 28
updated Apr 13, 2021
installing Frama-C 22 beta on Ubuntu 20.04 fails 3 of 3 tasks completed

#40 · created Oct 29, 2020 by Jens Gerlach
- CLOSED
- 1
- 13
updated Apr 13, 2021
Frama-C should exit with non-zero if proving failed

#34 · created Oct 15, 2020 by libguestfs
- CLOSED
- 3
updated Oct 15, 2020
z3 ERROR: unknown parameter 'model_compress'

#33 · created Oct 15, 2020 by libguestfs
- CLOSED
- 7
updated Feb 22, 2021
[GUI] Configuration is not permanent 3 of 3 tasks completed

#27 · created Sep 09, 2020 by Veenstra
- CLOSED
- 3
updated Feb 22, 2021
How to install frama-c in ubuntu step by step

#26 · created Sep 03, 2020 by bjsswaroop
- CLOSED
- 0
updated Feb 22, 2021
[wp] crash when using a type invariant in place of a predicate 3 of 3 tasks completed

#23 · created Aug 02, 2020 by Jakub Szabelewski
- CLOSED
- 1
- 1
updated Feb 22, 2021
coq reports an error for a hypothesis involving 'region' 3 of 3 tasks completed

#20 · created Jun 18, 2020 by Jens Gerlach
- CLOSED
- 21
updated Feb 22, 2021