Merge branch 'fix/blanchard/alarm-downcast-unsigned-expr' into 'master'
[kernel] Fix Alarms for downcasts on unsigned expressions Closes #818 See merge request frama-c/frama-c!2569
No related branches found
No related tags found
Showing
- .Makefile.lint 0 additions, 2 deletions.Makefile.lint
- src/kernel_services/ast_data/alarms.ml 285 additions, 278 deletionssrc/kernel_services/ast_data/alarms.ml
- src/kernel_services/ast_data/alarms.mli 21 additions, 21 deletionssrc/kernel_services/ast_data/alarms.mli
- tests/rte/oracle/bts2314.res.oracle 2 additions, 2 deletionstests/rte/oracle/bts2314.res.oracle
- tests/rte/oracle/divmod.res.oracle 4 additions, 2 deletionstests/rte/oracle/divmod.res.oracle
- tests/rte/oracle/divmod_typedef.res.oracle 4 additions, 2 deletionstests/rte/oracle/divmod_typedef.res.oracle
- tests/rte/oracle/downcast.0.res.oracle 3 additions, 3 deletionstests/rte/oracle/downcast.0.res.oracle
- tests/rte/oracle/downcast.2.res.oracle 6 additions, 6 deletionstests/rte/oracle/downcast.2.res.oracle
- tests/rte/oracle/minus.0.res.oracle 3 additions, 3 deletionstests/rte/oracle/minus.0.res.oracle
- tests/rte/oracle/minus.1.res.oracle 5 additions, 5 deletionstests/rte/oracle/minus.1.res.oracle
- tests/rte/oracle/mul.res.oracle 2 additions, 1 deletiontests/rte/oracle/mul.res.oracle
- tests/rte_manual/oracle/signed_downcast.1.res.oracle 2 additions, 2 deletionstests/rte_manual/oracle/signed_downcast.1.res.oracle
- tests/rte_manual/oracle/unsigned_downcast.res.oracle 2 additions, 2 deletionstests/rte_manual/oracle/unsigned_downcast.res.oracle
- tests/value/oracle/downcast.res.oracle 18 additions, 18 deletionstests/value/oracle/downcast.res.oracle
Loading
Please register or sign in to comment