Thu, 29 Oct 2009 21:57:59 +0100 | blanchet | eliminate two FIXMEs in Nitpick's monotonicity check code | changeset | files |
Thu, 29 Oct 2009 16:06:28 +0100 | blanchet | rename "NitpickMono" to "Nitpick_Mono" in example | changeset | files |
Thu, 29 Oct 2009 15:26:00 +0100 | blanchet | merged | changeset | files |
Thu, 29 Oct 2009 15:24:52 +0100 | blanchet | minor cleanup in Nitpick | changeset | files |
Thu, 29 Oct 2009 15:23:25 +0100 | blanchet | make "auto" SAT solver less verbose | changeset | files |
Thu, 29 Oct 2009 15:16:54 +0100 | blanchet | make "sizechange_tac" slightly less verbose | changeset | files |