Tue, 09 Feb 2010 16:07:51 +0100 |
optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers
|
file | diff | annotate |
Fri, 05 Feb 2010 14:27:21 +0100 |
added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability
|
file | diff | annotate |
Fri, 18 Dec 2009 12:00:29 +0100 |
polished Nitpick's binary integer support etc.;
|
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 |
Fri, 23 Oct 2009 20:13:33 +0200 |
make the Nitpick examples work again
|
file | diff | annotate |
Fri, 23 Oct 2009 18:59:24 +0200 |
continuation of Nitpick's integration into Isabelle;
|
file | diff | annotate |