| Wed, 26 Oct 2016 22:40:28 +0200 | blanchet | tuning | changeset | files |
| Wed, 26 Oct 2016 20:59:36 +0200 | blanchet | preprocess typedefs and quotients correctly | changeset | files |
| Wed, 26 Oct 2016 17:32:50 +0200 | blanchet | adapted Nunchaku's input syntax to new design decisions | changeset | files |
| Wed, 26 Oct 2016 16:15:37 +0200 | wenzelm | more informative error (see 6e9c22c494c5); | changeset | files |
| Wed, 26 Oct 2016 16:05:41 +0200 | wenzelm | tuned signature -- more friendly for experimentation; | changeset | files |
| Wed, 26 Oct 2016 16:04:05 +0200 | wenzelm | clarified hg push return code: 1 means "nothing to push"; | changeset | files |
| Wed, 26 Oct 2016 15:21:16 +0200 | blanchet | proper Nunchaku setup to use CVC4 and Kodkod | changeset | files |
| Wed, 26 Oct 2016 15:14:17 +0200 | wenzelm | more specific hardware information: relevant for ultimate Mac OS X version; | changeset | files |