Merge branch 'feature/wp/backport-nupw' into 'master'
Feature/wp/backport nupw See merge request frama-c/frama-c!2476
Showing
- src/plugins/qed/export_coq.ml 2 additions, 1 deletionsrc/plugins/qed/export_coq.ml
- src/plugins/qed/export_why3.ml 2 additions, 1 deletionsrc/plugins/qed/export_why3.ml
- src/plugins/qed/term.ml 30 additions, 20 deletionssrc/plugins/qed/term.ml
- src/plugins/wp/Definitions.ml 9 additions, 5 deletionssrc/plugins/wp/Definitions.ml
- src/plugins/wp/GuiGoal.ml 4 additions, 0 deletionssrc/plugins/wp/GuiGoal.ml
- src/plugins/wp/GuiProof.ml 15 additions, 28 deletionssrc/plugins/wp/GuiProof.ml
- src/plugins/wp/Lang.ml 45 additions, 17 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 3 additions, 1 deletionsrc/plugins/wp/Lang.mli
- src/plugins/wp/LogicBuiltins.ml 2 additions, 0 deletionssrc/plugins/wp/LogicBuiltins.ml
- src/plugins/wp/LogicBuiltins.mli 3 additions, 0 deletionssrc/plugins/wp/LogicBuiltins.mli
- src/plugins/wp/LogicCompiler.ml 5 additions, 3 deletionssrc/plugins/wp/LogicCompiler.ml
- src/plugins/wp/LogicCompiler.mli 3 additions, 1 deletionsrc/plugins/wp/LogicCompiler.mli
- src/plugins/wp/LogicSemantics.ml 3 additions, 2 deletionssrc/plugins/wp/LogicSemantics.ml
- src/plugins/wp/ProofEngine.ml 3 additions, 21 deletionssrc/plugins/wp/ProofEngine.ml
- src/plugins/wp/ProofEngine.mli 2 additions, 5 deletionssrc/plugins/wp/ProofEngine.mli
- src/plugins/wp/ProofScript.ml 5 additions, 3 deletionssrc/plugins/wp/ProofScript.ml
- src/plugins/wp/ProofScript.mli 2 additions, 1 deletionsrc/plugins/wp/ProofScript.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/ProverScript.ml 2 additions, 1 deletionsrc/plugins/wp/ProverScript.ml
Loading
Please register or sign in to comment