Package: frama-c / 20161101+silicon+dfsg-5

Metadata

Package Version Patches format
frama-c 20161101+silicon+dfsg-5 3.0 (quilt)

Patch series

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

man/frama-c.1 | 4 2 + 2 - 0 !
src/kernel_internals/typing/asm_contracts.ml | 2 1 + 1 - 0 !
src/kernel_services/abstract_interp/lmap_sig.mli | 2 1 + 1 - 0 !
src/kernel_services/analysis/exn_flow.ml | 2 1 + 1 - 0 !
src/kernel_services/analysis/logic_interp.ml | 14 7 + 7 - 0 !
src/kernel_services/ast_queries/file.ml | 2 1 + 1 - 0 !
src/kernel_services/ast_queries/logic_const.mli | 2 1 + 1 - 0 !
src/kernel_services/ast_queries/logic_env.ml | 4 2 + 2 - 0 !
src/kernel_services/ast_queries/logic_typing.ml | 2 1 + 1 - 0 !
src/kernel_services/plugin_entry_points/kernel.ml | 2 1 + 1 - 0 !
src/libraries/utils/bitvector.ml | 2 1 + 1 - 0 !
src/plugins/aorai/aorai_utils.ml | 2 1 + 1 - 0 !
src/plugins/occurrence/register.ml | 2 1 + 1 - 0 !
src/plugins/scope/dpds_gui.ml | 2 1 + 1 - 0 !
src/plugins/security_slicing/security_slicing_parameters.ml | 2 1 + 1 - 0 !
src/plugins/slicing/fct_slice.ml | 4 2 + 2 - 0 !
src/plugins/value/gui_files/register_gui.ml | 2 1 + 1 - 0 !
src/plugins/value/value_parameters.ml | 2 1 + 1 - 0 !
src/plugins/value_types/cvalue.ml | 2 1 + 1 - 0 !
src/plugins/wp/VC.mli | 2 1 + 1 - 0 !
src/plugins/wp/qed/src/logic.mli | 2 1 + 1 - 0 !
src/plugins/wp/wpAnnot.ml | 2 1 + 1 - 0 !
src/plugins/wp/wp_parameters.ml | 2 1 + 1 - 0 !
23 files changed, 32 insertions(+), 32 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 Use ocamlfind package lablgtk2 gnome.gnomecanvas.patch | (download)

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

 use ocamlfind package lablgtk2-gnome.gnomecanvas


0005 Value.cmo needs LoopAnalysis.cmo.patch | (download)

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

 value.cmo needs loopanalysis.cmo

Value plugin needs LoopAnalysis, but appears first during the linking
phase. In order to workaround that, we move it before Value.cmo in the
PLUGIN_CMO_LIST variable.

0006 gui.byte needs TARGETS_GUI_BYTE only.patch | (download)

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

 gui.byte needs targets_gui_byte only