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 file
Patch File delta Description
0001 Fix hyphen used as minus sign and a typo.patch | (download)

man/frama-c.1 | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 [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 !
1 file changed, 2 insertions(+)

 [patch] .make-ocamlgraph no-op for non-local ocamlgraph


0003 Fix build on bytecode only architectures.patch | (download)

Makefile | 19 12 + 7 - 0 !
1 file changed, 12 insertions(+), 7 deletions(-)

 [patch] fix build on bytecode-only architectures


0004 Fix some typos.patch | (download)

cil/src/frontc/cabs2cil.ml | 4 2 + 2 - 0 !
cil/src/logic/logic_preprocess.ml | 2 1 + 1 - 0 !
cil/src/logic/logic_preprocess.mll | 2 1 + 1 - 0 !
cil/src/logic/logic_typing.ml | 2 1 + 1 - 0 !
man/frama-c.1 | 2 1 + 1 - 0 !
ptests/ptests.ml | 2 1 + 1 - 0 !
src/ai/base.ml | 2 1 + 1 - 0 !
src/ai/base.mli | 2 1 + 1 - 0 !
src/aorai/abstract_ai.ml | 2 1 + 1 - 0 !
src/aorai/bycase_ai.ml | 2 1 + 1 - 0 !
src/kernel/journal.ml | 2 1 + 1 - 0 !
src/kernel/special_hooks.ml | 2 1 + 1 - 0 !
src/lib/qstack.mli | 2 1 + 1 - 0 !
src/memory_state/locations.mli | 4 2 + 2 - 0 !
src/project/kind.ml | 4 2 + 2 - 0 !
src/project/kind.mli | 4 2 + 2 - 0 !
src/scope/dpds_gui.ml | 2 1 + 1 - 0 !
src/slicing/fct_slice.ml | 6 3 + 3 - 0 !
src/slicing/register.ml | 2 1 + 1 - 0 !
src/slicing/slicingProject.ml | 2 1 + 1 - 0 !
20 files changed, 26 insertions(+), 26 deletions(-)

 [patch] fix some typos


0005 Don t modify system files.patch | (download)

share/Makefile.dynamic | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 [patch] don't modify system files


0006 OCamlgraph 1.5 is compatible.patch | (download)

configure | 2 2 + 0 - 0 !
configure.in | 1 1 + 0 - 0 !
2 files changed, 3 insertions(+)

 [patch] ocamlgraph 1.5 is compatible


0007 Fix cpp command arguments.patch | (download)

src/kernel/file.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] fix cpp command arguments


0008 Fix ai ival.ml filter_ge.patch | (download)

src/ai/ival.ml | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 [patch] fix ai/ival.ml:filter_ge


0009 unrollType in handle_signed_overflow.patch | (download)

src/value/eval.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] unrolltype in handle_signed_overflow


0010 More spelling fixes.patch | (download)

src/memory_state/offsetmap.ml | 2 1 + 1 - 0 !
src/value/eval.ml | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 [patch] more spelling fixes


0011 Fix some minor memory leaks.patch | (download)

src/value/kf_state.ml | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 [patch] fix some minor memory leaks