Published May 20, 2021
| Version v2
Journal article
Open
Compositional Optimizations for CertiCoq
Description
Artifact for the ICFP21 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
artifact.zip
Files
(2.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1f44d22e4f5116fe63b07287f2010179
|
2.0 GB | Preview Download |
|
md5:3c54556c583cecfd33824619d971e0cc
|
96.0 MB | Preview Download |