<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi,<div class=""><br class=""></div><div class="">Today I learned of: <a href="https://compcert.org/" class="">https://compcert.org/</a></div><div class=""><br class=""></div><div class="">A formally verified C compiler. I wondered what exposure it has to the erudite members of this thread, and more to the point, has anybody tried to compile the output of the mercury compiler with it? It would seem like a match made in heaven.</div><div class=""><br class=""></div><div class="">I will be downloading this compiler to see what I can do with it.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Sean.</div></body></html>