src/Pure/General/bytes.scala
Wed, 12 Feb 2025 00:40:57 +0100 wenzelm removed unused imports;
Fri, 05 Jul 2024 13:46:13 +0200 wenzelm tuned signature: expose internal limits for testing or add-on implementations;
Fri, 05 Jul 2024 13:41:01 +0200 wenzelm tuned;
Fri, 05 Jul 2024 13:38:35 +0200 wenzelm tuned;
Fri, 05 Jul 2024 13:36:49 +0200 wenzelm tuned;
Fri, 05 Jul 2024 12:53:45 +0200 wenzelm clarified signature;
Fri, 05 Jul 2024 11:38:21 +0200 wenzelm prefer official UTF-8 decoding (in contrast to 2541de190d92): this is also more efficient (factor 10-20);
Thu, 04 Jul 2024 19:16:12 +0200 wenzelm tuned comments;
Wed, 03 Jul 2024 21:11:53 +0200 wenzelm clarified signature, following 43323d886ea3;
Wed, 03 Jul 2024 20:59:30 +0200 wenzelm clarified signature: more direct operation;
Wed, 03 Jul 2024 20:35:10 +0200 wenzelm clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding;
Wed, 03 Jul 2024 20:18:36 +0200 wenzelm clarified signature;
Wed, 03 Jul 2024 10:07:39 +0200 wenzelm tuned signature;
Tue, 02 Jul 2024 23:13:35 +0200 wenzelm clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
Tue, 02 Jul 2024 22:38:00 +0200 wenzelm more specialized operations;
Tue, 02 Jul 2024 16:36:49 +0200 wenzelm misc tuning: more uniform read_stream vs. read_file;
Tue, 02 Jul 2024 16:15:50 +0200 wenzelm proper limit for read operation (amending ac4d53bc8f6b);
Thu, 27 Jun 2024 00:11:53 +0200 wenzelm minor performance tuning;
Thu, 27 Jun 2024 00:01:01 +0200 wenzelm performance tuning: multi-stage buffer with fewer array copies;
Sun, 16 Jun 2024 18:50:17 +0200 wenzelm clarified signature;
Sun, 16 Jun 2024 18:41:57 +0200 wenzelm Base64: proper support for large Bytes, with subtle change of types (Bytes instead of String);
Sun, 16 Jun 2024 14:21:57 +0200 wenzelm clarified sizes;
Sun, 16 Jun 2024 14:19:51 +0200 wenzelm more scalable stream read operations;
Sun, 16 Jun 2024 11:59:16 +0200 wenzelm minor performance tuning;
Sun, 16 Jun 2024 11:50:42 +0200 wenzelm tuned module structure;
Sun, 16 Jun 2024 11:41:22 +0200 wenzelm tuned names;
Sun, 16 Jun 2024 11:28:47 +0200 wenzelm imitate internal policy of ByteArrayOutputStream: capacity is doubled after first push;
Sat, 15 Jun 2024 23:52:30 +0200 wenzelm tuned whitespace;
Sat, 15 Jun 2024 23:49:06 +0200 wenzelm unused;
Sat, 15 Jun 2024 23:47:04 +0200 wenzelm Bytes.Builder is unsynchronized, like java.io.OutputBuffer;
less more (0) -100 -50 -30 tip