The steps are left as individual commits, but will be squashed if you prefer that. Also, The directory Cleavir2/Documentation still exists; I didn't touch the tex files.
HIR-to-MIR in Intermediate-representation was removed; it wasn't used elsewhere.
The steps are left as individual commits, but will be squashed if you prefer that. Also, The directory
Cleavir2/Documentation
still exists; I didn't touch the tex files.HIR-to-MIR
inIntermediate-representation
was removed; it wasn't used elsewhere.