Merge branch 'feature/eva/cache-size' into 'master'
[Eva] Replaces environment variable FRAMA_C_MEMORY_FOOTPRINT by an Eva parameter -eva-cache-size See merge request frama-c/frama-c!4874
Showing
- share/analysis-scripts/analysis.mk 1 addition, 0 deletionsshare/analysis-scripts/analysis.mk
- share/analysis-scripts/prologue.mk 0 additions, 5 deletionsshare/analysis-scripts/prologue.mk
- src/kernel_services/abstract_interp/lmap.ml 1 addition, 3 deletionssrc/kernel_services/abstract_interp/lmap.ml
- src/kernel_services/abstract_interp/lmap_sig.ml 1 addition, 1 deletionsrc/kernel_services/abstract_interp/lmap_sig.ml
- src/kernel_services/abstract_interp/locations.ml 2 additions, 10 deletionssrc/kernel_services/abstract_interp/locations.ml
- src/kernel_services/abstract_interp/locations.mli 2 additions, 6 deletionssrc/kernel_services/abstract_interp/locations.mli
- src/kernel_services/abstract_interp/map_lattice.ml 5 additions, 9 deletionssrc/kernel_services/abstract_interp/map_lattice.ml
- src/kernel_services/abstract_interp/map_lattice.mli 2 additions, 3 deletionssrc/kernel_services/abstract_interp/map_lattice.mli
- src/kernel_services/plugin_entry_points/kernel.ml 24 additions, 9 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/libraries/utils/binary_cache.ml 114 additions, 106 deletionssrc/libraries/utils/binary_cache.ml
- src/libraries/utils/binary_cache.mli 3 additions, 5 deletionssrc/libraries/utils/binary_cache.mli
- src/libraries/utils/hptmap.ml 32 additions, 38 deletionssrc/libraries/utils/hptmap.ml
- src/libraries/utils/hptmap_sig.ml 1 addition, 2 deletionssrc/libraries/utils/hptmap_sig.ml
- src/plugins/eva/domains/equality/equality.ml 2 additions, 3 deletionssrc/plugins/eva/domains/equality/equality.ml
- src/plugins/from/functionwise.ml 2 additions, 3 deletionssrc/plugins/from/functionwise.ml
- tests/fc_script/make-wrapper.t/run.t 1 addition, 1 deletiontests/fc_script/make-wrapper.t/run.t
Loading
Please register or sign in to comment