[Cryptech Tech] CompCert?

[Joachim Strömbergson]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Aloha!

Has anybody (Rob?) looked at CompCert? Interesting for doing the DDC?
http://compcert.inria.fr/

- -- 
Med vänlig hälsning, Yours

Joachim Strömbergson - Alltid i harmonisk svängning.
========================================================================
 Joachim Strömbergson          Secworks AB          joachim at secworks.se
========================================================================
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - http://gpgtools.org
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQIcBAEBCAAGBQJTou12AAoJEF3cfFQkIuyNEbcQAJkFCVtE4EC/6cjrKDFJT/jQ
wTqhhdzDSJM+XHhkhhlCfjc8/rEiLLF6jdwBlzQkPNHr6bMeg8zKDhwBx+js6xIU
ljxjf4Z7Vv+/Gzu/sbncdBZrqLfNW86awWcDCEwxkXhYxHqxQY1nM5f34f/UlDNB
zo76jDxC3PjLI8lAWLGJxgbCeP+qwKcMKk07ucGysFH/hzZFx7xba1au2yC/7mO4
ShneejPIiHAECGe+ylOurHffNQSV5jfNytHzUQ+/jcFjqr+AeVXiimh03mfb6jw6
vKV9Mebc3CoOJTWPCIk7UfsQJqxxN0s5+01GHK3nqS1r7/Ql7E9sNIbG+SkSisWI
JybtAj7NOATnTF1jppkB8OAM0K4xaAz5YwXR6EQKu7hpHkj/gWSneTi6/QMY+dzG
xwEmHUOhwh2TtyEb/4WjcT7WI/o3FvHpS0ZuiEtK+U0BFV8uQQt57e819JDoGhEI
8NVDe03luN0cei5Te5MJh+NsyB/2jOuOOFl6IrzEjFefNI7FDlN04mqDelp51yk1
07G2dt4MlAWPVkdyf+MhZqfdkEJ5/aOb2LbxfkrS+cV15gx+zEsPhPCrJm9+o6qd
vAPCIt5nz4sYUGHk6LQfxHWqdYxqb1bBSJNo/ZfWvx86D9D6KFHlzf6NLZhZtjm0
cszlQ3FX2ZulIL1d0Nap
=NDB6
-----END PGP SIGNATURE-----