Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers; retain notion of next_jobs.limit and finished() from 0e79fa88cab6; clarified Job vs. optional Build_Job;
  3. database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
  4. tuned;
  5. tuned whitespace;
  6. proper system option, instead of hardwired default;
  7. tuned signature: fewer warnings in IntelliJ IDEA;
  8. tuned comments;
  9. clarified build schedule host: proper module;
  10. remove unused dummy;
  11. tuned;
  12. use timeout as default build time predictor if no data is available;
Changeset 79888:7b4b524cdee2 by wenzelm:
merged
Changeset 79887:17220dc05991 by wenzelm:
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards &quot;editing&quot; builds via added/canceled workers;<br>retain notion of next_jobs.limit and finished() from 0e79fa88cab6;<br>clarified Job vs. optional Build_Job;
The file was modified src/Pure/Build/build_benchmark.scala
The file was modified src/Pure/Build/build_job.scala
The file was modified src/Pure/Build/build_process.scala
The file was modified src/Pure/Build/database_progress.scala
The file was modified src/Pure/System/progress.scala
Changeset 79886:7ae25372ab04 by wenzelm:
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
The file was modified etc/options
The file was modified src/Pure/Build/build_process.scala
Changeset 79885:70d4dcede0dc by wenzelm:
tuned;
The file was modified src/Pure/Build/build_process.scala
Changeset 79884:caf61c098754 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Build/database_progress.scala
Changeset 79883:6fa259b24deb by wenzelm:
proper system option, instead of hardwired default;
The file was modified etc/options
The file was modified src/Pure/Build/build_process.scala
Changeset 79882:6f9ae0f052bc by wenzelm:
tuned signature: fewer warnings in IntelliJ IDEA;
The file was modified src/Pure/General/sql.scala
Changeset 79881:098c770e03f5 by wenzelm:
tuned comments;
The file was modified src/Pure/Build/build_process.scala
Changeset 79880:a3d53f2bc41d by fabian huch _huch@in.tum.de_:
clarified build schedule host: proper module;
The file was modified src/Pure/Build/build_schedule.scala
Changeset 79879:c00181ecf869 by fabian huch _huch@in.tum.de_:
remove unused dummy;
The file was modified src/Pure/Build/build_schedule.scala
Changeset 79878:841d0a1a9e48 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Build/build_schedule.scala
Changeset 79877:9aef1d1535ff by fabian huch _huch@in.tum.de_:
use timeout as default build time predictor if no data is available;
The file was modified src/Pure/Build/build_schedule.scala