Compcert in Ascent This repository contains the code to implement some of compcert's passes in ascent. Installation git clone https://github.com/StarGazerM/ascent-plusplus.git git clone https://github.com/StarGazerM/compert-ascent.git