Wed, 03 Nov 2010 22:26:53 +0100 | blanchet | standardize on seconds for Nitpick and Sledgehammer timeouts | file | diff | annotate |
Tue, 03 Aug 2010 17:43:15 +0200 | blanchet | speed up Nitpick examples a little bit | file | diff | annotate |
Mon, 22 Feb 2010 19:31:00 +0100 | blanchet | enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit | 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 |