Issues · pub / frama-c · GitLab

cp: cannot stat `ocamlgraph/dgraph/dgraph.cmi': No such file or directory

#2424 · created Feb 16, 2010 by mantis-gitlab-migration compilation critical
- CLOSED
- 2
updated Feb 22, 2021
local array decl with non-constant size causes Why error

#2423 · created Feb 22, 2010 by Jochen Burghardt bug jessie
- CLOSED
- 1
updated Apr 15, 2021
Uncaught exception: Failure("Unexpected internal region in logic")

#2422 · created Mar 08, 2010 by Jochen Burghardt bug jessie
- CLOSED
- 4
updated Apr 15, 2021
different translation of casted constants in program-code and in assertion

#2421 · created Mar 22, 2010 by Jochen Burghardt enhancement jessie
- CLOSED
- 1
updated Apr 15, 2021
jessie err msg "Uncaught exception" refers to deleted intermediate file "jc/jc_typing.ml"

#2420 · created Mar 22, 2010 by Jochen Burghardt bug jessie
- CLOSED
- 2
updated Apr 15, 2021
-2147483647<=0 unprovable by Simplify, except in switch

#2419 · created Feb 22, 2010 by Jochen Burghardt enhancement jessie
- CLOSED
- 2
updated Apr 15, 2021
After ./confugure with --disable-all-staff options and make static, frama-c-Myplugin.byte crashes

#2407 · created Oct 30, 2009 by Nikolai Kosmatov ACSL critical kernel
- CLOSED
- 3
updated Feb 22, 2021
switch and case expressions must be integer

#2406 · created Nov 02, 2009 by Virgile Prevosto bug kernel
- CLOSED
- 1
updated Feb 22, 2021
order of 'decreases' and 'behavior' clauses

#2402 · created Nov 10, 2009 by Claude Marché ACSL bug kernel
- CLOSED
- 1
updated Feb 22, 2021
goto generated by Frama-C and not supported by Jessie

#2400 · created Nov 17, 2009 by Dillon Pariente bug kernel
- CLOSED
- 2
updated Feb 22, 2021
redeclaration as different kind of symbol

#2398 · created Dec 08, 2009 by Claude Marché ACSL bug kernel
- CLOSED
- 2
updated Feb 22, 2021
complete/disjoint behaviors shouldn't accept undefined behaviors

#2397 · created Dec 24, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 2
updated Apr 15, 2021
Wrong postconditions are "valid according to value analysis"

#2396 · created Jan 13, 2010 by Guillaume Melquiond bug eva
- CLOSED
- 5
updated Feb 22, 2021
unsigned long long constant becomes signed

#2395 · created Jan 19, 2010 by mantis-gitlab-migration bug jessie
- CLOSED
- 2
updated Apr 15, 2021
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

Prev
1
…
4
5
6
7
8
9
10
11
12
…
74
Next