[wp] Initialized types generated only when necessary
Showing
- src/plugins/wp/Definitions.ml 31 additions, 4 deletionssrc/plugins/wp/Definitions.ml
- src/plugins/wp/Definitions.mli 2 additions, 1 deletionsrc/plugins/wp/Definitions.mli
- src/plugins/wp/ProverCoq.ml 1 addition, 1 deletionsrc/plugins/wp/ProverCoq.ml
- src/plugins/wp/ProverErgo.ml 1 addition, 1 deletionsrc/plugins/wp/ProverErgo.ml
- src/plugins/wp/ProverWhy3.ml 1 addition, 1 deletionsrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/TacLemma.ml 1 addition, 1 deletionsrc/plugins/wp/TacLemma.ml
Loading
Please register or sign in to comment