[wp] use ./.frama-c/wp for cache & scripts
Showing
- src/plugins/wp/ProverTask.ml 1 addition, 1 deletionsrc/plugins/wp/ProverTask.ml
- src/plugins/wp/ProverWhy3.ml 2 additions, 2 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/register.ml 68 additions, 59 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/wp_plugin/removed.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/removed.i
- src/plugins/wp/wp_parameters.ml 25 additions, 25 deletionssrc/plugins/wp/wp_parameters.ml
- src/plugins/wp/wp_parameters.mli 3 additions, 3 deletionssrc/plugins/wp/wp_parameters.mli
Loading
Please register or sign in to comment