Merge branch 'feature/wp/fix-tactical-pool' into 'master'
[wp] use a global pool variable for tactics See merge request frama-c/frama-c!2139
No related branches found
No related tags found
Showing
- src/plugins/qed/term.ml 4 additions, 3 deletionssrc/plugins/qed/term.ml
- src/plugins/wp/Auto.mli 1 addition, 1 deletionsrc/plugins/wp/Auto.mli
- src/plugins/wp/GuiGoal.ml 3 additions, 3 deletionssrc/plugins/wp/GuiGoal.ml
- src/plugins/wp/GuiTactic.ml 10 additions, 5 deletionssrc/plugins/wp/GuiTactic.ml
- src/plugins/wp/GuiTactic.mli 1 addition, 0 deletionssrc/plugins/wp/GuiTactic.mli
- src/plugins/wp/Lang.ml 3 additions, 1 deletionsrc/plugins/wp/Lang.ml
- src/plugins/wp/ProofEngine.ml 10 additions, 0 deletionssrc/plugins/wp/ProofEngine.ml
- src/plugins/wp/ProofEngine.mli 1 addition, 0 deletionssrc/plugins/wp/ProofEngine.mli
- src/plugins/wp/ProofScript.ml 2 additions, 1 deletionsrc/plugins/wp/ProofScript.ml
- src/plugins/wp/ProofScript.mli 1 addition, 1 deletionsrc/plugins/wp/ProofScript.mli
- src/plugins/wp/ProverScript.ml 3 additions, 1 deletionsrc/plugins/wp/ProverScript.ml
- src/plugins/wp/ProverSearch.ml 3 additions, 1 deletionsrc/plugins/wp/ProverSearch.ml
- src/plugins/wp/TacCompound.ml 12 additions, 13 deletionssrc/plugins/wp/TacCompound.ml
- src/plugins/wp/TacHavoc.ml 28 additions, 53 deletionssrc/plugins/wp/TacHavoc.ml
- src/plugins/wp/TacHavoc.mli 1 addition, 2 deletionssrc/plugins/wp/TacHavoc.mli
- src/plugins/wp/TacInstance.ml 2 additions, 5 deletionssrc/plugins/wp/TacInstance.ml
- src/plugins/wp/TacSplit.ml 4 additions, 9 deletionssrc/plugins/wp/TacSplit.ml
- src/plugins/wp/Tactical.ml 1 addition, 0 deletionssrc/plugins/wp/Tactical.ml
- src/plugins/wp/Tactical.mli 3 additions, 0 deletionssrc/plugins/wp/Tactical.mli
Loading
Please register or sign in to comment