| Mon, 04 Mar 2024 20:49:46 +0100 | wenzelm | more robust handling of uninitialized value, notably Build_Process.progress; | changeset | files |
| Mon, 04 Mar 2024 19:14:16 +0100 | nipkow | tuned | changeset | files |
| Mon, 04 Mar 2024 16:20:57 +0100 | Fabian Huch | partially revert f1f08ca40d96: benchmark data needs to be present before timing data is loaded; | changeset | files |
| Mon, 04 Mar 2024 13:55:11 +0100 | wenzelm | clarified module signature and state; | changeset | files |
| Mon, 04 Mar 2024 13:44:11 +0100 | wenzelm | tuned signature: more protected operations; | changeset | files |
| Mon, 04 Mar 2024 12:30:33 +0100 | wenzelm | database performance tuning: just one synchronized_database for main loop body; | changeset | files |