Wed, 10 Mar 2010 14:21:01 +0100 | blanchet | fixed soundness bug in Nitpick | file | diff | annotate |
Tue, 09 Feb 2010 16:07:51 +0100 | blanchet | 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 | blanchet | 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 | blanchet | polished Nitpick's binary integer support etc.; | file | diff | annotate |