Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- enforce rebuild of Isabelle/ML;
- clarified signature;
- Base64: proper support for large Bytes, with subtle change of types (Bytes instead of String);
- tuned: prefer Bytes operations;
- unused;
- proper treatment of long message blocks;
- clarified sizes;
- more scalable stream read operations;
- minor performance tuning;
- tuned;
- tuned module structure;
- tuned names;
- imitate internal policy of ByteArrayOutputStream: capacity is doubled after first push;
- tuned whitespace;
- unused;
- Bytes.Builder is unsynchronized, like java.io.OutputBuffer;
- notable performance tuning: avoid overhead of higher-order functions;
- more efficient equals: avoid somewhat slow sha1_digest (see also 29b761e290c5, 306f273c91ec);
- more scalable compression, using Bytes.Builder.Stream;
- tuned: more uniform, less ambitious;
- tuned;
- minor performance tuning;
- minor performance tuning; clarified signature;
- minor performance tuning;
- clarified signature;
- tuned;
- tuned;
- clarified signature;
- minor performance tuning;
- 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;
- clarified File.eq_content, following 306f273c91ec;
- tuned;
- clarified hash and equality: depend on sha1 digest to be collision-free;
- clarified signature;
- tuned source structure;
- tuned signature;
- minor performance tuning;
- proper sha1_digest: need to include offset + length;
- clarified signature: pro-forma support for Bytes with size: Long;
- minor performance tuning;
- clarified signature (again);
- tuned;
- clarified signature: discontinue somewhat misleading Bytes <: CharSequence;
- minor performance tuning;
- clarified signature: more accurate types;
- clarified signature;