Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. remove unsupported max-time option from veriT calls
  2. more standard Value.print_time;
  3. disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
  4. proper support for Windows exe;
  5. proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
Changeset 72482:11f645d25498 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
remove unsupported max-time option from veriT calls
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.certs (diff)
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)
Changeset 72481:5bf00b1dd7d8 by wenzelm:
more standard Value.print_time;
The file was modified src/HOL/Tools/SMT/smt_solver.ML (diff)
Changeset 72480:b772a93d44aa by wenzelm:
disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
The file was modified Admin/components/main (diff)
Changeset 72479:7d0861af3cb0 by wenzelm:
proper support for Windows exe;
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)
The file was modified src/Pure/General/path.ML (diff)
Changeset 72478:b452242dce36 by wenzelm:
proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)
The file was modified src/Pure/Admin/build_verit.scala (diff)