Issues · pub / frama-c · GitLab

Fatal error while browsing callgraph.

#380 · created Jan 13, 2017 by mantis-gitlab-migration critical gui
- CLOSED
- 1
updated Feb 22, 2021
The disproportion between block sizes and caption sizes on a callgrath.

#379 · created Jan 17, 2017 by mantis-gitlab-migration enhancement gui
- CLOSED
- 2
updated Feb 22, 2021
Incorrect code generation with gmp

#378 · created Jun 14, 2016 by Kostyantyn Vorobyov bug e-acsl
- CLOSED
- 1
updated Feb 22, 2021
Literal strings in global arrays with compound initializers are not correctly initialized

#377 · created Jun 25, 2014 by Arvid Jakobsson bug e-acsl
- CLOSED
- 8
updated Feb 22, 2021
Assertion failure when unrolling types of struct members

#376 · created Dec 04, 2015 by Kostyantyn Vorobyov bug e-acsl
- CLOSED
- 2
updated Feb 22, 2021
Can't install E-ACSL plugin

#374 · created Feb 26, 2016 by mantis-gitlab-migration bug e-acsl
- CLOSED
- 3
updated Feb 22, 2021
It is impossble to change log file without kinds of message changing.

#372 · created Jan 19, 2017 by mantis-gitlab-migration confirmed enhancement kernel
- 1
updated Feb 22, 2021
translation to why3 of int* argument to logic function

#371 · created Feb 02, 2017 by Jochen Burghardt bug confirmed wp
- CLOSED
- 6
updated Apr 15, 2021
problem with Qed's simplification power

#370 · created Feb 06, 2017 by Jochen Burghardt bug wp
- 1
updated Feb 22, 2021
Frama-C sleeps too much when discharging trivial goals

#369 · created Feb 13, 2017 by mantis-gitlab-migration enhancement wp
- CLOSED
- 1
updated Apr 15, 2021
applicability of Coq proof script depends on order of include files

#368 · created Feb 16, 2017 by Jochen Burghardt bug wp
- CLOSED
- 1
updated Apr 15, 2021
lemma tacitly omitted from prover assumptions

#367 · created Feb 27, 2017 by Jochen Burghardt bug wp
- CLOSED
- 2
updated Aug 05, 2021
Why3ide cannot be opened in this version

#365 · created Mar 01, 2017 by Pierre Yves Piriou enhancement wp
- 0
updated Feb 22, 2021
Message about internal error Log.AbortFatal("kernel")

#364 · created Mar 01, 2017 by mantis-gitlab-migration bug gui
- CLOSED
- 3
updated Feb 22, 2021
suggest to report column number for warnings

#363 · created Jan 09, 2017 by Jochen Burghardt enhancement eva
- CLOSED
- 1
updated Feb 22, 2021
More precise deps when calldeps computation

#362 · created Jan 27, 2014 by mantis-gitlab-migration enhancement from
- CLOSED
- 2
updated Feb 22, 2021
Warning depens on type of volatile variable

#361 · created Feb 15, 2017 by mantis-gitlab-migration bug eva
- CLOSED
- 1
updated Feb 22, 2021
suggestion: translate axioms and implication premises in forward order to coq

#360 · created Mar 13, 2017 by Jochen Burghardt bug wp
- CLOSED
- 2
updated Apr 15, 2021
Provide an option to run Coq from Frama-C

#359 · created Mar 12, 2014 by Jens Gerlach enhancement wp
- CLOSED
- 1
updated Feb 22, 2021
Frama-C/Jessie does not recognize the length of array in struct

#358 · created Nov 13, 2010 by Jens Gerlach bug jessie
- CLOSED
- 2
updated Apr 15, 2021

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