4 ms·
If I understood it right, Equality Saturation of E-graphs is intended to help solve that problem. Cranelift has an optimiser based on it, for classic optimisat
by Findecanor 1y ago
If I understood it right, Equality Saturation of E-graphs is intended to help solve that problem.
Cranelift has an optimiser based on it, for classic optimisations within an IR.