SSA IL
   
    Matthew Fluet
     
    fluet@CS.Cornell.EDU
       
    Tue, 6 Nov 2001 19:22:26 -0500 (EST)
    
    
  
On Tue, 9 Oct 2001, Stephen Weeks wrote:
> I hope to take the shrinker, constant-propagation, useless, and simplify-types,
> since they're pretty hairy.  Also, poly-equal will be a bear because it requires
> adding the DirectExp interface.
Well, I just checked in flatten (and checked in redundantTests and
loopInvariant earlier today).  That just leaves the shrinker,
constantPropagation, useless, and simplifyTypes.  Guess I'm all done. ;)