Merge branch 'feature/andre/abstract-lattice-dkey' into 'master'
Feature/andre/abstract lattice dkey See merge request frama-c/frama-c!4683
No related branches found
No related tags found
Showing
- src/kernel_services/abstract_interp/abstract_interp.ml 7 additions, 5 deletionssrc/kernel_services/abstract_interp/abstract_interp.ml
- src/kernel_services/abstract_interp/abstract_interp.mli 2 additions, 0 deletionssrc/kernel_services/abstract_interp/abstract_interp.mli
- src/kernel_services/abstract_interp/int_interval.ml 1 addition, 5 deletionssrc/kernel_services/abstract_interp/int_interval.ml
- src/kernel_services/abstract_interp/int_set.ml 0 additions, 4 deletionssrc/kernel_services/abstract_interp/int_set.ml
- src/kernel_services/abstract_interp/int_val.ml 1 addition, 10 deletionssrc/kernel_services/abstract_interp/int_val.ml
- src/kernel_services/abstract_interp/ival.ml 0 additions, 4 deletionssrc/kernel_services/abstract_interp/ival.ml
- src/kernel_services/abstract_interp/lattice_messages.ml 0 additions, 61 deletionssrc/kernel_services/abstract_interp/lattice_messages.ml
- src/kernel_services/abstract_interp/lattice_messages.mli 0 additions, 50 deletionssrc/kernel_services/abstract_interp/lattice_messages.mli
- src/kernel_services/abstract_interp/lmap.ml 2 additions, 4 deletionssrc/kernel_services/abstract_interp/lmap.ml
- src/kernel_services/abstract_interp/locations.ml 1 addition, 3 deletionssrc/kernel_services/abstract_interp/locations.ml
- src/kernel_services/abstract_interp/offsetmap.ml 3 additions, 5 deletionssrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/plugin_entry_points/log.mli 9 additions, 6 deletionssrc/kernel_services/plugin_entry_points/log.mli
- tests/builtins/oracle/imprecise.res.oracle 9 additions, 8 deletionstests/builtins/oracle/imprecise.res.oracle
- tests/builtins/oracle/linked_list.1.res.oracle 8 additions, 8 deletionstests/builtins/oracle/linked_list.1.res.oracle
- tests/builtins/oracle/memcpy.0.res.oracle 17 additions, 9 deletionstests/builtins/oracle/memcpy.0.res.oracle
- tests/builtins/oracle_equality/imprecise.res.oracle 4 additions, 4 deletionstests/builtins/oracle_equality/imprecise.res.oracle
- tests/builtins/oracle_equality/linked_list.1.res.oracle 8 additions, 8 deletionstests/builtins/oracle_equality/linked_list.1.res.oracle
- tests/builtins/oracle_gauges/memcpy.0.res.oracle 2 additions, 2 deletionstests/builtins/oracle_gauges/memcpy.0.res.oracle
- tests/builtins/oracle_octagon/imprecise.res.oracle 4 additions, 4 deletionstests/builtins/oracle_octagon/imprecise.res.oracle
- tests/builtins/oracle_octagon/linked_list.1.res.oracle 6 additions, 6 deletionstests/builtins/oracle_octagon/linked_list.1.res.oracle
Loading
Please register or sign in to comment