"src/plugins/e-acsl/git@git.frama-c.com:pub/frama-c.git" did not exist on "7c961227edc950be2adff9072b366d7e1e7b7eb4"
[wp] tactic configuration from proof (draft)
Showing
- src/plugins/wp/Pattern.ml 15 additions, 0 deletionssrc/plugins/wp/Pattern.ml
- src/plugins/wp/Pattern.mli 6 additions, 0 deletionssrc/plugins/wp/Pattern.mli
- src/plugins/wp/ProofScript.ml 1 addition, 1 deletionsrc/plugins/wp/ProofScript.ml
- src/plugins/wp/ProofScript.mli 1 addition, 1 deletionsrc/plugins/wp/ProofScript.mli
- src/plugins/wp/ProofStrategy.ml 96 additions, 2 deletionssrc/plugins/wp/ProofStrategy.ml
- src/plugins/wp/ProverScript.ml 6 additions, 0 deletionssrc/plugins/wp/ProverScript.ml
- src/plugins/wp/Tactical.ml 16 additions, 1 deletionsrc/plugins/wp/Tactical.ml
- src/plugins/wp/Tactical.mli 2 additions, 0 deletionssrc/plugins/wp/Tactical.mli
Loading
Please register or sign in to comment