Started 9 hr 2 min ago
Took 2 hr 58 min on workermtahpc

Build #506 (Aug 3, 2021 9:24:09 AM)

Changes
  1. added dummy_thf prover to Sledgehammer (detail / hgweb)
  2. more operations on types and terms;
    abstract syntax operations for Pure and HOL; (detail / hgweb)
  3. clarified jEdit java sources; (detail / hgweb)
  4. clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons; (detail / hgweb)
  5. removed junk; (detail / hgweb)
  6. moved theory Bit_Operations into Main corpus (detail / hgweb)
  7. more operations; (detail / hgweb)
  8. clarified signature; (detail / hgweb)
  9. clarified signature; (detail / hgweb)
  10. organize syntax for word operations in bundles (detail / hgweb)
  11. support for Lazy.Text; (detail / hgweb)
  12. prefer compact Isabelle.Bytes; (detail / hgweb)
  13. clarified signature; (detail / hgweb)
  14. clarified signature --- more operations; (detail / hgweb)
  15. tuned; (detail / hgweb)
  16. clarified order of modules; (detail / hgweb)
  17. more operations; (detail / hgweb)
  18. tuned; (detail / hgweb)
  19. clarified signature; (detail / hgweb)
  20. tuned signature; (detail / hgweb)
  21. clarified signature; (detail / hgweb)
  22. merged (detail / hgweb)
  23. prefer Isabelle.Bytes, based on ShortByteString; (detail / hgweb)
  24. tuned; (detail / hgweb)
  25. tuned signature; (detail / hgweb)
  26. tuned signature: more generic operations; (detail / hgweb)
  27. prefer UTF8 implementation from Data.Text.Encoding (foreign C);
    clarified signatures and modules; (detail / hgweb)
  28. documented Mirabelle_Sledgehammer's new keep semantics (detail / hgweb)

Started by an SCM change

This run spent:

  • 7.9 sec waiting;
  • 2 hr 58 min build duration;
  • 2 hr 58 min total from scheduled to completion.
Revision: ed1f576df9c4e91454593d807b8a7313f5411f07
Failed entries: