Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proof: avoid z3 to make it work on arm64-linux;
  2. update to jdk-21.0.2; enforce rebuild of Isabelle/Scala + Isabelle/ML;
  3. make build process state protected to avoid copying in subclasses (e.g. for database connections);
  4. add build_sync tag to sync certain options (e.g., build_engine) across build processes;
Changeset 79529:cb933e165dc3 by wenzelm:
tuned proof: avoid z3 to make it work on arm64-linux;
The file was modified src/HOL/Analysis/Infinite_Sum.thy (diff)
Changeset 79528:667cb8b79909 by wenzelm:
update to jdk-21.0.2;<br>enforce rebuild of Isabelle/Scala + Isabelle/ML;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/component_jdk.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 79527:f1f08ca40d96 by fabian huch _huch@in.tum.de_:
make build process state protected to avoid copying in subclasses (e.g. for database connections);
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79526:6e5397fcc41b by fabian huch _huch@in.tum.de_:
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
The file was modified etc/options (diff)
The file was modified src/Pure/Build/build_cluster.scala (diff)
The file was modified src/Pure/System/options.scala (diff)