[M3commit] CVS Update: cm3

Jay K jay.krell at cornell.edu
Tue Jul 6 00:22:53 CEST 2010


 > That is, the compiler guarantees are from sufficient relative to correctness.
 
Was supposed to say *far* from sufficient..

 - Jay
 		 	   		  


More information about the M3commit mailing list