Published June 11, 2024 | Version v2
Software Open

Verifying Peephole Rewriting In SSA Compiler IRs: Artifact

Creators

  • 1. ROR icon University of Cambridge

Description

This is the artifact in the form of a docker image for our ITP'24 paper "Verifying Peephole Rewriting In SSA Compiler IRs". It contains full source code of our mechanization, and scripts for reproducing main theorems and proofs of the paper. We supply instructions on how to run the artifact evaluation in the appendix of our paper.

 

Files

artifact.pdf

Files (8.0 GB)

Name Size Download all
md5:1fea5e6e143e4cc3369e33ddf7d8e2da
82.7 kB Preview Download
md5:d1b50f710b51325a5bd1482a410de70a
864 Bytes Download
md5:88abd7de0994533a3a5e3ed5d8846b6f
8.0 GB Download

Additional details

Dates

Accepted
2024-05-24
ITP'24

Software

Repository URL
http://github.com/opencompl/ssa
Programming language
Lean
Development Status
Active