Manuel Eberl <eberlm@in.tum.de> [Wed, 20 Mar 2024 17:30:44 +0100] rev 79936
HOL-Library: added modulo/congruence for real numbers
Fabian Huch <huch@in.tum.de> [Wed, 20 Mar 2024 15:19:20 +0100] rev 79935
only print schedule if relevant;
Fabian Huch <huch@in.tum.de> [Wed, 20 Mar 2024 16:23:26 +0100] rev 79934
remove laziness: no need, and errors during initialization loop with close();
Manuel Eberl <eberlm@in.tum.de> [Wed, 20 Mar 2024 16:05:15 +0100] rev 79933
more general definition of meromorphicity; Weierstraß factorisation theorem
Fabian Huch <huch@in.tum.de> [Wed, 20 Mar 2024 14:05:15 +0100] rev 79932
always provide build_database_server option in benchmark command;
Fabian Huch <huch@in.tum.de> [Wed, 20 Mar 2024 13:58:55 +0100] rev 79931
always check if node is defined, e.g. for exists_next operation wit empty schedule;
blanchet [Tue, 19 Mar 2024 13:24:22 +0100] rev 79930
fixed typo
Fabian Huch <huch@in.tum.de> [Tue, 19 Mar 2024 00:42:09 +0100] rev 79929
disable taskset for now: performance impact is negative;
Fabian Huch <huch@in.tum.de> [Sun, 17 Mar 2024 22:48:44 +0100] rev 79928
allow specifying initial schedule;
Fabian Huch <huch@in.tum.de> [Sun, 17 Mar 2024 21:55:58 +0100] rev 79927
clarify use of num_threads vs. max_cpus;