Closed renthraysk closed 4 years ago
Thanks again -- another huge increase!
I decided not to keep the codegen, since it's not likely to ever change, and the generated code isn't terribly hard to verify. However, if someone wants to add an asm implementation, I would push for codegen there -- a tool like avo would make the asm much easier to to review and verify.