Package: frama-c / 20140301+neon+dfsg-3

Metadata

Package Version Patches format
frama-c 20140301+neon+dfsg-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0001 Fix spelling error in binary.patch | (download)

Changelog | 4 2 + 2 - 0 !
cil/src/frontc/cabs2cil.ml | 4 2 + 2 - 0 !
man/frama-c.1 | 2 1 + 1 - 0 !
3 files changed, 5 insertions(+), 5 deletions(-)

 fix spelling-error-in-binary


0002 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


0003 Disable CHMOD_RO invocations.patch | (download)

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

 disable chmod_ro invocations


0004 Port to OCamlgraph 1.8.5.patch | (download)

src/impact/reason_graph.ml | 2 1 + 1 - 0 !
src/kernel/stmts_graph.ml | 10 5 + 5 - 0 !
src/logic/property_status.ml | 8 4 + 4 - 0 !
src/misc/service_graph.ml | 4 2 + 2 - 0 !
src/pdg_types/pdgTypes.ml | 6 3 + 3 - 0 !
src/postdominators/print.ml | 2 1 + 1 - 0 !
src/semantic_callgraph/register.ml | 4 2 + 2 - 0 !
src/slicing/printSlice.ml | 10 5 + 5 - 0 !
src/syntactic_callgraph/register.ml | 4 2 + 2 - 0 !
src/wp/cil2cfg.ml | 12 6 + 6 - 0 !
10 files changed, 31 insertions(+), 31 deletions(-)

 port to ocamlgraph 1.8.5


0005 Don t fail during the configure on bytecode architec.patch | (download)

configure.in | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 don't fail during the configure on bytecode architectures