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
|