#2503 (Mar 26, 2024, 1:33:13 AM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. obsolete: base-line is macOS 11; (detail)
2. more robust: always assume x86_64 (or its emulation on ARM); (detail)
3. MLton lacks arm64-linux (see also 84f2d481d6d7); (detail)
4. more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2; (detail)
5. update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4; (detail)
6. tuned; (detail)
7. merged (detail)
8. misc updates, tuning and clarification; (detail)
9. reformat source in jEdit (wrap margin 78); (detail)
10. more accurate Markdown formatting, both for VSCode and Phabricator; (detail)
11. just one README.md; (detail)
12. tuned (detail)
13. merged (detail)
14. more accurate platform directories: pkg/tool structure is hardwired in "go"; (detail)
15. support for etc/platform.props, to specify multi-platform directory structure more accurately; (detail)
16. clarified signature; (detail)
17. tuned; (detail)
18. clarified modules; (detail)
19. clarified modules; (detail)
20. build Isabelle component for Go: all platforms; (detail)
21. misc tuning; (detail)
22. just one copy of darwin-universal.tar.gz; (detail)
23. documented running time function framework by Jonas Stahl (detail)
24. merged (detail)
25. redefined wf as an abbreviation for "wf_on UNIV" (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. use time_fun command (detail)
2. merged (detail)
3. Splay tree analysis now uses time_fun command (detail)
4. tuned proofs to reduce verification time following Isabelle/7735645667f0 (detail)
5. merge (detail)
6. feat(Transport) major improvement of overloaded properties + new relational properties (detail)
7. fix(ML_Unification) replace binders before aeconv (avoids lowering) (detail)
8. feat(ML_Unification) add simplification+unification unifier; fix context merge bug for uhints; cleaner code (detail)
9. merged (detail)
10. adapted to new definition of wf following Isabelle/033f90dc441d (detail)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.