#2133 (Feb 23, 2024, 12:50:09 AM)

1. more thorough Store.clean_output (amending 1fa1b32b0379); (detail / hgweb)
2. clarified signature: Build_Process tells how to clean sessions; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. minor performance tuning; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned, following 7a1153c95bf9; (detail / hgweb)
10. merged (detail / hgweb)
11. tuned signature: fewer warnings in IntelliJ IDEA; (detail / hgweb)
12. proper usage; (detail / hgweb)
13. recover "build_database_server" from 1fa1b32b0379: still required, e.g. in build_benchmark; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. more robust: make double-sure that heap digest is present; (detail / hgweb)
16. tuned; (detail / hgweb)
17. minor performance tuning: just one transaction for log_db without heap; (detail / hgweb)
18. tuned; (detail / hgweb)
19. proper store.cache.compress; (detail / hgweb)
20. tuned whitespace; (detail / hgweb)
21. clarified store_session: heap requires process_result.ok, but log_db is always stored;
    clarified ML_Heap.clean_entry vs. ML_Heap.init_entry; (detail / hgweb)
22. unused; (detail / hgweb)
23. tuned; (detail / hgweb)
24. tuned names; (detail / hgweb)
25. tuned names; (detail / hgweb)
26. clarified database layout; (detail / hgweb)
27. tuned signature;
    tuned messages; (detail / hgweb)
28. clarified signature; (detail / hgweb)
29. more accurate types; (detail / hgweb)
30. build local log_db, with store/restore via optional database server;
    tuned messages; (detail / hgweb)
31. propagate property "isabelle.debug", notably for Java/Scala exception trace; (detail / hgweb)
32. tuned; (detail / hgweb)
33. proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0); (detail / hgweb)
34. clarified signature;
    more robust slice_size; (detail / hgweb)
35. clarified names; (detail / hgweb)
36. more explicit build_cluster flag to guard open_build_database server; (detail / hgweb)
37. tuned; (detail / hgweb)
38. clarified signature; (detail / hgweb)
39. simplified specification of type class semiring_bits (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 2 hr 1 min build duration;
• 2 hr 1 min total from scheduled to completion.