3 Commits

Author	SHA1	Message	Date
Slava Pestov	575c7097f6	Fix a slightly non-deterministic behavior in the Monoids benchmark ... When built with output enabled, sometimes a few lines would be interchanged, depending on the order in which parallel tasks complete. Simplify the dispatcher logic a bit to ensure we get the same output ordering every time. This does not impact the running time of the benchmark.	2025-09-19 17:07:10 -04:00
Slava Pestov	4d7adea1e2	One final round of small cleanups for Monoids benchmark	2025-08-18 17:35:31 -04:00
Slava Pestov	e6b77812ef	New "Monoids" benchmark	2025-07-23 17:26:48 -04:00