| Mon, 17 Aug 2015 16:27:12 +0200 |
wenzelm |
explicit debug flag for ML compiler;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2015 15:19:25 +0200 |
wenzelm |
abstract exn_id based on getExnId in polyml/basis/FinalPolyML.sml (NB: the mutable machine word cannot be inspected in ML, e.g. toplevel pp dumps core);
|
file |
diff |
annotate
|
| Sun, 16 Aug 2015 23:14:27 +0200 |
wenzelm |
clarified initial ML name space (amending 7aad4be8a48e);
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 21:38:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 20:05:27 +0200 |
wenzelm |
print values for stack entry;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2015 16:43:53 +0200 |
wenzelm |
clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default;
|
file |
diff |
annotate
|
| Thu, 16 Jul 2015 14:40:23 +0200 |
wenzelm |
additional ML parse tree components for Poly/ML 5.5.3, or later;
|
file |
diff |
annotate
|
| Thu, 16 Jul 2015 11:10:57 +0200 |
wenzelm |
ML debugger interface;
|
file |
diff |
annotate
|
| Thu, 29 Jan 2015 16:16:01 +0100 |
wenzelm |
tuned bootstrap;
|
file |
diff |
annotate
|
| Thu, 29 Jan 2015 15:21:16 +0100 |
wenzelm |
explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64;
|
file |
diff |
annotate
|
| Wed, 10 Dec 2014 19:24:54 +0100 |
wenzelm |
more careful handling of auxiliary environment structure -- allow nested ML evaluation;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 14:35:55 +0100 |
wenzelm |
more informative failure of protocol commands, with exception trace;
|
file |
diff |
annotate
|
| Thu, 31 Jul 2014 22:02:21 +0200 |
wenzelm |
prefer dynamic ML_print_depth if context happens to be available;
|
file |
diff |
annotate
|
| Thu, 31 Jul 2014 20:59:10 +0200 |
wenzelm |
clarified compile-time use of ML_print_depth;
|
file |
diff |
annotate
|
| Sat, 19 Apr 2014 17:28:07 +0200 |
wenzelm |
obsolete since polyml-5.5.0;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 15:38:54 +0200 |
wenzelm |
approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2014 17:12:40 +0100 |
wenzelm |
clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
|
file |
diff |
annotate
|
| Wed, 26 Mar 2014 08:59:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 19:27:55 +0100 |
wenzelm |
more warnings for recent versions of Poly/ML (see also fe1f6a1707f7);
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 19:03:02 +0100 |
wenzelm |
proper configuration option "ML_print_depth";
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 13:18:10 +0100 |
wenzelm |
added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 13:50:44 +0100 |
wenzelm |
simplified polyml-5.5.2 setup -- implicit upgrade of Thread.numProcessors;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2013 20:38:39 +0100 |
wenzelm |
tuned patterns;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2013 18:02:22 +0100 |
wenzelm |
support for polml-5.5.2;
|
file |
diff |
annotate
|
| Wed, 16 Oct 2013 12:14:35 +0200 |
wenzelm |
avoid non-portable int constant -- make SML/NJ happy;
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 13:18:51 +0200 |
wenzelm |
improved printing of exception trace in Poly/ML 5.5.1;
|
file |
diff |
annotate
|
| Thu, 01 Aug 2013 23:10:46 +0200 |
wenzelm |
optional static analysis for Poly/ML 5.5.x;
|
file |
diff |
annotate
|
| Fri, 19 Jul 2013 20:56:39 +0200 |
wenzelm |
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
|
file |
diff |
annotate
|
| Mon, 08 Apr 2013 16:06:54 +0200 |
wenzelm |
more defensive representation of forced break within PolyML.PrettyBreak -- avoid accidental blowup if low-level operations are used, notably PolyML.makestring or its variant General.exnMessage;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2013 16:26:36 +0100 |
wenzelm |
more explicit treatment of (optional) exception properties, notably for "serial" -- avoid conflict with startPosition = offset;
|
file |
diff |
annotate
|