[wp] Cache has its own module
Showing
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- src/plugins/wp/Cache.ml 269 additions, 0 deletionssrc/plugins/wp/Cache.ml
- src/plugins/wp/Cache.mli 38 additions, 0 deletionssrc/plugins/wp/Cache.mli
- src/plugins/wp/GuiPanel.ml 7 additions, 7 deletionssrc/plugins/wp/GuiPanel.ml
- src/plugins/wp/Makefile.in 1 addition, 1 deletionsrc/plugins/wp/Makefile.in
- src/plugins/wp/ProverWhy3.ml 3 additions, 241 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/ProverWhy3.mli 0 additions, 10 deletionssrc/plugins/wp/ProverWhy3.mli
- src/plugins/wp/register.ml 11 additions, 12 deletionssrc/plugins/wp/register.ml
Loading
Please register or sign in to comment