Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizationsgithub.com/bytecodealliance3 pointstodsacerdoti4 years ago