Excerpts from Austin Seipp's message of Tue Feb 03 03:40:47 -0600 2009: > ... After noticing that I didn't give a link to the code in the last message, I searched and found this more up to date page I think: http://compcert.inria.fr/doc/index.html > Austin