Merge branch 'feature/wp/fix-time' into 'master'
[wp] fixing timeout and time-related stats See merge request frama-c/frama-c!4150
Showing
- src/libraries/utils/task.ml 6 additions, 6 deletionssrc/libraries/utils/task.ml
- src/libraries/utils/task.mli 2 additions, 2 deletionssrc/libraries/utils/task.mli
- src/plugins/wp/Cache.ml 5 additions, 5 deletionssrc/plugins/wp/Cache.ml
- src/plugins/wp/Cache.mli 1 addition, 1 deletionsrc/plugins/wp/Cache.mli
- src/plugins/wp/Changelog 1 addition, 0 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/ProverTask.ml 1 addition, 1 deletionsrc/plugins/wp/ProverTask.ml
- src/plugins/wp/ProverTask.mli 1 addition, 1 deletionsrc/plugins/wp/ProverTask.mli
- src/plugins/wp/ProverWhy3.ml 9 additions, 10 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/ProverWhy3.mli 1 addition, 1 deletionsrc/plugins/wp/ProverWhy3.mli
- src/plugins/wp/Stats.ml 4 additions, 5 deletionssrc/plugins/wp/Stats.ml
- src/plugins/wp/VCS.ml 21 additions, 18 deletionssrc/plugins/wp/VCS.ml
- src/plugins/wp/VCS.mli 4 additions, 4 deletionssrc/plugins/wp/VCS.mli
- src/plugins/wp/doc/manual/wp_plugin.tex 1 addition, 3 deletionssrc/plugins/wp/doc/manual/wp_plugin.tex
- src/plugins/wp/gui/GuiProver.ml 1 addition, 1 deletionsrc/plugins/wp/gui/GuiProver.ml
- src/plugins/wp/register.ml 2 additions, 1 deletionsrc/plugins/wp/register.ml
- src/plugins/wp/wp_parameters.ml 1 addition, 1 deletionsrc/plugins/wp/wp_parameters.ml
Loading
Please register or sign in to comment