Issues · pub / frama-c · GitLab

coq and ocaml conflict

#150 · created Mar 28, 2018 by mantis-gitlab-migration bug compilation
- CLOSED
- 3
updated Feb 22, 2021
Porting to Lablgtk3 (GTK3 OCaml bindings)

#149 · created Feb 25, 2019 by mantis-gitlab-migration bug gui
- CLOSED
- 2
updated Feb 22, 2021
Attributes of size 1 are rejected

#148 · created Mar 20, 2019 by Steven DE OLIVEIRA bug kernel
- CLOSED
- 1
updated Feb 22, 2021
Frama-C should not have unimplemented headers

#146 · created Jun 15, 2014 by mantis-gitlab-migration enhancement kernel
- CLOSED
- 1
updated Feb 22, 2021
Obfuscator does not obfuscate argument name of function pointers

#145 · created Mar 26, 2019 by Virgile Prevosto bug obfuscator
- CLOSED
- 2
updated Feb 22, 2021
r23410: unsound reporting of pre-condition status

#143 · created Aug 29, 2013 by Pascal Cuoq bug kernel
- CLOSED
- 7
updated Feb 22, 2021
Grammar omissions in 1.9

#140 · created Nov 23, 2015 by David Cok ACSL
- CLOSED
- 7
updated Feb 22, 2021
grammar and implementation disagree on predicate/logic declarations

#139 · created May 22, 2019 by David Cok ACSL enhancement
- CLOSED
- 1
updated Feb 22, 2021
tset issues in manual "acsl-implementation-Aluminium-20160501.pdf"

#138 · created Jun 27, 2016 by Jochen Burghardt documentation
- CLOSED
- 1
updated Feb 22, 2021
Can we calculate or extract metrics from program dependency graph generated by frama-c

#137 · created Jul 17, 2019 by mantis-gitlab-migration bug metrics
- CLOSED
- 1
updated Feb 22, 2021
Crash at "hashtbl.ml", line 462

#136 · created Jul 26, 2019 by mantis-gitlab-migration critical kernel
- CLOSED
- 4
updated Feb 22, 2021
E-ACSL: segmentation fault on a simple strlen function

#135 · created Aug 19, 2019 by mantis-gitlab-migration critical e-acsl
- CLOSED
- 1
updated Feb 22, 2021
Bytecode only build fail with error 127

#134 · created Aug 23, 2019 by mantis-gitlab-migration bug compilation
- CLOSED
- 3
updated Feb 22, 2021
Can't view publications on the wiki

#131 · created Sep 10, 2019 by mantis-gitlab-migration bug website
- CLOSED
- 4
updated May 09, 2022
FieldEngineer

#130 · created Sep 23, 2019 by mantis-gitlab-migration ACSL enhancement kernel
- CLOSED
- 0
updated Feb 22, 2021
Freelance

#129 · created Sep 23, 2019 by mantis-gitlab-migration ACSL kernel
- CLOSED
- 0
updated Feb 22, 2021
Prove of \false

#126 · created Feb 16, 2019 by Jens Gerlach bug wp
- CLOSED
- 6
updated Apr 15, 2021
Shape of VC depends on selection of properties

#125 · created Oct 08, 2018 by Jens Gerlach bug wp
- CLOSED
- 4
updated Sep 21, 2021
incomplete loading of saved state when using WP?

#124 · created Mar 09, 2017 by Jens Gerlach bug wp
- CLOSED
- 2
updated Feb 22, 2021
explain wp's syntactic restrictions on "inductive" definitions

#123 · created Dec 14, 2017 by Jochen Burghardt documentation
- CLOSED
- 1
updated Feb 22, 2021

Prev
1
…
56
57
58
59
60
61
62
63
64
Next