| Sun, 16 Jun 2024 11:41:22 +0200 | wenzelm | tuned names; | changeset | files |
| Sun, 16 Jun 2024 11:28:47 +0200 | wenzelm | imitate internal policy of ByteArrayOutputStream: capacity is doubled after first push; | changeset | files |
| Sat, 15 Jun 2024 23:52:30 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 15 Jun 2024 23:49:06 +0200 | wenzelm | unused; | changeset | files |
| Sat, 15 Jun 2024 23:47:04 +0200 | wenzelm | Bytes.Builder is unsynchronized, like java.io.OutputBuffer; | changeset | files |
| Sat, 15 Jun 2024 23:24:24 +0200 | wenzelm | notable performance tuning: avoid overhead of higher-order functions; | changeset | files |
| Sat, 15 Jun 2024 22:43:01 +0200 | wenzelm | more efficient equals: avoid somewhat slow sha1_digest (see also 29b761e290c5, 306f273c91ec); | changeset | files |
| Sat, 15 Jun 2024 21:59:31 +0200 | wenzelm | more scalable compression, using Bytes.Builder.Stream; | changeset | files |
| Sat, 15 Jun 2024 21:52:14 +0200 | wenzelm | tuned: more uniform, less ambitious; | changeset | files |
| Sat, 15 Jun 2024 21:07:23 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Jun 2024 20:49:15 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sat, 15 Jun 2024 20:44:09 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sat, 15 Jun 2024 20:30:31 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sat, 15 Jun 2024 20:29:50 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 15 Jun 2024 20:17:43 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Jun 2024 20:14:53 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Jun 2024 20:14:24 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 15 Jun 2024 17:16:14 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sat, 15 Jun 2024 17:12:49 +0200 | wenzelm | support large byte arrays, using multiple "chunks"; | changeset | files |
| Sat, 15 Jun 2024 12:27:57 +0200 | wenzelm | clarified File.eq_content, following 306f273c91ec; | changeset | files |
| Thu, 13 Jun 2024 15:08:24 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 Jun 2024 22:09:16 +0200 | wenzelm | clarified hash and equality: depend on sha1 digest to be collision-free; | changeset | files |
| Wed, 12 Jun 2024 21:59:44 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 12 Jun 2024 21:56:01 +0200 | wenzelm | tuned source structure; | changeset | files |
| Wed, 12 Jun 2024 21:44:30 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 12 Jun 2024 21:40:13 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Wed, 12 Jun 2024 16:58:55 +0200 | wenzelm | proper sha1_digest: need to include offset + length; | changeset | files |
| Tue, 11 Jun 2024 21:32:26 +0200 | wenzelm | clarified signature: pro-forma support for Bytes with size: Long; | changeset | files |
| Tue, 11 Jun 2024 16:48:20 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Tue, 11 Jun 2024 16:39:53 +0200 | wenzelm | clarified signature (again); | changeset | files |
| Tue, 11 Jun 2024 16:37:17 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Jun 2024 16:32:10 +0200 | wenzelm | clarified signature: discontinue somewhat misleading Bytes <: CharSequence; | changeset | files |
| Tue, 11 Jun 2024 16:02:33 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Tue, 11 Jun 2024 15:49:39 +0200 | wenzelm | clarified signature: more accurate types; | changeset | files |
| Tue, 11 Jun 2024 14:18:19 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 12 Jun 2024 10:47:53 +0200 | Fabian Huch | tuned messages; | changeset | files |
| Wed, 12 Jun 2024 08:52:36 +0200 | Fabian Huch | clarified web server paths; | changeset | files |
| Tue, 11 Jun 2024 14:27:04 +0200 | Fabian Huch | sort web app parameters in list; | changeset | files |
| Tue, 11 Jun 2024 11:07:48 +0200 | Fabian Huch | proper available hosts; | changeset | files |
| Tue, 11 Jun 2024 10:27:35 +0200 | desharna | tuned proof | changeset | files |
| Tue, 11 Jun 2024 10:30:55 +0200 | Fabian Huch | tuned comments; | changeset | files |
| Tue, 11 Jun 2024 08:58:22 +0200 | Fabian Huch | add build_manager_database tool to restore db from log files; | changeset | files |
| Mon, 10 Jun 2024 18:45:21 +0200 | Fabian Huch | use build log in build manager to store meta-data persistently; | changeset | files |
| Mon, 10 Jun 2024 18:45:12 +0200 | Fabian Huch | add build log format for managed builds; | changeset | files |
| Mon, 10 Jun 2024 17:08:47 +0200 | Fabian Huch | improve build manager log (for build_log); | changeset | files |
| Mon, 10 Jun 2024 16:37:16 +0200 | Fabian Huch | clarified; | changeset | files |
| Mon, 10 Jun 2024 16:14:44 +0200 | Fabian Huch | proper web server address; | changeset | files |
| Mon, 10 Jun 2024 16:02:53 +0200 | Fabian Huch | clarified names: more canonical; | changeset | files |
| Mon, 10 Jun 2024 15:13:21 +0200 | Fabian Huch | clarified; | changeset | files |
| Mon, 10 Jun 2024 14:08:15 +0200 | Fabian Huch | remove unused; | changeset | files |
| Mon, 10 Jun 2024 14:03:19 +0200 | Fabian Huch | tuned; | changeset | files |
| Tue, 11 Jun 2024 08:02:13 +0200 | desharna | fixed NEWS | changeset | files |
| Mon, 10 Jun 2024 23:24:33 +0200 | wenzelm | merged | changeset | files |
| Mon, 10 Jun 2024 20:23:42 +0200 | wenzelm | tuned signature: more exports; | changeset | files |
| Mon, 10 Jun 2024 14:53:54 +0200 | wenzelm | clarified signature: prefer internal Thm_Name.T over external Facts.ref; | changeset | files |
| Mon, 10 Jun 2024 14:29:33 +0200 | wenzelm | more robust / permissive; | changeset | files |
| Mon, 10 Jun 2024 14:05:39 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Mon, 10 Jun 2024 14:04:52 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 Jun 2024 12:44:49 +0200 | wenzelm | clarified operations, following pretty_thm_name; | changeset | files |
| Mon, 10 Jun 2024 12:07:54 +0200 | wenzelm | more accurate treatment of Thm_Name.T; | changeset | files |