| Wed, 03 Nov 2010 22:26:53 +0100 |
blanchet |
standardize on seconds for Nitpick and Sledgehammer timeouts
|
file |
diff |
annotate
|
| Tue, 14 Sep 2010 13:24:18 +0200 |
blanchet |
remove "fast_descs" option from Nitpick;
|
file |
diff |
annotate
|
| Mon, 06 Sep 2010 17:51:26 +0200 |
blanchet |
remove "minipick" (the toy version of Nitpick) and some tests;
|
file |
diff |
annotate
|
| Tue, 03 Aug 2010 17:43:15 +0200 |
blanchet |
speed up Nitpick examples a little bit
|
file |
diff |
annotate
|
| Sat, 03 Jul 2010 00:50:35 +0200 |
blanchet |
adapt Nitpick to "prod_case" and "*" -> "sum" renaming;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2010 15:03:07 +0200 |
haftmann |
merged constants "split" and "prod_case" -- nitpick behaves differently
|
file |
diff |
annotate
|
| Tue, 15 Jun 2010 10:47:06 +0200 |
blanchet |
make example run a bit faster (might help atbroy102)
|
file |
diff |
annotate
|
| Wed, 02 Jun 2010 10:50:53 +0200 |
blanchet |
fix parameter settings
|
file |
diff |
annotate
|
| Tue, 01 Jun 2010 17:45:28 +0200 |
blanchet |
added examples/tests for THE and SOME
|
file |
diff |
annotate
|
| Fri, 28 May 2010 22:51:04 +0200 |
blanchet |
remove two examples, now that the definition of "fst" and "snd" has changed
|
file |
diff |
annotate
|
| Fri, 23 Apr 2010 23:35:43 +0200 |
wenzelm |
mark schematic statements explicitly;
|
file |
diff |
annotate
|
| Fri, 26 Feb 2010 16:49:46 +0100 |
blanchet |
more work on the new monotonicity stuff in Nitpick
|
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
|
| Fri, 18 Dec 2009 12:00:29 +0100 |
blanchet |
polished Nitpick's binary integer support etc.;
|
file |
diff |
annotate
|
| 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
|
| Mon, 14 Dec 2009 10:31:35 +0100 |
blanchet |
make Nitpick "Core" test more conservative, to avoid problems on Larry's machine
|
file |
diff |
annotate
|
| Fri, 23 Oct 2009 20:13:33 +0200 |
blanchet |
make the Nitpick examples work again
|
file |
diff |
annotate
|
| Fri, 23 Oct 2009 18:59:24 +0200 |
blanchet |
continuation of Nitpick's integration into Isabelle;
|
file |
diff |
annotate
|