Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- added method to generate build schedules directly;
- clarified load vs. apply vs. make;
- tuned;
- tuned heuristic;
- use cpu time for approximation;
- lower bound for approximated times;
- use full timing information in build schedule;
- consistent hosts ordering;
- filter hosts properly;
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/Tools/build_schedule.scala |
The file was modified | src/Pure/Tools/build_schedule.scala |