Merge branch 'feature/valentin/ival-bitwise-operators' into 'master'
[Ival] more precise binary bitwise operators Closes Value/Value#5 and Value/Value#14 See merge request frama-c/frama-c!2085
Showing
- src/kernel_services/abstract_interp/ival.ml 505 additions, 359 deletionssrc/kernel_services/abstract_interp/ival.ml
- src/kernel_services/abstract_interp/ival.mli 6 additions, 5 deletionssrc/kernel_services/abstract_interp/ival.mli
- src/plugins/value/values/cvalue_backward.ml 4 additions, 8 deletionssrc/plugins/value/values/cvalue_backward.ml
- src/plugins/value/values/cvalue_forward.ml 3 additions, 6 deletionssrc/plugins/value/values/cvalue_forward.ml
- src/plugins/value/values/offsm_value.ml 2 additions, 3 deletionssrc/plugins/value/values/offsm_value.ml
- src/plugins/value_types/cvalue.ml 7 additions, 7 deletionssrc/plugins/value_types/cvalue.ml
- src/plugins/value_types/cvalue.mli 3 additions, 3 deletionssrc/plugins/value_types/cvalue.mli
- tests/builtins/oracle/strnlen.res.oracle 1 addition, 1 deletiontests/builtins/oracle/strnlen.res.oracle
- tests/idct/oracle/ieee_1180_1990.res.oracle 1 addition, 1 deletiontests/idct/oracle/ieee_1180_1990.res.oracle
- tests/value/bitwise_or.c 23 additions, 6 deletionstests/value/bitwise_or.c
- tests/value/oracle/addition.res.oracle 2 additions, 2 deletionstests/value/oracle/addition.res.oracle
- tests/value/oracle/bitwise_or.res.oracle 41 additions, 37 deletionstests/value/oracle/bitwise_or.res.oracle
- tests/value/oracle/cast.res.oracle 2 additions, 2 deletionstests/value/oracle/cast.res.oracle
- tests/value/oracle/postcond_leaf.res.oracle 2 additions, 1 deletiontests/value/oracle/postcond_leaf.res.oracle
- tests/value/oracle/shift.0.res.oracle 1 addition, 1 deletiontests/value/oracle/shift.0.res.oracle
- tests/value/oracle/shift.1.res.oracle 1 addition, 1 deletiontests/value/oracle/shift.1.res.oracle
- tests/value/postcond_leaf.c 13 additions, 11 deletionstests/value/postcond_leaf.c
Loading
Please register or sign in to comment