| Mon, 03 Jun 2024 20:28:25 +0200 | wenzelm | minor performance tuning: more compact data; | changeset | files |
| Mon, 03 Jun 2024 19:43:21 +0200 | wenzelm | removed unused/inefficient size_of_proof (see also 2241191a3c54); | changeset | files |
| Sun, 02 Jun 2024 14:11:09 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 02 Jun 2024 13:36:24 +0200 | wenzelm | more robust: avoid crash of sleep() for negative time; | changeset | files |