I am pleased to report that I have certified the 5th increment of Co-dfns today. This increment brings the ability to actually run some real benchmarks on the compiler, specifically the Black Scholes benchmark mentioned in my ARRAY '14 paper. This certification took longer