Fri, 29 Oct 2010 18:17:11 +0200 | boehmes | updated SMT certificates | changeset | files |
Fri, 29 Oct 2010 18:17:10 +0200 | boehmes | eta-expand built-in constants; also rewrite partially applied natural number terms | changeset | files |
Fri, 29 Oct 2010 18:17:09 +0200 | boehmes | optionally drop assumptions which cannot be preprocessed | changeset | files |
Fri, 29 Oct 2010 18:17:08 +0200 | boehmes | added crafted list of SMT built-in constants | changeset | files |
Fri, 29 Oct 2010 18:17:06 +0200 | boehmes | clarified error message | changeset | files |
Fri, 29 Oct 2010 18:17:05 +0200 | boehmes | tuned | changeset | files |