4 Aug
2015
4 Aug
'15
2:24 a.m.
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