[M3commit] CVS Update: cm3

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

Previous message (by thread): [M3commit] CVS Update: cm3
Next message (by thread): [M3commit] CVS Update: cm3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

 - Jay

Previous message (by thread): [M3commit] CVS Update: cm3
Next message (by thread): [M3commit] CVS Update: cm3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the M3commit mailing list