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/
_______________________________________________ Tech mailing list [email protected] https://lists.cryptech.is/listinfo/tech
