Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Pure/System/message_channel.ML
Tue, 21 Jul 2015 14:12:45 +0200
wenzelm
more explicit thread identification;
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, 26 Nov 2014 20:05:34 +0100
wenzelm
renamed "pairself" to "apply2", in accordance to @{apply 2};
file
|
diff
|
annotate
Fri, 31 Oct 2014 22:48:00 +0100
wenzelm
tuned;
file
|
diff
|
annotate
Fri, 27 Jun 2014 22:08:55 +0200
wenzelm
more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section;
file
|
diff
|
annotate
Fri, 25 Apr 2014 23:42:25 +0200
wenzelm
manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
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
Tue, 30 Jul 2013 21:22:37 +0200
wenzelm
less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace;
file
|
diff
|
annotate
Wed, 10 Jul 2013 23:25:28 +0200
wenzelm
more abstract message channel;
file
|
diff
|
annotate
less
more
(0)
tip