| Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | add versioning to MaSh state + cleanup dead code | file | diff | annotate |
| Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | more MaSh docs | file | diff | annotate |
| Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | mention MaSh in docs | file | diff | annotate |
| Wed, 18 Jul 2012 08:44:03 +0200 | blanchet | doc updates | file | diff | annotate |
| Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | update docs | file | diff | annotate |
| Wed, 06 Jun 2012 10:35:05 +0200 | blanchet | updated docs | file | diff | annotate |
| Wed, 06 Jun 2012 10:35:05 +0200 | blanchet | updated docs | file | diff | annotate |
| Wed, 06 Jun 2012 10:35:05 +0200 | blanchet | swap adjectives (cf. Google) | file | diff | annotate |
| Mon, 28 May 2012 20:50:55 +0200 | blanchet | update docs | file | diff | annotate |
| Wed, 23 May 2012 13:37:26 +0200 | blanchet | doc updates | file | diff | annotate |
| Sun, 22 Apr 2012 14:16:46 +0200 | blanchet | fixed typos | file | diff | annotate |
| Sat, 21 Apr 2012 11:15:49 +0200 | blanchet | swap out Satallax, pull in E-SInE again -- it's not clear yet how useful Satallax is after proof reconstruction, whereas E-SInE performed surprisingly well on latest evaluations | file | diff | annotate |
| Thu, 19 Apr 2012 11:00:12 +0200 | blanchet | doc update | file | diff | annotate |
| Wed, 18 Apr 2012 22:40:25 +0200 | blanchet | update documentation (mostly based on feedback by Makarius) | file | diff | annotate |
| Wed, 18 Apr 2012 10:53:27 +0200 | blanchet | doc update | file | diff | annotate |
| Wed, 21 Mar 2012 16:53:24 +0100 | blanchet | doc update | file | diff | annotate |
| Tue, 20 Mar 2012 18:42:45 +0100 | blanchet | doc update | file | diff | annotate |
| Tue, 20 Mar 2012 00:44:30 +0100 | blanchet | document "dont_preplay" | file | diff | annotate |
| Fri, 24 Feb 2012 11:23:35 +0100 | blanchet | added support for Alt-Ergo through Why3 (mostly for experimental purposes, e.g. polymorphism vs. monomorphization) | file | diff | annotate |
| Fri, 24 Feb 2012 11:23:33 +0100 | blanchet | doc fixes (thanks to Nik) | file | diff | annotate |
| Mon, 06 Feb 2012 23:01:01 +0100 | blanchet | renamed type encoding | file | diff | annotate |
| Sat, 04 Feb 2012 12:08:18 +0100 | blanchet | fixed docs | file | diff | annotate |
| Sat, 04 Feb 2012 12:08:18 +0100 | blanchet | made option available to users (mostly for experiments) | file | diff | annotate |
| Mon, 30 Jan 2012 17:15:59 +0100 | blanchet | docs and news | file | diff | annotate |
| Thu, 19 Jan 2012 21:37:12 +0100 | blanchet | minor edits in docs | file | diff | annotate |
| Thu, 19 Jan 2012 21:37:12 +0100 | blanchet | updated Sledge docs some more | file | diff | annotate |
| Thu, 19 Jan 2012 21:37:12 +0100 | blanchet | more doc updates | file | diff | annotate |
| Thu, 19 Jan 2012 21:37:12 +0100 | blanchet | updated docs | file | diff | annotate |
| Tue, 17 Jan 2012 18:25:36 +0100 | blanchet | improve installation instructions | file | diff | annotate |
| Wed, 21 Dec 2011 15:04:28 +0100 | blanchet | updated docs | file | diff | annotate |