Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated certificates to make it work again after recent changes to smt/z3 setup;
  2. clarified signature;
  3. merged
  4. updated to sqlite-jdbc-3.32.3.2; support arm64-linux;
  5. build Isabelle sqlite-jdbc component from official download; support arm64-linux;
  6. support arm64-linux;
  7. detect arm64-linux platform;
  8. Effectively disable timeout for smt method/tactic
  9. [mirabelle] add initial documentation in Sledgehammer's doc
Changeset 72350:95c2853dd616 by wenzelm:
updated certificates to make it work again after recent changes to smt/z3 setup;
The file was modified src/HOL/SMT_Examples/Boogie_Dijkstra.certs (diff)
The file was modified src/HOL/SMT_Examples/Boogie_Max.certs (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples.certs (diff)
The file was modified src/HOL/SMT_Examples/SMT_Word_Examples.certs (diff)
The file was modified src/HOL/SMT_Examples/VCC_Max.certs (diff)
Changeset 72349:e7284278796b by wenzelm:
clarified signature;
The file was modified src/Pure/System/isabelle_platform.scala (diff)
Changeset 72348:7d3a96acae28 by wenzelm:
merged
Changeset 72347:e18e15b9e2ab by wenzelm:
updated to sqlite-jdbc-3.32.3.2;<br>support arm64-linux;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72346:93e533198bf6 by wenzelm:
build Isabelle sqlite-jdbc component from official download;<br>support arm64-linux;
The file was addedsrc/Pure/Admin/build_sqlite.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72345:14be5c341377 by wenzelm:
support arm64-linux;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72344:728da67527b9 by wenzelm:
detect arm64-linux platform;
The file was modified lib/scripts/isabelle-platform (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 72343:478b7599a1a0 by desharna:
Effectively disable timeout for smt method/tactic
The file was modified src/HOL/SMT.thy (diff)
The file was modified src/HOL/Tools/SMT/smt_config.ML (diff)
Changeset 72342:4195e75a92ef by desharna:
[mirabelle] add initial documentation in Sledgehammer&#039;s doc
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML (diff)
The file was modified src/HOL/Mirabelle/lib/Tools/mirabelle (diff)
The file was modified src/HOL/Sledgehammer.thy (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML (diff)