Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. less ambitious parallelism: avoid problems with HOL-Proofs and threads=2 (congestion with many thousands futures and rather dense heap);
  2. clarified modules;
Changeset 68026:a8ee8e4884ec by wenzelm:
less ambitious parallelism: avoid problems with HOL-Proofs and threads=2 (congestion with many thousands futures and rather dense heap);
The file was modified src/Pure/proofterm.ML (diff)
Changeset 68025:7fb7a6366a40 by wenzelm:
clarified modules;
The file was modified src/Pure/Concurrent/multithreading.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/goal.ML (diff)