[wp] removed -wp-check option
Showing
- src/plugins/wp/GuiList.ml 1 addition, 1 deletionsrc/plugins/wp/GuiList.ml
- src/plugins/wp/GuiProver.ml 1 addition, 1 deletionsrc/plugins/wp/GuiProver.ml
- src/plugins/wp/ProofScript.ml 1 addition, 1 deletionsrc/plugins/wp/ProofScript.ml
- src/plugins/wp/ProverCoq.ml 3 additions, 27 deletionssrc/plugins/wp/ProverCoq.ml
- src/plugins/wp/ProverErgo.ml 11 additions, 27 deletionssrc/plugins/wp/ProverErgo.ml
- src/plugins/wp/ProverTask.ml 3 additions, 3 deletionssrc/plugins/wp/ProverTask.ml
- src/plugins/wp/ProverTask.mli 4 additions, 2 deletionssrc/plugins/wp/ProverTask.mli
- src/plugins/wp/ProverWhy3.ml 1 addition, 4 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/VCS.ml 1 addition, 5 deletionssrc/plugins/wp/VCS.ml
- src/plugins/wp/VCS.mli 0 additions, 2 deletionssrc/plugins/wp/VCS.mli
- src/plugins/wp/prover.ml 18 additions, 17 deletionssrc/plugins/wp/prover.ml
- src/plugins/wp/register.ml 1 addition, 10 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/wp_plugin/bit_test.c 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/bit_test.c
- src/plugins/wp/tests/wp_plugin/model.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/model.i
- src/plugins/wp/tests/wp_plugin/oracle_qualif/bit_test.res.oracle 3 additions, 3 deletions...gins/wp/tests/wp_plugin/oracle_qualif/bit_test.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/model.res.oracle 3 additions, 3 deletions...plugins/wp/tests/wp_plugin/oracle_qualif/model.res.oracle
- src/plugins/wp/tests/wp_plugin/rte.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/rte.i
- src/plugins/wp/wp_parameters.ml 0 additions, 10 deletionssrc/plugins/wp/wp_parameters.ml
- src/plugins/wp/wp_parameters.mli 0 additions, 1 deletionsrc/plugins/wp/wp_parameters.mli
Loading
Please register or sign in to comment