There is a newer version of the record available.

Published May 20, 2021 | Version v1
Journal article Open

Compositional Optimizations for CertiCoq

Creators

  • 1. Anonymous

Description

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. 

Files

Files (2.1 GB)

Name Size Download all
md5:0a8065f0743594190986ce4e039e8c12
2.0 GB Download
md5:baa7f1761d904d648138db7f616a0808
142.0 MB Download