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
3,463 Commits 65 Branches 1 Tag
89294b259f0dfbcfae82ecd3648b95961b33fdf6
Commit Graph

26 Commits

Author SHA1 Message Date
Jean-Christophe
89294b259f updated proof session for decease1 2012-07-16 18:55:28 +02:00
Claude Marche
1929414971 update sessions after changes in stdlib 2012-05-19 09:30:13 +02:00
Claude Marche
2e1cc466e3 updated sessions 2012-05-18 10:10:49 +02:00
Claude Marche
7c9ab69f33 fix division bug with CVC3 2012-05-10 22:27:03 +02:00
Claude Marche
85aa8844c1 update session after Coq upgrade 2012-05-08 09:11:08 +02:00
Claude Marche
23fc7bee04 updated DTD of sessions 2012-03-26 16:53:48 +02:00
Andrei Paskevich
9b17d241a3 update sessions after the last commit 2012-03-18 12:29:09 +01:00
Andrei Paskevich
bd6d67ef3e update session files 2012-02-26 01:44:51 +01:00
Andrei Paskevich
b0fff343e0 improve eval_match 2012-02-25 22:27:52 +01:00
François Bobot
ab31cb9365 correct the version for alt-ergo and coq 2012-01-27 18:43:49 -06:00
Andrei Paskevich
b899b99bd4 update sessions 2011-12-15 13:28:45 +01:00
Andrei Paskevich
ca87ca9181 change z3 and cvc3 prover identifiers, accept alt-ergo 0.93 2011-12-13 19:41:44 +01:00
Claude Marche
3b2c173379 updated sessions 2011-11-04 17:31:29 +01:00
Claude Marche
70f13db7a1 updated sessions after change of shape computation 2011-10-12 21:47:20 +02:00
Jean-Christophe Filliatre
1ab4576fb2 decrease1: updated proof 2011-09-20 11:19:48 +02:00
Jean-Christophe Filliatre
61df284cb1 updated proof 2011-09-15 13:05:00 +02:00
Claude Marche
e4267f5c1f Task checksum does not depend on Pretty anymore 2011-09-14 15:35:01 +02:00
Claude Marche
f021759931 last updated proofs, bench should be OK now 2011-09-14 11:38:55 +02:00
Jean-Christophe Filliatre
0e9d26aef7 updated proof sessions 2011-07-06 11:57:00 +02:00
Jean-Christophe Filliatre
86fb97c03e updated session files for 57a980a93b 2011-07-04 18:25:49 +02:00
Andrei Paskevich
991545d163 sanitize filenames generated by Driver 2011-07-02 14:36:51 +02:00
Jean-Christophe Filliatre
aee107f3c2 updated proofs on moloch 2011-05-23 15:26:16 +02:00
Jean-Christophe Filliatre
9417937790 programs: WP code refactored 2011-05-23 14:33:51 +02:00
Claude Marche
342f7914fa sessions files appropriate for moloch 2011-05-17 10:46:36 +02:00
Jean-Christophe Filliatre
01546f5dfd syntax [] for array access in programs 2011-05-16 15:59:52 +02:00