Merge branch 'feature/wp/coq-qualif' into 'master'
[wp] try to improve wp-qualif regressions See merge request frama-c/frama-c!2684
No related branches found
No related tags found
Showing
- nix/default.nix 2 additions, 2 deletionsnix/default.nix
- src/plugins/wp/GuiProof.ml 2 additions, 1 deletionsrc/plugins/wp/GuiProof.ml
- src/plugins/wp/GuiProver.ml 1 addition, 1 deletionsrc/plugins/wp/GuiProver.ml
- src/plugins/wp/Makefile.in 6 additions, 2 deletionssrc/plugins/wp/Makefile.in
- src/plugins/wp/VCS.ml 38 additions, 19 deletionssrc/plugins/wp/VCS.ml
- src/plugins/wp/VCS.mli 1 addition, 1 deletionsrc/plugins/wp/VCS.mli
- src/plugins/wp/register.ml 4 additions, 4 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/README.md 30 additions, 4 deletionssrc/plugins/wp/tests/README.md
- src/plugins/wp/tests/test_config_qualif 1 addition, 1 deletionsrc/plugins/wp/tests/test_config_qualif
- src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle 7 additions, 7 deletionssrc/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle
- src/plugins/wp/tests/wp/stmtcompiler_test.ml 1 addition, 1 deletionsrc/plugins/wp/tests/wp/stmtcompiler_test.ml
- src/plugins/wp/tests/wp/stmtcompiler_test_rela.ml 1 addition, 1 deletionsrc/plugins/wp/tests/wp/stmtcompiler_test_rela.ml
- src/plugins/wp/tests/wp_plugin/float_format.i 2 additions, 2 deletionssrc/plugins/wp/tests/wp_plugin/float_format.i
- src/plugins/wp/tests/wp_plugin/math.i 2 additions, 2 deletionssrc/plugins/wp/tests/wp_plugin/math.i
- src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.1.res.oracle 1 addition, 1 deletion...p/tests/wp_plugin/oracle_qualif/float_format.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.2.res.oracle 1 addition, 1 deletion...p/tests/wp_plugin/oracle_qualif/float_format.2.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/math.2.res.oracle 1 addition, 1 deletion...lugins/wp/tests/wp_plugin/oracle_qualif/math.2.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/math.3.res.oracle 1 addition, 1 deletion...lugins/wp/tests/wp_plugin/oracle_qualif/math.3.res.oracle
- src/plugins/wp/wpo.ml 2 additions, 3 deletionssrc/plugins/wp/wpo.ml
Loading
Please register or sign in to comment