Merge branch 'feature/wp/fix-gui-provers' into 'master'
[wp] fix why-3 prover interface (gui & cmdline) Closes #713 and #121 See merge request frama-c/frama-c!2389
Showing
- .Makefile.lint 0 additions, 2 deletions.Makefile.lint
- src/libraries/utils/task.ml 48 additions, 49 deletionssrc/libraries/utils/task.ml
- src/libraries/utils/task.mli 47 additions, 48 deletionssrc/libraries/utils/task.mli
- src/plugins/qed/export_altergo.ml 2 additions, 2 deletionssrc/plugins/qed/export_altergo.ml
- src/plugins/wp/Changelog 8 additions, 4 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/GuiConfig.ml 5 additions, 72 deletionssrc/plugins/wp/GuiConfig.ml
- src/plugins/wp/GuiConfig.mli 3 additions, 7 deletionssrc/plugins/wp/GuiConfig.mli
- src/plugins/wp/GuiGoal.ml 21 additions, 11 deletionssrc/plugins/wp/GuiGoal.ml
- src/plugins/wp/GuiGoal.mli 1 addition, 1 deletionsrc/plugins/wp/GuiGoal.mli
- src/plugins/wp/GuiList.ml 12 additions, 6 deletionssrc/plugins/wp/GuiList.ml
- src/plugins/wp/GuiList.mli 1 addition, 1 deletionsrc/plugins/wp/GuiList.mli
- src/plugins/wp/GuiNavigator.ml 63 additions, 27 deletionssrc/plugins/wp/GuiNavigator.ml
- src/plugins/wp/GuiPanel.ml 48 additions, 86 deletionssrc/plugins/wp/GuiPanel.ml
- src/plugins/wp/GuiPanel.mli 2 additions, 1 deletionsrc/plugins/wp/GuiPanel.mli
- src/plugins/wp/ProverScript.ml 0 additions, 1 deletionsrc/plugins/wp/ProverScript.ml
- src/plugins/wp/ProverTask.ml 7 additions, 2 deletionssrc/plugins/wp/ProverTask.ml
- src/plugins/wp/ProverWhy3.ml 134 additions, 81 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/ProverWhy3.mli 2 additions, 0 deletionssrc/plugins/wp/ProverWhy3.mli
- src/plugins/wp/RefUsage.ml 2 additions, 0 deletionssrc/plugins/wp/RefUsage.ml
- src/plugins/wp/RefUsage.mli 1 addition, 0 deletionssrc/plugins/wp/RefUsage.mli
Loading
Please register or sign in to comment