Cook Computing

Tomas commented on my previous entry to the effect that the MC++ compiler does indeed extra optimizations but this is one of the reasons why it does not generate verifiable code. My gut instinct is that verifiability is not something to be given up lightly: I'd prefer to leave the bad old days of inadvertent (or even deliberate) memory corruption such as buffer overflows well behind.