Just posted this: https://cfallin.org/blog/2023/01/20/cranelift-isle/
hopefully it's interesting to folks; happy to hear feedback :-)
:tada:
Found a typo: theroetical
fixed, thanks!
s/the idea of rewrite/the idea of rewritting
Wow that’s an amazing post! Thanks for writing it. ISLE looks pretty cool and I’m impressed of how prolog keeps inspiring really cool projects like ISLE and Chalk (in rust). I’m happy to know that there is a forthcoming egraph article :D
Very nice post, and amazing work! I too am looking forward to the egraph article :eyes:! I’m very interested in what you worked up and the various trade-offs with the egg way of doing things.
Last updated: Dec 23 2024 at 13:07 UTC