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;
Fabian Huch <huch@in.tum.de> [Sun, 17 Mar 2024 21:04:00 +0100] rev 79926
clarified host: pre-load max threads;
Fabian Huch <huch@in.tum.de> [Sun, 17 Mar 2024 19:53:31 +0100] rev 79925
clarified: more operations;
desharna [Sun, 17 Mar 2024 19:45:07 +0100] rev 79924
added alias wfp for wfP
desharna [Sun, 17 Mar 2024 19:30:34 +0100] rev 79923
merged
desharna [Sun, 17 Mar 2024 12:34:11 +0100] rev 79922
added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset
Fabian Huch <huch@in.tum.de> [Sun, 17 Mar 2024 15:03:12 +0100] rev 79921
start scheduled jobs earlier, if possible;
desharna [Sun, 17 Mar 2024 09:05:44 +0100] rev 79920
tuned proofs