| Thu, 22 Feb 2024 21:42:02 +0100 | wenzelm | more thorough Store.clean_output (amending 1fa1b32b0379); | changeset | files |
| Thu, 22 Feb 2024 21:28:55 +0100 | wenzelm | clarified signature: Build_Process tells how to clean sessions; | changeset | files |
| Thu, 22 Feb 2024 21:03:55 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 22 Feb 2024 20:54:51 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 20:37:53 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 20:05:24 +0100 | wenzelm | minor performance tuning; | changeset | files |
| Thu, 22 Feb 2024 19:58:52 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 17:24:43 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 22 Feb 2024 17:21:13 +0100 | wenzelm | tuned, following 7a1153c95bf9; | changeset | files |
| Thu, 22 Feb 2024 16:31:58 +0100 | wenzelm | merged | changeset | files |
| Thu, 22 Feb 2024 14:51:05 +0100 | wenzelm | tuned signature: fewer warnings in IntelliJ IDEA; | changeset | files |
| Thu, 22 Feb 2024 14:17:40 +0100 | wenzelm | proper usage; | changeset | files |
| Thu, 22 Feb 2024 14:08:31 +0100 | wenzelm | recover "build_database_server" from 1fa1b32b0379: still required, e.g. in build_benchmark; | changeset | files |
| Thu, 22 Feb 2024 13:57:13 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 22 Feb 2024 13:27:15 +0100 | wenzelm | more robust: make double-sure that heap digest is present; | changeset | files |
| Thu, 22 Feb 2024 13:24:26 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 13:19:36 +0100 | wenzelm | minor performance tuning: just one transaction for log_db without heap; | changeset | files |
| Thu, 22 Feb 2024 13:12:10 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 13:00:58 +0100 | wenzelm | proper store.cache.compress; | changeset | files |
| Thu, 22 Feb 2024 12:57:42 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 22 Feb 2024 12:53:07 +0100 | wenzelm | clarified store_session: heap requires process_result.ok, but log_db is always stored; | changeset | files |
| Thu, 22 Feb 2024 12:22:13 +0100 | wenzelm | unused; | changeset | files |
| Thu, 22 Feb 2024 12:19:23 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 12:14:55 +0100 | wenzelm | tuned names; | changeset | files |
| Thu, 22 Feb 2024 11:52:29 +0100 | wenzelm | tuned names; | changeset | files |
| Wed, 21 Feb 2024 20:37:53 +0100 | wenzelm | clarified database layout; | changeset | files |
| Wed, 21 Feb 2024 20:21:30 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 21 Feb 2024 19:59:35 +0100 | wenzelm | clarified signature; | changeset | files |