Mon, 14 Dec 2009 10:59:46 +0100 | blanchet | 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 13:51:16 +0100 | blanchet | use SAT solver that's available everywhere for this example | file | diff | annotate |
Fri, 23 Oct 2009 18:59:24 +0200 | blanchet | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |