Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. tuned;
  2. clarified;
  3. tuned;
  4. use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent);
  5. add build uuid to schedule;
  6. tuned;
  7. use schedule directly instead of extra cache;
  8. added build schedule command-line wrapper;
  9. added graphical representation of build schedules;
  10. clarified build heuristics parameters;
  11. proper parallel paths: factor in elapsed time;
  12. performance tuning: cache estimates;
Changeset 79189:f52201fc15b4 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79188:b0491edc1a9f by fabian huch _huch@in.tum.de_:
clarified;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79187:8cb732d7a98c by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79186:a22440b9cb70 by fabian huch _huch@in.tum.de_:
use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent);
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79185:cfed4fcf1dae by fabian huch _huch@in.tum.de_:
add build uuid to schedule;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79184:b5b5930bd40a by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79183:32d00ec387f4 by fabian huch _huch@in.tum.de_:
use schedule directly instead of extra cache;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79182:6202d0ff36b4 by fabian huch _huch@in.tum.de_:
added build schedule command-line wrapper;
The file was modified src/Pure/System/isabelle_tool.scala
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79181:9d6d559c9fde by fabian huch _huch@in.tum.de_:
added graphical representation of build schedules;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79180:229f49204603 by fabian huch _huch@in.tum.de_:
clarified build heuristics parameters;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79179:7ed43417770f by fabian huch _huch@in.tum.de_:
proper parallel paths: factor in elapsed time;
The file was modified src/Pure/Tools/build_schedule.scala
Changeset 79178:96e5d12c82fd by fabian huch _huch@in.tum.de_:
performance tuning: cache estimates;
The file was modified src/Pure/Tools/build_schedule.scala