Published July 13, 2021 | Version v4
Software Open

OOPSLA2021-AEC-Paper-94: Rewrite Rule Inference Using Equality Saturation

Description

This is the artifact for our paper "Rewrite Rule Inference Using Equality Saturation", which will appear at OOPSLA 2021. In this archive, we provide a zip of the source files, a README, and a VM image. The best way to get started is to download the VM and follow the instructions in the README.

 

Files

README.md

Files (8.4 GB)

Name Size Download all
md5:079deda1f3ab562e4dc981d2da17bae6
8.3 GB Download
md5:4282f585d864bbc20a7b7800531fa0a5
21.5 kB Preview Download
md5:d13460f5ed072a76ad094011081a2a83
122.5 MB Preview Download