This uses the implementations prior to #50. Those were cleaner, but less performant (#171), and misused the parallel dispatcher (#172).
I find these implementations much harder to reason about correctness, but there is more empirical evidence of correctness. Or at least no empirical evidence of incorrectness.
This uses the implementations prior to #50. Those were cleaner, but less performant (#171), and misused the parallel dispatcher (#172).
I find these implementations much harder to reason about correctness, but there is more empirical evidence of correctness. Or at least no empirical evidence of incorrectness.