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!