4 ms·
Your project was very much something I looked into when designing this! Fun to see you commenting. But yes, different goals. I did look into using z3, but quic
by Aransentin 6mo ago
Your project was very much something I looked into when designing this! Fun to see you commenting.
But yes, different goals. I did look into using z3, but quickly found out that it's pretty slow compared to just checking if a test case passes when ran through the candidate program.
- guenthert 6mo agoInteresting project and well written. That only made me miss some links to prior art more though. iirc, there was a superoptimizer (I belief the term was coined and motivated in that article) in the early nineties for M68k. https://dl.acm.org/doi/pdf/10.1145/36206.36194 https://dl.acm.org/doi/pdf/10.1145/36206.36194 might have been that.