| Sat, 12 Mar 2016 22:04:52 +0100 |
haftmann |
model characters directly as range 0..255
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 23:05:30 +0100 |
blanchet |
fixed handling of 'case_prod' and other 'case' functions for interpreted types
|
file |
diff |
annotate
|
| Fri, 06 Dec 2013 09:42:13 +0100 |
blanchet |
reverted 86e0b402994c, which was accidentally qfinish'ed and pushed
|
file |
diff |
annotate
|
| Thu, 05 Dec 2013 13:38:20 +0100 |
blanchet |
experiment
|
file |
diff |
annotate
|
| Wed, 21 Sep 2011 15:55:16 +0200 |
blanchet |
reintroduced Minipick as Nitpick example
|
file |
diff |
annotate
|
| Tue, 24 May 2011 00:01:33 +0200 |
blanchet |
use \<emdash> rather than \<midarrow>
|
file |
diff |
annotate
|
| Mon, 04 Apr 2011 09:32:50 +0200 |
krauss |
raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics.
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 11:48:42 +0100 |
blanchet |
added a timestamp to Nitpick in verbose mode for debugging purposes;
|
file |
diff |
annotate
|
| Sat, 06 Nov 2010 10:25:08 +0100 |
blanchet |
make Nitpick datatype tests faster to make timeout less likely
|
file |
diff |
annotate
|
| 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
|
| Sat, 03 Jul 2010 00:50:35 +0200 |
blanchet |
adapt Nitpick to "prod_case" and "*" -> "sum" renaming;
|
file |
diff |
annotate
|
| Fri, 02 Jul 2010 16:10:59 +0200 |
haftmann |
accomodate for different behvaiour of nitpick (c.f. also 180e80b4eac1)
|
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
|
| 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
|