Issues · pub / frama-c · GitLab

Burstall-Bornat style on array init

#1541 · created Jan 20, 2010 by Dillon Pariente bug jessie
- CLOSED
- 3
updated Apr 15, 2021
\separated

#1962 · created Jan 21, 2010 by mantis-gitlab-migration critical jessie
- CLOSED
- 3
updated Apr 15, 2021
propagation of \result clauses

#1542 · created Jan 21, 2010 by Jean-François Lalande enhancement eva
- CLOSED
- 2
updated Feb 22, 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
Labels in loops are not unrolled

#1966 · created Jan 29, 2010 by Guillaume Melquiond bug kernel
- CLOSED
- 2
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
int32 and real can't be unified

#2384 · created Feb 01, 2010 by Sylvie Boldo bug jessie
- CLOSED
- 3
updated Apr 15, 2021
Incorrect 'assert false' in value analysis

#1536 · created Feb 01, 2010 by Boris Yakobowski critical eva
- CLOSED
- 0
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
Why keywords as ACSL identifiers

#2383 · created Feb 03, 2010 by Julien Signoles enhancement jessie
- CLOSED
- 2
updated Apr 15, 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
Statement contract and "hiding" of statement

#2382 · created Feb 06, 2010 by Dillon Pariente bug jessie
- CLOSED
- 3
updated Apr 15, 2021
RTE compiled even with ./configure --disable-rte

#1657 · created Feb 06, 2010 by Dillon Pariente bug compilation
- CLOSED
- 4
updated Feb 22, 2021
Jessie translation unexpected failure

#1540 · created Feb 11, 2010 by David Delmas critical jessie
- CLOSED
- 2
updated Apr 15, 2021
share/Makefile.kernel: No such file or directory

#2425 · created Feb 16, 2010 by mantis-gitlab-migration compilation critical
- CLOSED
- 5
updated Feb 22, 2021
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
assert false (* TODO *)

#1537 · created Feb 16, 2010 by Sylvie Boldo bug jessie
- CLOSED
- 4
updated Apr 15, 2021
Jessie translation unexpected failure

#2328 · created Feb 17, 2010 by Victoria Moya Lamiel critical jessie
- CLOSED
- 2
updated Apr 15, 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
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

Prev
1
…
5
6
7
8
9
10
11
12
13
…
64
Next