[tor-dev] CompCert C compiler

Mansour Moufid mansourmoufid at gmail.com
Tue Aug 4 02:24:56 UTC 2015

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.



More information about the tor-dev mailing list