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 Tech@cryptech.is https://lists.cryptech.is/listinfo/tech
