Merge branch 'feature/nix/add_wp_cache' into 'master'
Feature/nix/add wp cache Closes #827 See merge request frama-c/frama-c!2665
No related branches found
No related tags found
Showing
- nix/default.nix 3 additions, 0 deletionsnix/default.nix
- nix/frama-ci.nix 2 additions, 2 deletionsnix/frama-ci.nix
- src/plugins/wp/Makefile.in 57 additions, 21 deletionssrc/plugins/wp/Makefile.in
- src/plugins/wp/ProverWhy3.ml 57 additions, 23 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/tests/README.md 93 additions, 42 deletionssrc/plugins/wp/tests/README.md
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/01275315d793ba252a4b9df72ecabd4d.json 0 additions, 2 deletions...ing.0.session/cache/01275315d793ba252a4b9df72ecabd4d.json
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/08a266d8ed47524ea462446955f56846.json 0 additions, 2 deletions...ing.0.session/cache/08a266d8ed47524ea462446955f56846.json
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/e1fc6021cdde19d9948ccf4c1616f5af.json 0 additions, 2 deletions...ing.0.session/cache/e1fc6021cdde19d9948ccf4c1616f5af.json
- src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/f012dbdfa03c3e74dc9f8832e9facf36.json 0 additions, 2 deletions...ing.0.session/cache/f012dbdfa03c3e74dc9f8832e9facf36.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/0525a3301b5bb0c92ed92ef522e61874.json 0 additions, 1 deletion...est.0.session/cache/0525a3301b5bb0c92ed92ef522e61874.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/0ce714731484df1902a686c5924103bc.json 0 additions, 1 deletion...est.0.session/cache/0ce714731484df1902a686c5924103bc.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/0f622b3f81a8e11f60bca12efc09fa78.json 0 additions, 1 deletion...est.0.session/cache/0f622b3f81a8e11f60bca12efc09fa78.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/2cec25c1de073eabdf16960ce11ba301.json 0 additions, 1 deletion...est.0.session/cache/2cec25c1de073eabdf16960ce11ba301.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/36de3caebb5faa2a4bd508d9507150f3.json 0 additions, 2 deletions...est.0.session/cache/36de3caebb5faa2a4bd508d9507150f3.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/4c26c55e63e76d06602c73089568b8ac.json 0 additions, 2 deletions...est.0.session/cache/4c26c55e63e76d06602c73089568b8ac.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/4d621f078b8dd89d17ead89fb947a44b.json 0 additions, 1 deletion...est.0.session/cache/4d621f078b8dd89d17ead89fb947a44b.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/58490bb6b75160d1b06387948ec08e51.json 0 additions, 1 deletion...est.0.session/cache/58490bb6b75160d1b06387948ec08e51.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/653a01a4cc318d4ed5419c1e00fda5db.json 0 additions, 1 deletion...est.0.session/cache/653a01a4cc318d4ed5419c1e00fda5db.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/6a659ccb126ad529eebcdddd2b1a6d2a.json 0 additions, 1 deletion...est.0.session/cache/6a659ccb126ad529eebcdddd2b1a6d2a.json
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.0.session/cache/868a25cc36586ca49d7b78eced80572d.json 0 additions, 1 deletion...est.0.session/cache/868a25cc36586ca49d7b78eced80572d.json
Loading
Please register or sign in to comment