Fri, 18 Dec 2009 12:00:29 +0100 | polished Nitpick's binary integer support etc.; | file | diff | annotate |
Thu, 17 Dec 2009 15:22:11 +0100 | added support for binary nat/int representation to Nitpick | file | diff | annotate |
Mon, 14 Dec 2009 10:59:46 +0100 | make Nitpick tests more robust by specifying SAT solver, singlethreading (in Kodkod, not in Isabelle), and higher time limits | file | diff | annotate |
Tue, 17 Nov 2009 14:10:31 +0100 | fixed "expect" of Nitpick examples to reflect latest changes in Nitpick | file | diff | annotate |
Fri, 23 Oct 2009 18:59:24 +0200 | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |