Merge branch 'feature/wp/why3-api' into 'master'
use why3 api See merge request frama-c/frama-c!1921
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 17 additions, 4 deletions.gitlab-ci.yml
- headers/header_spec.txt 14 additions, 1 deletionheaders/header_spec.txt
- nix/default.nix 6 additions, 3 deletionsnix/default.nix
- src/libraries/utils/task.ml 1 addition, 0 deletionssrc/libraries/utils/task.ml
- src/libraries/utils/task.mli 13 additions, 0 deletionssrc/libraries/utils/task.mli
- src/plugins/qed/logic.ml 6 additions, 3 deletionssrc/plugins/qed/logic.ml
- src/plugins/qed/term.ml 143 additions, 72 deletionssrc/plugins/qed/term.ml
- src/plugins/qed/term.mli 6 additions, 0 deletionssrc/plugins/qed/term.mli
- src/plugins/wp/.gitignore 2 additions, 0 deletionssrc/plugins/wp/.gitignore
- src/plugins/wp/.merlin 2 additions, 0 deletionssrc/plugins/wp/.merlin
- src/plugins/wp/Definitions.ml 21 additions, 11 deletionssrc/plugins/wp/Definitions.ml
- src/plugins/wp/Definitions.mli 1 addition, 1 deletionsrc/plugins/wp/Definitions.mli
- src/plugins/wp/GuiConfig.ml 71 additions, 67 deletionssrc/plugins/wp/GuiConfig.ml
- src/plugins/wp/GuiConfig.mli 2 additions, 11 deletionssrc/plugins/wp/GuiConfig.mli
- src/plugins/wp/GuiGoal.ml 8 additions, 7 deletionssrc/plugins/wp/GuiGoal.ml
- src/plugins/wp/GuiList.ml 4 additions, 4 deletionssrc/plugins/wp/GuiList.ml
- src/plugins/wp/GuiNavigator.ml 6 additions, 7 deletionssrc/plugins/wp/GuiNavigator.ml
- src/plugins/wp/GuiPanel.ml 3 additions, 4 deletionssrc/plugins/wp/GuiPanel.ml
- src/plugins/wp/GuiPanel.mli 0 additions, 1 deletionsrc/plugins/wp/GuiPanel.mli
- src/plugins/wp/GuiProver.ml 5 additions, 5 deletionssrc/plugins/wp/GuiProver.ml
Loading
Please register or sign in to comment