Package: frama-c / 20111001+nitrogen+dfsg-4

Metadata

Package Version Patches format
frama-c 20111001+nitrogen+dfsg-4 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0001 Add ocamlgraph to DYN_ O B LINKFLAGS.patch | (download)

Makefile | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 add +ocamlgraph to dyn_{o,b}linkflags


0002 Accept ocamlgraph 1.8.patch | (download)

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

 accept ocamlgraph 1.8*


0003 Fix spelling error in binary.patch | (download)

Changelog | 8 4 + 4 - 0 !
cil/src/cil.ml | 2 1 + 1 - 0 !
cil/src/ext/cfg.mli | 2 1 + 1 - 0 !
cil/src/frontc/cabs2cil.ml | 2 1 + 1 - 0 !
cil/src/logic/logic_typing.ml | 6 3 + 3 - 0 !
man/frama-c.1 | 2 1 + 1 - 0 !
src/impact/register.ml | 4 2 + 2 - 0 !
src/kernel/cmdline.mli | 2 1 + 1 - 0 !
8 files changed, 14 insertions(+), 14 deletions(-)

 fix spelling-error-in-binary


0004 Use bin cp instead of usr bin install.patch | (download)

share/Makefile.common | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 use /bin/cp instead of /usr/bin/install


0005 Disable CHMOD_RO invocations.patch | (download)

share/Makefile.common | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 disable chmod_ro invocations


0006 Patchlevel2 for Nitrogen 20111001.patch | (download)

Changelog | 21 21 + 0 - 0 !
src/ai/base.ml | 6 4 + 2 - 0 !
src/from/from_register.ml | 3 2 + 1 - 0 !
src/lib/rangemap.ml | 4 2 + 2 - 0 !
src/memory_state/lmap.ml | 2 1 + 1 - 0 !
src/value/eval_exprs.ml | 81 42 + 39 - 0 !
src/value/eval_exprs.mli | 1 1 + 0 - 0 !
src/value/eval_funs.ml | 4 3 + 1 - 0 !
src/value/eval_logic.ml | 11 9 + 2 - 0 !
src/value/eval_stmts.ml | 15 10 + 5 - 0 !
10 files changed, 95 insertions(+), 53 deletions(-)

 patchlevel2 for nitrogen 20111001


0007 Port to OCamlgraph 1.8.2.patch | (download)

src/misc/service_graph.ml | 2 1 + 1 - 0 !
src/misc/service_graph.mli | 2 1 + 1 - 0 !
src/semantic_callgraph/register.ml | 1 1 + 0 - 0 !
src/syntactic_callgraph/register.ml | 1 1 + 0 - 0 !
4 files changed, 4 insertions(+), 2 deletions(-)

 port to ocamlgraph 1.8.2

 o Graph.Topological: as of OCamlgraph 1.8.2, the input graph must
   implement Sig.COMPARABLE instead of Sig.HASHABLE