Merge branch 'feature/wp/update-provers-1.3.1' into 'stable/scandium'
[wp] upgrade prover versions See merge request frama-c/frama-c!2591
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 5 additions, 40 deletions.gitlab-ci.yml
- nix/default.nix 17 additions, 18 deletionsnix/default.nix
- nix/frama-ci.nix 2 additions, 2 deletionsnix/frama-ci.nix
- nix/frama-ci.sh 1 addition, 1 deletionnix/frama-ci.sh
- opam/opam 1 addition, 1 deletionopam/opam
- src/plugins/wp/Makefile.in 10 additions, 2 deletionssrc/plugins/wp/Makefile.in
- src/plugins/wp/ProverWhy3.ml 29 additions, 43 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/VCS.ml 1 addition, 1 deletionsrc/plugins/wp/VCS.ml
- src/plugins/wp/configure.ac 10 additions, 2 deletionssrc/plugins/wp/configure.ac
- src/plugins/wp/share/.gitignore 1 addition, 1 deletionsrc/plugins/wp/share/.gitignore
- src/plugins/wp/tests/qualif.report 1 addition, 1 deletionsrc/plugins/wp/tests/qualif.report
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/01275315d793ba252a4b9df72ecabd4d.json 2 additions, 0 deletions...ing.0.session/cache/01275315d793ba252a4b9df72ecabd4d.json
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/581afbf7dec3e6ca7cfa496b2276fc75.json 0 additions, 2 deletions...ing.0.session/cache/581afbf7dec3e6ca7cfa496b2276fc75.json
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/d08d8d07c11d455f177f79547b3b44a7.json 0 additions, 2 deletions...ing.0.session/cache/d08d8d07c11d455f177f79547b3b44a7.json
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/e1fc6021cdde19d9948ccf4c1616f5af.json 2 additions, 0 deletions...ing.0.session/cache/e1fc6021cdde19d9948ccf4c1616f5af.json
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/f012dbdfa03c3e74dc9f8832e9facf36.json 2 additions, 0 deletions...ing.0.session/cache/f012dbdfa03c3e74dc9f8832e9facf36.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/0525a3301b5bb0c92ed92ef522e61874.json 1 addition, 0 deletions...est.0.session/cache/0525a3301b5bb0c92ed92ef522e61874.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/0ce714731484df1902a686c5924103bc.json 0 additions, 0 deletions...est.0.session/cache/0ce714731484df1902a686c5924103bc.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/0f622b3f81a8e11f60bca12efc09fa78.json 1 addition, 0 deletions...est.0.session/cache/0f622b3f81a8e11f60bca12efc09fa78.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/0fc0c87545f218082b029769b99f3cbb.json 0 additions, 1 deletion...est.0.session/cache/0fc0c87545f218082b029769b99f3cbb.json
Loading
Please register or sign in to comment