Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation

This artifact contains logic to evaluate the effectiveness of Latent Idiom Array Recognition (LIAR), as presented in Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation, an upcoming CGO'24 paper.

The artifact contains a source tree and a Dockerfile. Docker can assemble these components into a container that includes the LIAR implementation and its dependencies. The container is designed to reproduce the aforementioned paper's experimental results. Instructions on how to recreate these results can be found in the paper's appendix.