ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

249 Commits

Author SHA1 Message Date
Claude Marche
efed8566d6 provers for reduced bench 2025-12-11 21:28:15 +01:00
Claude Marche
1558726fcb proper renaming of E prover 2.6 2025-12-11 13:58:58 +01:00
Claude Marche
2095b61181 eprover and spass and Z3 4.14 2025-12-11 12:03:25 +01:00
Claude Marche
96debf4ef3 come on, let's fix again 2025-12-11 11:00:35 +01:00
Claude Marche
c3c97aeb55 build image only for the branch commit, not the MR 2025-12-11 10:48:26 +01:00
Claude Marche
0f40e89fbc add E prover 2.6 2025-12-11 10:29:15 +01:00
Claude Marche
95c6f966ee adding package adduser 2025-12-09 11:16:32 +01:00
Claude Marche
d879324ed5 upgrade DEbian version for bench 2025-12-09 11:10:41 +01:00
Claude Marche
05ec3c2e31 show ldd info for z3 2025-12-09 10:43:49 +01:00
Claude Marche
3b71ffe67f z3 requires libstdc++ 2025-12-09 10:43:49 +01:00
Claude Marche
b767de2cd1 cvc5 OK, z3 needs glibc 2025-12-09 10:43:49 +01:00
Claude Marche
1b7f37143e try with static versions of cvc5 2025-12-09 10:43:49 +01:00
Claude Marche
c75d4194c9 attempt to fix prover installation 2025-12-09 10:43:49 +01:00
Claude Marche
0c184d9297 upgrade policy for CVC5 2025-12-09 10:43:49 +01:00
Claude Marche
8cff58bc24 fix mistake 2025-12-09 10:43:49 +01:00
Claude Marche
7798158472 fix install of cvc5 1.1.x and 1.2.x 2025-12-09 10:43:49 +01:00
Claude Marche
7620017bbf upgraded provers in examples 2025-12-09 10:43:46 +01:00
Claude Marche
27884e1d27 more provers, replay restricted to real examples 2025-12-09 10:42:26 +01:00
Claude Marche
6126a56a0f add missing pkg zlib1g-dev 2025-12-09 10:42:26 +01:00
Claude Marche
f61692625d add missing pkg-config 2025-12-09 10:42:26 +01:00
Claude Marche
8ef01fd1b3 Build another image with more versions of Alt-Ergo 2025-12-09 10:42:26 +01:00
Claude Marche
c2c6798c6d use larger worker and longer timeout 2025-12-09 10:42:26 +01:00
Claude Marche
ae4909d905 full bench 2025-12-09 10:42:26 +01:00
MARCHE Claude
e053e2ef6b update after release 1.8.2 2025-09-15 13:38:49 +02:00
Claude Marche
b723bd4add update release doc 2025-06-04 11:15:46 +02:00