smtgcc: An experimental implementation of translation validation for GCCgithub.com/kristerw2 pointsmatt_d3 years ago