[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]

[tor-dev] CompCert C compiler

Hi everyone,

This is just to let you know that Tor compiles without modification
using the CompCert C compiler.

This week I'll run it in the "C interpreter" to see what happens.

http://compcert.inria.fr/man/manual004.html#cinterp


Mansour
_______________________________________________
tor-dev mailing list
tor-dev@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev