[Cryptech Tech] The compcert compiler

Joachim Strömbergson joachim.strombergson at assured.se
Wed Jan 23 19:16:22 UTC 2019


This appeared on HN yesterday. A formally verified compiler. It can generate code for ARM. Something we could use perhaps?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cryptech.is/archives/tech/attachments/20190123/d5dc8fe5/attachment.html>

More information about the Tech mailing list