| commit | 25a128513d5e9f01f34f3d3eaea478fa7b0de09c | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Tue, 8 Oct 2024 13:11:12 +0000 (8 15:11 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Tue, 8 Oct 2024 13:11:12 +0000 (8 15:11 +0200) | ||
| tree | abdb3cd74b59a63321734fed8137543807107e50 | treesnapshot (tar.gz zip) |
| parent | 0b96bc34b620780faeff2dac6985d2a79de4e543 | commitdiff |
drivers for Alt-Ergo 2.6: FPA implicit, CE and BV
| drivers/alt_ergo_26.drv | [new file with mode: 0644] | blob |
| drivers/alt_ergo_26_bv.drv | [moved from drivers/alt_ergo_bv.drv with 50% similarity] | diffblobblamehistory |
| drivers/alt_ergo_26_ce.drv | [new file with mode: 0644] | blob |
| examples/tests-provers/bitvec/why3session.xml | diffblobblamehistory | |
| examples/tests-provers/zeros/why3session.xml | diffblobblamehistory | |
| examples/use_api/oracles/test-api-counterexample.stdout | diffblobblamehistory | |
| share/provers-detection-data.conf | diffblobblamehistory |