| Thu, 10 May 2012 10:07:41 +0200 | blanchet | pass fewer facts to LEO-II and Satallax | changeset | files |
| Thu, 10 May 2012 10:07:40 +0200 | blanchet | tweak LEO-II setup | changeset | files |
| Thu, 10 May 2012 10:07:40 +0200 | blanchet | use raw monomorphic encoding with Waldmeister, to avoid overloading it with too many function symbols (as would be the case using mangled monomorphic encodings) | changeset | files |
| Wed, 09 May 2012 11:24:38 +0200 | bulwahn | build Pure_64 with new settings | changeset | files |
| Wed, 09 May 2012 11:17:54 +0200 | bulwahn | tuned | changeset | files |
| Wed, 09 May 2012 10:39:54 +0200 | bulwahn | playing around with mira settings | changeset | files |
| Tue, 08 May 2012 14:35:13 +0200 | bulwahn | defining and proving Executable_Relation with lift_definition and transfer | changeset | files |