Compositional Optimizations for CertiCoq - Anonymous (Zenodo, 2021)
Artifact for the ICFP21 conditionally accepted paper "Compositional Optimizations for CertiCoq". Files artifact.tgz : The artifact file, as provided by the AE committee, containing the VM image with the artifact and all its dependencies installed. The file README.md inside the artifact directory provides instructions for installing, executing, and understanding the artifact. certicoq.tgz : The sources of the CertiCoq compiler.
Keywords: cc-by-4.0