Artifact for ITP24 Paper

This is the accompanying artifact to the ITP'24 publication:

Siddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser (2024). Verifying Peephole Rewriting In SSA Compiler IRs. In Proceedings of the 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia.

v0.1.1

chore: fix tests (#336)

This fixed https://github.com/opencompl/ssa/issues/334.

v0.1.0

Release for testing Dockerfile generation.