Package: frama-c / 20100401+boron+dfsg-5
Metadata
Package | Version | Patches format |
---|---|---|
frama-c | 20100401+boron+dfsg-5 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0001 Fix hyphen used as minus sign and a typo.patch | (download) |
man/frama-c.1 |
6 3 + 3 - 0 ! |
[patch] fix hyphen-used-as-minus-sign and a typo |
0002 .make ocamlgraph no op for non local ocamlgraph.patch | (download) |
Makefile |
2 2 + 0 - 0 ! |
[patch] .make-ocamlgraph no-op for non-local ocamlgraph |
0003 Fix build on bytecode only architectures.patch | (download) |
Makefile |
19 12 + 7 - 0 ! |
[patch] fix build on bytecode-only architectures |
0004 Fix some typos.patch | (download) |
cil/src/frontc/cabs2cil.ml |
4 2 + 2 - 0 ! |
[patch] fix some typos |
0005 Don t modify system files.patch | (download) |
share/Makefile.dynamic |
6 3 + 3 - 0 ! |
[patch] don't modify system files |
0006 OCamlgraph 1.5 is compatible.patch | (download) |
configure |
2 2 + 0 - 0 ! |
[patch] ocamlgraph 1.5 is compatible |
0007 Fix cpp command arguments.patch | (download) |
src/kernel/file.ml |
2 1 + 1 - 0 ! |
[patch] fix cpp command arguments |
0008 Fix ai ival.ml filter_ge.patch | (download) |
src/ai/ival.ml |
4 2 + 2 - 0 ! |
[patch] fix ai/ival.ml:filter_ge |
0009 unrollType in handle_signed_overflow.patch | (download) |
src/value/eval.ml |
2 1 + 1 - 0 ! |
[patch] unrolltype in handle_signed_overflow |
0010 More spelling fixes.patch | (download) |
src/memory_state/offsetmap.ml |
2 1 + 1 - 0 ! |
[patch] more spelling fixes |
0011 Fix some minor memory leaks.patch | (download) |
src/value/kf_state.ml |
4 2 + 2 - 0 ! |
[patch] fix some minor memory leaks |