[wp] prover name fallback
Showing
- src/plugins/wp/Changelog 3 additions, 1 deletionsrc/plugins/wp/Changelog
- src/plugins/wp/ProverWhy3.ml 1 addition, 1 deletionsrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/VCS.ml 20 additions, 15 deletionssrc/plugins/wp/VCS.ml
- src/plugins/wp/Why3Provers.ml 20 additions, 26 deletionssrc/plugins/wp/Why3Provers.ml
- src/plugins/wp/Why3Provers.mli 5 additions, 2 deletionssrc/plugins/wp/Why3Provers.mli
- src/plugins/wp/doc/manual/wp_plugin.tex 12 additions, 11 deletionssrc/plugins/wp/doc/manual/wp_plugin.tex
- src/plugins/wp/register.ml 2 additions, 2 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.1.res.oracle 2 additions, 2 deletions...p/tests/wp_acsl/oracle_qualif/classify_float.1.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.2.res.oracle 1 addition, 1 deletion...p/tests/wp_acsl/oracle_qualif/classify_float.2.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/cnf.res.oracle 31 additions, 31 deletionssrc/plugins/wp/tests/wp_acsl/oracle_qualif/cnf.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1174.res.oracle 1 addition, 1 deletion...plugins/wp/tests/wp_bts/oracle_qualif/bts_1174.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.1.res.oracle 1 addition, 1 deletion...ugins/wp/tests/wp_bts/oracle_qualif/bts_2471.1.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.2.res.oracle 1 addition, 1 deletion...ugins/wp/tests/wp_bts/oracle_qualif/bts_2471.2.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle 1 addition, 1 deletion...gins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle
- src/plugins/wp/tests/wp_plugin/fallback.i 6 additions, 0 deletionssrc/plugins/wp/tests/wp_plugin/fallback.i
- src/plugins/wp/tests/wp_plugin/oracle/fallback.res.oracle 15 additions, 0 deletionssrc/plugins/wp/tests/wp_plugin/oracle/fallback.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.1.res.oracle 1 addition, 1 deletion...plugins/wp/tests/wp_plugin/oracle_qualif/abs.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.2.res.oracle 2 additions, 2 deletions...plugins/wp/tests/wp_plugin/oracle_qualif/abs.2.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/convert.1.res.oracle 2 additions, 2 deletions...ins/wp/tests/wp_plugin/oracle_qualif/convert.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/fallback.res.oracle 15 additions, 0 deletions...gins/wp/tests/wp_plugin/oracle_qualif/fallback.res.oracle
Loading
Please register or sign in to comment