[Cryptech Tech] CompCert?

Rob Austein sra at hactrn.net
Thu Jun 19 14:57:26 UTC 2014


At Thu, 19 Jun 2014 16:02:31 +0200, Joachim Strömbergson wrote:
> 
> Has anybody (Rob?) looked at CompCert? Interesting for doing the DDC?
> http://compcert.inria.fr/

Had not seen it.  Yes, it looks interesting.  Probably not a silver
bullet, but does look like a useful tool to have in the tool box.

Thanks!


More information about the Tech mailing list