Wed, 17 Feb 2010 09:48:52 +0100 | haftmann | more close integration with theory Map | changeset | files |
Wed, 17 Feb 2010 09:48:52 +0100 | haftmann | mappings implemented by association lists | changeset | files |
Tue, 16 Feb 2010 20:42:44 +0100 | wenzelm | merged | changeset | files |
Tue, 16 Feb 2010 16:20:46 +0100 | boehmes | updated SMT certificates | changeset | files |
Tue, 16 Feb 2010 16:20:34 +0100 | boehmes | include solver arguments as comments in SMT problem files (to distinguish different results from the same problem when caching results) | changeset | files |
Tue, 16 Feb 2010 15:26:24 +0100 | boehmes | updated SMT certificates | changeset | files |
Tue, 16 Feb 2010 15:25:36 +0100 | boehmes | added Cache_IO: cache for output of external tools, | changeset | files |