Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 6 mo ago
Took 1 hr 39 min on workermtahpc
Success

#1599 (Nov 17, 2021, 3:56:33 AM)

Build Artifacts
Changes
  1. merged (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. removed redundant test (see also 86fac52c2795, a9fea3f11cc0); (detail / hgweb)
  4. just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow); (detail / hgweb)
  5. proper version; (detail / hgweb)
  6. back to Z3 4.4.0pre for all platforms except arm64-linux: avoid failure e.g. in Padic_Ints (AFP/7a2522dce834); (detail / hgweb)
  7. less ambitious parallelism: more direct read/write saves overall heap space and GC time; (detail / hgweb)
  8. slightly faster XML output: avoid too much regrowing of StringBuilder; (detail / hgweb)
  9. updated NEWS: arm64-linux support is almost complete; (detail / hgweb)
  10. update z3-4.4.0pre-3 to z3-4.4.1, which happens to have an arm64_linux executable in Debian 9; (detail / hgweb)
  11. more material for HOL-Analysis.Infinite_Sum (detail / hgweb)
  12. more symbolic latex_output via XML; (detail / hgweb)
  13. clarified signature; (detail / hgweb)
  14. updated to polyml-5.9-610a153b941d -- close to final; (detail / hgweb)
  15. tuned signature (again): latex_output is likely to depend on context; (detail / hgweb)
  16. more symbolic latex output;
    discontinued Latex.output_text, which is in conflict with symbolic output; (detail / hgweb)
  17. tuned signature; (detail / hgweb)
  18. symbolic latex_output via XML, interpreted in Isabelle/Scala; (detail / hgweb)
  19. tuned signature; (detail / hgweb)
  20. clarified signature; (detail / hgweb)
  21. clarified signature; (detail / hgweb)
  22. clarified signature: more privacy; (detail / hgweb)
  23. tuned output --- less redundancy; (detail / hgweb)
  24. tuned whitespace; (detail / hgweb)
  25. clarified signature: Latex.Output as parameter to Document_Build.Engine;
    tuned; (detail / hgweb)
  26. proper detection of ARM platform variants; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 hr 6 min waiting;
  • 1 hr 39 min build duration;
  • 4 hr 45 min total from scheduled to completion.
Revision: 189248f76ed89614559db28e23076bb7a696e526