[m-users.] CompCert C as a backend for Mercury ?

Sean Charles (emacstheviking) objitsu at gmail.com
Mon May 2 18:11:51 AEST 2022


Today I learned of:   https://compcert.org/ <https://compcert.org/>

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.

I will be downloading this compiler to see what I can do with it.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20220502/419023d0/attachment.html>

More information about the users mailing list