Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified modules;
  2. clarified signature;
  3. clarified SEQ: more sequential evaluation to support multiple tests (see also 5c91bd51fc37);
  4. tuned signature;
  5. proper Compress.Cache;
  6. clarified signature;
  7. more parallelism via consumer thread: with mailbox limit to avoid ressource problems;
  8. support for mailbox limit;
  9. tuned signature;
  10. discontinued pointless option (reverting 63d55ba90a9f): performance tuning works better via SQL.Database.execute_batch_statement;
  11. clarified database transactions (see also 2c704ae04db1, 7bd0a250183b);
Changeset 78872:711acefe97a3 by wenzelm:
clarified modules;
The file was modified etc/build.props (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was removedsrc/Pure/Admin/isabelle_devel.scala
Changeset 78871:3b21101c5b6b by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 78870:674362fd8c96 by wenzelm:
clarified SEQ: more sequential evaluation to support multiple tests (see also 5c91bd51fc37);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78869:f464f6bc5809 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78868:78fcd5bf6b2a by wenzelm:
proper Compress.Cache;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78867:b02f8fb6b1b6 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78866:1bd52b048f8e by wenzelm:
more parallelism via consumer thread: with mailbox limit to avoid ressource problems;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78865:a0199212046a by wenzelm:
support for mailbox limit;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
The file was modified src/Pure/Concurrent/mailbox.scala (diff)
Changeset 78864:2024a2298d7a by wenzelm:
tuned signature;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
The file was modified src/Pure/Concurrent/mailbox.scala (diff)
Changeset 78863:f627ab8c276c by wenzelm:
discontinued pointless option (reverting 63d55ba90a9f): performance tuning works better via SQL.Database.execute_batch_statement;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/store.scala (diff)
Changeset 78862:cc8391b92747 by wenzelm:
clarified database transactions (see also 2c704ae04db1, 7bd0a250183b);
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)