[WP] Remove "-wp-depth" option and related code
Showing
- src/plugins/wp/GuiPanel.ml 0 additions, 6 deletionssrc/plugins/wp/GuiPanel.ml
- src/plugins/wp/GuiProver.ml 0 additions, 12 deletionssrc/plugins/wp/GuiProver.ml
- src/plugins/wp/ProofScript.ml 2 additions, 4 deletionssrc/plugins/wp/ProofScript.ml
- src/plugins/wp/ProverErgo.ml 1 addition, 4 deletionssrc/plugins/wp/ProverErgo.ml
- src/plugins/wp/ProverTask.ml 0 additions, 4 deletionssrc/plugins/wp/ProverTask.ml
- src/plugins/wp/ProverTask.mli 0 additions, 1 deletionsrc/plugins/wp/ProverTask.mli
- src/plugins/wp/VCS.ml 4 additions, 24 deletionssrc/plugins/wp/VCS.ml
- src/plugins/wp/VCS.mli 1 addition, 4 deletionssrc/plugins/wp/VCS.mli
- src/plugins/wp/register.ml 0 additions, 2 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/wp_plugin/nth.i 2 additions, 2 deletionssrc/plugins/wp/tests/wp_plugin/nth.i
- src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.0.res.oracle 1 addition, 1 deletion...plugins/wp/tests/wp_plugin/oracle_qualif/nth.0.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.1.res.oracle 1 addition, 1 deletion...plugins/wp/tests/wp_plugin/oracle_qualif/nth.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.0.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_plugin/oracle_qualif/sequence.0.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.1.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_plugin/oracle_qualif/sequence.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.2.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_plugin/oracle_qualif/sequence.2.res.oracle
- src/plugins/wp/tests/wp_plugin/sequence.i 3 additions, 3 deletionssrc/plugins/wp/tests/wp_plugin/sequence.i
- src/plugins/wp/wp_parameters.ml 0 additions, 9 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