Merge branch 'feature/patrick/simplify-land-eq-mod' into 'master'
[WP] bitwise operator land : added simplification rules and tactic See merge request frama-c/frama-c!3444
No related branches found
No related tags found
Showing
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- src/plugins/gui/widget.ml 1 addition, 0 deletionssrc/plugins/gui/widget.ml
- src/plugins/gui/widget.mli 1 addition, 0 deletionssrc/plugins/gui/widget.mli
- src/plugins/wp/Cint.ml 80 additions, 20 deletionssrc/plugins/wp/Cint.ml
- src/plugins/wp/Cint.mli 5 additions, 0 deletionssrc/plugins/wp/Cint.mli
- src/plugins/wp/GuiTactic.ml 1 addition, 1 deletionsrc/plugins/wp/GuiTactic.ml
- src/plugins/wp/Makefile.in 1 addition, 1 deletionsrc/plugins/wp/Makefile.in
- src/plugins/wp/TacModMask.ml 123 additions, 0 deletionssrc/plugins/wp/TacModMask.ml
- src/plugins/wp/TacModMask.mli 23 additions, 0 deletionssrc/plugins/wp/TacModMask.mli
- src/plugins/wp/tests/wp_acsl/bitwise.i 20 additions, 1 deletionsrc/plugins/wp/tests/wp_acsl/bitwise.i
- src/plugins/wp/tests/wp_acsl/oracle/bitwise.res.oracle 31 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/oracle/bitwise.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/bitwise.res.oracle 8 additions, 4 deletions...plugins/wp/tests/wp_acsl/oracle_qualif/bitwise.res.oracle
- src/plugins/wp/tests/wp_bts/oracle/issue_751.res.oracle 5 additions, 7 deletionssrc/plugins/wp/tests/wp_bts/oracle/issue_751.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/script/lemma_U32.json 7 additions, 28 deletions...in/oracle_qualif/unsigned.0.session/script/lemma_U32.json
- src/plugins/wp/tests/wp_tip/modmask.i 18 additions, 0 deletionssrc/plugins/wp/tests/wp_tip/modmask.i
- src/plugins/wp/tests/wp_tip/oracle/modmask.0.res.oracle 79 additions, 0 deletionssrc/plugins/wp/tests/wp_tip/oracle/modmask.0.res.oracle
- src/plugins/wp/tests/wp_tip/oracle/modmask.0.session/script/check_lemma_and_modulo_u.json 162 additions, 0 deletions...le/modmask.0.session/script/check_lemma_and_modulo_u.json
- src/plugins/wp/tests/wp_tip/oracle/modmask.0.session/script/check_lemma_and_modulo_us_255.json 14 additions, 0 deletions...dmask.0.session/script/check_lemma_and_modulo_us_255.json
- src/plugins/wp/tests/wp_tip/oracle/modmask.1.res.oracle 79 additions, 0 deletionssrc/plugins/wp/tests/wp_tip/oracle/modmask.1.res.oracle
- src/plugins/wp/tests/wp_tip/oracle/modmask.1.session/script/check_lemma_and_modulo_u.json 162 additions, 0 deletions...le/modmask.1.session/script/check_lemma_and_modulo_u.json
Loading
Please register or sign in to comment