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
6,967 Commits 65 Branches 1 Tag
b92e8a7df8cde28f7f200f763372e989c1cecde6
Commit Graph

34 Commits

Author SHA1 Message Date
Claude Marche
a120c27e27 updated sessions 2015-10-19 16:08:43 +02:00
Claude Marche
13d953d251 updated sessions 2015-10-19 15:06:07 +02:00
Claude Marche
234d97ff17 update more sessions 2015-08-22 08:33:33 +02:00
Claude Marche
a5af70bb21 updated sessions 2015-07-06 15:07:41 +02:00
Claude Marche
8fb416d303 updated sessions using the new combined checksum for theories 2014-09-16 08:53:47 +02:00
Andrei Paskevich
310c51d004 rename "split_goal" to "split_goal_wp" in session files 2014-09-04 21:08:44 +02:00
Andrei Paskevich
0ee272e696 update sessions 2014-09-03 17:07:36 +02:00
Claude Marche
f5fc33ec2f updated sessions after running a full replay with forced save 2014-09-01 17:34:10 +02:00
Claude Marche
0482320519 fixed some sessions (Coq8.4 pl3 -> pl4) 2014-08-25 09:52:13 +02:00
Claude Marche
d3dfe8ec40 compressed sessions 2014-06-28 14:08:40 +02:00
Claude Marche
89e5b66eb2 updated new sessions with separate files for shapes 2014-06-26 16:29:45 +02:00
Claude Marche
74e13e2e92 updated sessions 2014-06-22 07:45:09 +02:00
Claude Marche
40109e4f6b updated sessions (reduction of file size) 2014-06-21 07:20:55 +02:00
Andrei Paskevich
a9f89de3c5 upgrade the Coq version in the examples 2014-06-13 08:17:00 +02:00
Claude Marche
a0279278ba replay obsolete sessions 2014-04-25 11:27:41 +02:00
Claude Marche
04ff49e146 updated obsolete sessions 2014-03-13 17:39:51 +01:00
Jean-Christophe Filliatre
397e8c4d7d gallery: more proofs of termination 2014-01-22 18:13:40 +01:00
Andrei Paskevich
b67fb7c087 update sessions 2014-01-19 23:14:51 +01:00
Andrei Paskevich
b3e306290f update unchanged sessions 2013-11-09 01:05:39 +01:00
Claude Marche
8bd7b8d16a Discriminate: relaxed parameters 2013-10-28 10:56:15 +01:00
Andrei Paskevich
717baeab10 do not refresh non-aliased regions at the start of a function WP 2013-09-20 11:26:53 +02:00
Guillaume Melquiond
24c33a5488 Update testsuite to Coq 8.4. 2013-08-20 14:56:11 +02:00
Andrei Paskevich
2e1113a0ef update sessions 2013-08-07 15:42:00 +02:00
Andrei Paskevich
9bf1998f91 update sessions (in progress) 2013-08-07 01:29:04 +02:00
Claude Marche
288df6dba0 more sessions fixed after change of shape version 2013-07-17 18:01:26 +02:00