Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
  2. discontinued old AFP test: ancient hardware with insufficient resources;
  3. tuned output;
  4. merged
  5. share cache for parallel sessions;
  6. clarified signature;
  7. more caching, notably for build/pide_session;
  8. removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
  9. tuned --- avoid error in IntelliJ IDEA;
  10. simp rules for conversions
  11. more class operations for the sake of efficient generated code
Changeset 71975:2d658beb815b by wenzelm:
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
The file was modified Admin/jenkins/build/etc/settings (diff)
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71974:e5fe4d40326d by wenzelm:
discontinued old AFP test: ancient hardware with insufficient resources;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71973:2108c0e7ce13 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 71972:9d98a39aa509 by wenzelm:
merged
Changeset 71971:34be842f3531 by wenzelm:
share cache for parallel sessions;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71970:67fb92378224 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/protocol_handlers.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71969:842dd262540b by wenzelm:
more caching, notably for build/pide_session;
The file was modified src/Pure/PIDE/prover.scala (diff)
Changeset 71968:ec0ef3ebe75e by wenzelm:
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71967:65ad3a6cee81 by wenzelm:
tuned --- avoid error in IntelliJ IDEA;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 71966:e18e9ac8c205 by haftmann:
simp rules for conversions
The file was modified src/HOL/Parity.thy (diff)
Changeset 71965:d45f5d4c41bd by haftmann:
more class operations for the sake of efficient generated code
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Z2.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)