| Wed, 24 Sep 2014 17:33:53 +0200 | blanchet | made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow | changeset | files |
| Wed, 24 Sep 2014 16:35:42 +0200 | blanchet | improved 'bnf' parser | changeset | files |
| Wed, 24 Sep 2014 15:46:41 +0200 | blanchet | updated SMT certificates | changeset | files |
| Wed, 24 Sep 2014 15:46:40 +0200 | blanchet | allow homogeneous nesting for SMT (co)datatypes | changeset | files |
| Wed, 24 Sep 2014 15:46:25 +0200 | blanchet | interleave (co)datatypes in the right order w.r.t. dependencies | changeset | files |
| Wed, 24 Sep 2014 15:46:24 +0200 | blanchet | rule out nested (co)recursion for SMT (co)datatypes | changeset | files |
| Wed, 24 Sep 2014 15:46:23 +0200 | blanchet | gracefully handle types like 'enat' whose coinductive view is registered using 'free_constructors' | changeset | files |