Issues · pub / frama-c · GitLab

opam fails to install frama-c

#72 · created Jul 26, 2019 by mantis-gitlab-migration bug opam
- CLOSED
- 12
updated Feb 22, 2021
Outdated -rte-all option in RTE manual

#71 · created Dec 14, 2018 by mantis-gitlab-migration documentation
- CLOSED
- 2
updated Feb 22, 2021
munmap() breaks WP analysis

#70 · created Feb 10, 2020 by mantis-gitlab-migration bug wp
- 0
updated Feb 22, 2021
unbound logic variable warning for local variable

#68 · created Mar 10, 2020 by Jens Gerlach ACSL bug kernel
- CLOSED
- 3
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
WP manual: hyperlink in table of contents sometimes one off

#65 · created Apr 16, 2020 by Jens Gerlach bug documentation
- 0
updated Feb 22, 2021
Unable to right-click on MacOS to drive GUI

#64 · created Jun 03, 2020 by mantis-gitlab-migration bug gui
- CLOSED
- 5
updated Feb 22, 2021
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
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
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
An option to return error code if there are any problems with the analysis, so that frama-c is easier to be used in CI/CD workflows 3 of 3 tasks completed

#54 · created Jan 29, 2021 by varosi eva wp
- 3
updated Mar 29, 2021
Documentation for Report plug-in is not correct 3 of 3 tasks completed

#53 · created Jan 29, 2021 by varosi documentation report
- 2
updated Mar 29, 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

Prev
1
…
68
69
70
71
72
73
74
Next