Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. recover NEWS from 78d1f73bbeaa;
  2. save 90 MB by excluding rlwrap and thus perl;
  3. save 45 MB by excluding rlwrap and thus perl;
  4. NEWS;
  5. clarified test of directories;
  6. misc tuning for release;
  7. merged
  8. updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
  9. provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
  10. tuned message;
  11. proper build on macOS;
  12. build minisat, using recent fork from original sources;
  13. proper platform_path for executables run from Java;
  14. tuned message;
  15. tuned;
  16. tuned whitespace;
  17. merged
  18. added timeout to veriT
  19. new notion of infinite sums in HOL-Analysis, ordering on complex numbers
  20. NEWS and CONTRIBUTORS
  21. merged
  22. added offset to Mirabelle's tptp output names
  23. tuned zipperposition config in sledgehammer
  24. considered slices overhead in sledgehammer
  25. tuned atp_prover sliding
  26. tuned Zipperposition slides in sledgehammer
Changeset 74493:f4c5e8ca1d53 by wenzelm:
recover NEWS from 78d1f73bbeaa;
The file was modified NEWS (diff)
Changeset 74492:59ef23ac81ab by wenzelm:
save 90 MB by excluding rlwrap and thus perl;
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 74491:122615955fc0 by wenzelm:
save 45 MB by excluding rlwrap and thus perl;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 74490:dd18b59aded7 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 74489:d219a959b951 by wenzelm:
clarified test of directories;
The file was modified src/HOL/Tools/Nitpick/kodkod_sat.ML (diff)
Changeset 74488:13b74f2e1f96 by wenzelm:
misc tuning for release;
The file was modified CONTRIBUTORS (diff)
Changeset 74487:f8ad2ee7638d by wenzelm:
merged
Changeset 74486:74a36aae067a by wenzelm:
updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod_sat.ML (diff)
Changeset 74485:2d089ff0e03b by wenzelm:
provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74484:ef07e6d672cb by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_minisat.scala (diff)
Changeset 74483:60eeb9952145 by wenzelm:
proper build on macOS;
The file was modified src/Pure/Admin/build_minisat.scala (diff)
Changeset 74482:bd5998580edb by wenzelm:
build minisat, using recent fork from original sources;
The file was addedsrc/Pure/Admin/build_minisat.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 74481:9333a6ee57ba by wenzelm:
proper platform_path for executables run from Java;
The file was modified src/Doc/Nitpick/document/root.tex (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod_sat.ML (diff)
Changeset 74480:d8015e659e15 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 74479:bf34175e64dc by wenzelm:
tuned;
The file was modified src/HOL/Tools/Nitpick/kodkod_sat.ML (diff)
Changeset 74478:3984b1e91df6 by wenzelm:
tuned whitespace;
The file was modified src/HOL/Tools/Nitpick/kodkod_sat.ML (diff)
Changeset 74477:fd5f62176987 by desharna:
merged
Changeset 74476:6424c54157d9 by desharna:
added timeout to veriT
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)
Changeset 74475:409ca22dee4c by eberlm _eberlm@in.tum.de_:
new notion of infinite sums in HOL-Analysis, ordering on complex numbers
The file was addedsrc/HOL/Analysis/Infinite_Sum.thy
The file was addedsrc/HOL/Library/Complex_Order.thy
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Set_Sum.thy (diff)
The file was modified src/HOL/Analysis/Product_Vector.thy (diff)
The file was modified src/HOL/Analysis/document/root.bib (diff)
The file was modified src/HOL/Complex_Analysis/Winding_Numbers.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 74474:253c98aa935a by desharna:
NEWS and CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 74473:f4a80cfb2781 by desharna:
merged
Changeset 74472:9d304ef5c932 by desharna:
added offset to Mirabelle's tptp output names
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff)
Changeset 74471:d6f1ca21a3c1 by desharna:
tuned zipperposition config in sledgehammer
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 74470:9b6dcf689efe by desharna:
considered slices overhead in sledgehammer
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
Changeset 74469:3604db245a63 by desharna:
tuned atp_prover sliding
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
Changeset 74468:1bd6eba71372 by desharna:
tuned Zipperposition slides in sledgehammer
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)