limit check insertion

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Wed, 24 Oct 2001 17:26:48 -0400 (EDT)


> Matthew, I'll leave simple to you, and start on whichever of prodcons
> and mutex you haven't already started on, or both if you want.

All the regressions, benchmarks, and self-compiles look good (modulo
prodcons and mutex).  I've checked in the changes.