| Thu, 14 Apr 2016 16:59:47 +0200 |
wenzelm |
avoid misleading Simplifier trace in quickcheck, notably in auto quickcheck;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2015 21:00:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 20:36:25 +0200 |
wenzelm |
refer to Simplifier Trace panel on first invocation;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 17:37:22 +0200 |
wenzelm |
regular message to refer to Simplifier Trace panel (unused);
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 16:49:06 +0200 |
wenzelm |
misc tuning and simplification;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 16:04:45 +0200 |
wenzelm |
clarified "simp_trace_new" and corresponding isar-ref section;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 16:26:04 +0200 |
Lars Hupel |
consolidate "break_thm" and "break_term" attributes into "simp_break";
|
file |
diff |
annotate
|
| Mon, 31 Mar 2014 10:28:08 +0200 |
wenzelm |
support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 17:55:39 +0100 |
Lars Hupel |
tuned
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 20:07:31 +0100 |
wenzelm |
removed dead code;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 20:37:45 +0100 |
wenzelm |
proper term equality;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:29:02 +0100 |
wenzelm |
more standard names for protocol and markup elements;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 17:26:13 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 11 Feb 2014 11:30:33 +0100 |
Lars Hupel |
"no_memory" option for the simplifier trace to bypass memoization
|
file |
diff |
annotate
|
| Wed, 05 Feb 2014 15:44:32 +0100 |
Lars Hupel |
made SML/NJ happy
|
file |
diff |
annotate
|
| Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 22:38:25 +0100 |
wenzelm |
clarified Trace_Ops: global theory data avoids init of simpset in Pure.thy, which is important to act as neutral element in merge;
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 21:28:13 +0100 |
wenzelm |
skeleton for Simplifier trace by Lars Hupel;
|
file |
diff |
annotate
|