Merge branch 'feature/wp/import-why3' into 'master'
[wp] Why3 importer Closes #978 and #1262 See merge request frama-c/frama-c!4658
No related branches found
No related tags found
Showing
- doc/userman/user-acsl.tex 2 additions, 3 deletionsdoc/userman/user-acsl.tex
- src/plugins/wp/Changelog 1 addition, 0 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/Definitions.ml 23 additions, 7 deletionssrc/plugins/wp/Definitions.ml
- src/plugins/wp/Definitions.mli 4 additions, 0 deletionssrc/plugins/wp/Definitions.mli
- src/plugins/wp/Lang.ml 55 additions, 6 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 16 additions, 1 deletionsrc/plugins/wp/Lang.mli
- src/plugins/wp/LogicBuiltins.ml 12 additions, 0 deletionssrc/plugins/wp/LogicBuiltins.ml
- src/plugins/wp/LogicBuiltins.mli 6 additions, 1 deletionsrc/plugins/wp/LogicBuiltins.mli
- src/plugins/wp/ProverWhy3.ml 56 additions, 46 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/TacLemma.ml 1 addition, 0 deletionssrc/plugins/wp/TacLemma.ml
- src/plugins/wp/Why3Import.ml 200 additions, 161 deletionssrc/plugins/wp/Why3Import.ml
- src/plugins/wp/doc/.gitignore 1 addition, 0 deletionssrc/plugins/wp/doc/.gitignore
- src/plugins/wp/doc/manual/wp_builtins.tex 3 additions, 0 deletionssrc/plugins/wp/doc/manual/wp_builtins.tex
- src/plugins/wp/doc/manual/wp_plugin.tex 45 additions, 1 deletionsrc/plugins/wp/doc/manual/wp_plugin.tex
- src/plugins/wp/tests/wp_gallery/euclid2.c 26 additions, 0 deletionssrc/plugins/wp/tests/wp_gallery/euclid2.c
- src/plugins/wp/tests/wp_gallery/euclid3.c 43 additions, 0 deletionssrc/plugins/wp/tests/wp_gallery/euclid3.c
- src/plugins/wp/tests/wp_gallery/oracle/euclid2.res.oracle 101 additions, 0 deletionssrc/plugins/wp/tests/wp_gallery/oracle/euclid2.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle/euclid3.res.oracle 216 additions, 0 deletionssrc/plugins/wp/tests/wp_gallery/oracle/euclid3.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/euclid2.res.oracle 25 additions, 0 deletions...gins/wp/tests/wp_gallery/oracle_qualif/euclid2.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/euclid3.res.oracle 42 additions, 0 deletions...gins/wp/tests/wp_gallery/oracle_qualif/euclid3.res.oracle
Loading
Please register or sign in to comment