Wed, 12 May 2010 23:53:57 +0200 | boehmes | added new SMT translation files which use a simpler intermediate term representation and a simpler translation of builtin symbols, have less overhead for renaming symbols and generating the signature, add come with a simpler separation of formulas and terms | changeset | files |
Wed, 12 May 2010 23:53:56 +0200 | boehmes | deleted SMT translation files (to be replaced by a simplified version) | changeset | files |
Wed, 12 May 2010 23:53:55 +0200 | boehmes | move the addition of extra facts into a separate module | changeset | files |