Comment by weinzierl

4 months ago

You are right. Somehow I had in my mind that e-graphs worked with pre-compiled snippets of code but it seems Cranelift does not do that.

0 comments