[wp] refactoring task & cache for batch mode
Showing
- src/plugins/wp/Cache.ml 12 additions, 25 deletionssrc/plugins/wp/Cache.ml
- src/plugins/wp/Cache.mli 7 additions, 4 deletionssrc/plugins/wp/Cache.mli
- src/plugins/wp/ProverWhy3.ml 45 additions, 32 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/Why3Provers.ml 2 additions, 0 deletionssrc/plugins/wp/Why3Provers.ml
Loading
Please register or sign in to comment