Aloha! This appeared on HN yesterday. A formally verified compiler. It can generate code for ARM. Something we could use perhaps? http://compcert.inria.fr/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.cryptech.is/archives/tech/attachments/20190123/d5dc8fe5/attachment.html>