#929 (Jun 16, 2024, 10:29:03 PM)

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

1. merged (detail)
2. enforce rebuild of Isabelle/ML; (detail)
3. clarified signature; (detail)
4. Base64: proper support for large Bytes, with subtle change of types (Bytes instead of String); (detail)
5. tuned: prefer Bytes operations; (detail)
6. unused; (detail)
7. proper treatment of long message blocks; (detail)
8. clarified sizes; (detail)
9. more scalable stream read operations; (detail)
10. minor performance tuning; (detail)
11. tuned; (detail)
12. tuned module structure; (detail)
13. tuned names; (detail)
14. imitate internal policy of ByteArrayOutputStream: capacity is doubled after first push; (detail)
15. tuned whitespace; (detail)
16. unused; (detail)
17. Bytes.Builder is unsynchronized, like java.io.OutputBuffer; (detail)
18. notable performance tuning: avoid overhead of higher-order functions; (detail)
19. more efficient equals: avoid somewhat slow sha1_digest (see also 29b761e290c5, 306f273c91ec); (detail)
20. more scalable compression, using Bytes.Builder.Stream; (detail)
21. tuned: more uniform, less ambitious; (detail)
22. tuned; (detail)
23. minor performance tuning; (detail)
24. minor performance tuning;
    clarified signature; (detail)
25. minor performance tuning; (detail)
26. clarified signature; (detail)
27. tuned; (detail)
28. tuned; (detail)
29. clarified signature; (detail)
30. minor performance tuning; (detail)
31. support large byte arrays, using multiple "chunks";
    support incremental builder;
    clarified "limit" (valid >= 0) vs. "hint" (valid > 0);
    clarified byte access: prefer unchecked acces and iterators internally; (detail)
32. clarified File.eq_content, following 306f273c91ec; (detail)
33. tuned; (detail)
34. clarified hash and equality: depend on sha1 digest to be collision-free; (detail)
35. clarified signature; (detail)
36. tuned source structure; (detail)
37. tuned signature; (detail)
38. minor performance tuning; (detail)
39. proper sha1_digest: need to include offset + length; (detail)
40. clarified signature: pro-forma support for Bytes with size: Long; (detail)
41. minor performance tuning; (detail)
42. clarified signature (again); (detail)
43. tuned; (detail)
44. clarified signature: discontinue somewhat misleading Bytes <: CharSequence; (detail)
45. minor performance tuning; (detail)
46. clarified signature: more accurate types; (detail)
47. clarified signature; (detail)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 1 min 28 sec build duration;
• 3 min 30 sec total from scheduled to completion.

• refs/remotes/origin/master