Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- tuned;
- clarified;
- tuned;
- use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent);
- add build uuid to schedule;
- tuned;
- use schedule directly instead of extra cache;
- added build schedule command-line wrapper;
- added graphical representation of build schedules;
- clarified build heuristics parameters;
- proper parallel paths: factor in elapsed time;
- performance tuning: cache estimates;
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/System/isabelle_tool.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |