isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip

Dummy version of parallel list combinators -- plain sequential evaluation.
2008-10-09, by wenzelm
added Concurrent/par_list_dummy.ML;
2008-10-09, by wenzelm
improved performance of skolem cache, due to parallel map;
2008-10-09, by wenzelm
SimpleThread.interrupt;
2008-10-09, by wenzelm
report: back to single message;
2008-10-09, by wenzelm
added section label;
2008-10-09, by wenzelm
tuned
2008-10-09, by haftmann
do logging to MASTERLOG centrally (avoid multiple writers over NFS as
2008-10-09, by kleing
removed legacy |>>>
2008-10-09, by haftmann
established canonical argument order in SML code generators
2008-10-09, by haftmann
established canonical argument order
2008-10-09, by haftmann
made SMLNJ happy
2008-10-09, by haftmann
less tracing;
2008-10-08, by wenzelm
Future.joint_results is already uninterruptible;
2008-10-08, by wenzelm
more careful handling of group interrupts;
2008-10-08, by wenzelm
use polyml-cvs, which fixes a serious deadlock problem of Poly/ML runtime vs. GC;
2008-10-08, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle