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
3449
Age (days ago)
3449
Last active (days ago)
0 comments
1 participants
participants (1)
-
Mansour Moufid