Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. notes on gnuplot;
  2. tuned;
  3. made SMT reconstruction more complete (bug report by Lukas Bulwahn)
  4. tuning
  5. stretch image according to history length;
  6. actually plot extended profile history;
  7. tuned output;
Changeset 65803:1fdb6ba9d32c by wenzelm:
notes on gnuplot;
The file was modified Admin/build_log/README (diff)
Changeset 65802:3fa7ee46a4c8 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65801:aeb776b5b054 by blanchet:
made SMT reconstruction more complete (bug report by Lukas Bulwahn)
The file was modified src/HOL/Tools/SMT/z3_replay_methods.ML (diff)
Changeset 65800:d53be2202859 by blanchet:
tuning
The file was modified src/HOL/Library/Cancellation.thy (diff)
Changeset 65799:ed705d6a6a63 by wenzelm:
stretch image according to history length;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65798:d459db0f6135 by wenzelm:
actually plot extended profile history;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65797:d76c9c5c0656 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)