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

[Sean Charles (emacstheviking)]

Hi,

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.

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