| Mon, 01 Jun 2015 18:59:21 +0200 | haftmann | separate class for division operator, with particular syntax added in more specific classes | file | diff | annotate |
| Wed, 08 Apr 2015 19:05:57 +0200 | blanchet | updated certificates to latest Z3 (and took out one problem that no longer works) | file | diff | annotate |
| Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | updated SMT certificates | file | diff | annotate |
| Wed, 24 Sep 2014 15:46:41 +0200 | blanchet | updated SMT certificates | file | diff | annotate |
| Thu, 18 Sep 2014 00:03:46 +0200 | blanchet | renamed SMT certificate files, following 'SMT2' -> 'SMT' renaming | file | diff | annotate | base |
| Fri, 25 Apr 2014 22:13:17 +0200 | blanchet | use Z3 4.3.2 to fix most FIXMEs | file | diff | annotate |
| Thu, 13 Mar 2014 16:17:14 +0100 | blanchet | updated SMT2 certificates | file | diff | annotate |