Issues · pub / frama-c · GitLab

Should not call install-kernel-opt on bytecode architectures

#2394 · created Jan 22, 2010 by mantis-gitlab-migration bug compilation
- CLOSED
- 1
updated Feb 22, 2021
File "src/kernel/cilE.ml", line 372, characters 13-19: Assertion failed

#2392 · created Feb 01, 2010 by mantis-gitlab-migration critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Failure("Function 'From.find_deps_no_transitivity' not registered yet")

#2391 · created Feb 03, 2010 by mantis-gitlab-migration critical eva
- CLOSED
- 2
updated Feb 22, 2021
assigns clauses are missing from the sliced program

#2390 · created Feb 04, 2010 by Pascal Cuoq enhancement slicing
- CLOSED
- 3
updated Feb 22, 2021
imprecision in widening/narrowing for char and short index

#2387 · created Feb 19, 2010 by Stephane Duprat enhancement eva
- CLOSED
- 1
updated Feb 22, 2021
Dgraph.DGraphModel.read_dot

#2386 · created Mar 19, 2010 by Sylvie Boldo critical kernel
- CLOSED
- 9
updated Feb 22, 2021
int32 and real can't be unified

#2384 · created Feb 01, 2010 by Sylvie Boldo bug jessie
- CLOSED
- 3
updated Apr 15, 2021
Why keywords as ACSL identifiers

#2383 · created Feb 03, 2010 by Julien Signoles enhancement jessie
- CLOSED
- 2
updated Apr 15, 2021
Statement contract and "hiding" of statement

#2382 · created Feb 06, 2010 by Dillon Pariente bug jessie
- CLOSED
- 3
updated Apr 15, 2021
same formula translated differently as axiom/lemma

#2380 · created Feb 25, 2010 by Jochen Burghardt bug jessie
- CLOSED
- 3
updated Apr 15, 2021
assigns clause unchecked on arrays

#2379 · created Apr 06, 2010 by Jochen Burghardt bug jessie
- CLOSED
- 3
updated Apr 15, 2021
Jessie subprocess failed with enumerated type

#2378 · created Apr 13, 2010 by Victoria Moya Lamiel bug jessie
- CLOSED
- 4
updated Apr 15, 2021
Jessie translation fails with double assignment

#2377 · created Apr 13, 2010 by Victoria Moya Lamiel critical jessie
- CLOSED
- 3
updated Apr 15, 2021
"why" reports "unbound label"

#2376 · created Dec 15, 2009 by Jochen Burghardt bug jessie
- CLOSED
- 3
updated Apr 15, 2021
wrong proof obligation generated with axiomatic def and array quantification

#2375 · created Dec 15, 2009 by Jochen Burghardt bug jessie
- CLOSED
- 3
updated Apr 15, 2021
bug with constants like 1E-6

#2374 · created Jan 07, 2010 by mantis-gitlab-migration bug jessie
- CLOSED
- 4
updated Apr 15, 2021
pragma JessieIntegerModel

#2373 · created Jan 13, 2010 by Dillon Pariente bug jessie
- CLOSED
- 3
updated Apr 15, 2021
Lack of parameter generation

#2372 · created Apr 23, 2010 by mantis-gitlab-migration bug jessie
- CLOSED
- 1
updated Apr 15, 2021
volatile annotation breaks type checker

#2370 · created May 12, 2010 by mantis-gitlab-migration critical jessie
- CLOSED
- 1
updated Apr 15, 2021
I am not able to use the jessie plugin to analysis files in the frama-c.

#2369 · created May 11, 2010 by mantis-gitlab-migration bug jessie
- CLOSED
- 19
updated Apr 15, 2021

Prev
1
…
3
4
5
6
7
8
9
10
11
…
64
Next