| Wed, 20 Jul 2011 15:09:53 +0200 | boehmes | removed debugging facilities accidentally left in the committed code | changeset | files |
| Wed, 20 Jul 2011 13:29:54 +0200 | boehmes | more precise dependencies | changeset | files |
| Wed, 20 Jul 2011 13:27:01 +0200 | boehmes | merged | changeset | files |
| Wed, 20 Jul 2011 12:23:20 +0200 | boehmes | generalized lambda-lifting such that it is less specifically tailored for SMT (it does not anymore dependent on any SMT-specific code) | changeset | files |
| Wed, 20 Jul 2011 09:23:12 +0200 | boehmes | moved lambda-lifting on terms into a separate structure (for better re-use in tools other than SMT) | changeset | files |
| Wed, 20 Jul 2011 09:23:09 +0200 | boehmes | removed old (unused) SMT monomorphizer | changeset | files |