| Wed, 11 Jun 2014 08:58:42 +0200 | blanchet | got rid of 'listF' example, which is now subsumed by the real 'list' type | changeset | files |
| Tue, 10 Jun 2014 21:15:57 +0200 | blanchet | changed syntax of map: and rel: arguments to BNF-based datatypes | changeset | files |
| Tue, 10 Jun 2014 19:51:00 +0200 | blanchet | tuning | changeset | files |
| Tue, 10 Jun 2014 19:15:15 +0200 | blanchet | updated Z3 certificates | changeset | files |
| Tue, 10 Jun 2014 19:15:14 +0200 | blanchet | generate ':named' attributes in SMT-LIB 2 problems, to facilitate reconstruction | changeset | files |
| Tue, 10 Jun 2014 19:15:14 +0200 | blanchet | tuning | changeset | files |
| Tue, 10 Jun 2014 18:24:53 +0200 | Andreas Lochbihler | add type class instances for unit | changeset | files |
| Tue, 10 Jun 2014 12:16:22 +0200 | blanchet | use 'where' clause for selector default value syntax | changeset | files |