There is a newer version of the record available.

Published July 13, 2021 | Version v2
Software Open

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

Description

Artifact for our paper, "Rewrite Rule Inference Using Equality Saturation", accepted at OOPSLA 2021.

Files

ruler-zenodo-2021-07-12.zip

Files (122.5 MB)

Name Size Download all
md5:d1e586df0da6582b034bd97d1235340f
122.5 MB Preview Download