Closed eregon closed 5 years ago
This PR should be ready for review now.
I've merged this - in general this looks good - and I'll check the last couple of things shortly to make sure they work.
Okay - the things I needed to check are checked. Looks good, and it's merged!
@noahgibbs Thanks!
@noahgibbs I made a few tweaks to make it easier and faster to run the benchmarks.