| Mon, 26 Sep 2011 20:53:53 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Mon, 26 Sep 2011 20:39:18 +0200 | wenzelm | reverted 09cdc4209d25 for formal reasons: it did not say what was "broken" nor "fixed", but broke IsaMakefile dependencies; | changeset | files |
| Mon, 26 Sep 2011 20:31:41 +0200 | wenzelm | makedist for release; | changeset | files |
| Mon, 26 Sep 2011 14:03:43 +0200 | blanchet | put MiniSat back first -- Torlak's eval seemed to suggest that Crypto and Lingeling were better, but Crypto is slower on "Nitpick_Examples" and Crypto crashes | changeset | files |
| Mon, 26 Sep 2011 11:41:52 +0200 | blanchet | require Java 1.6 in the Nitpick documentation -- technically 1.5 will also work with Kodkodi 1.2.16, but it won't work with Kodkodi 1.5.0 | changeset | files |
| Mon, 26 Sep 2011 11:41:52 +0200 | blanchet | put CryptoMiniSat first and remove warning about unsoundness now that it has been fixed in Kodkod | changeset | files |