Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-08 12:11:56 -0800 (Tue, 08 Mar 2005)
Revision: 6859
Log message:
Converted the x86 sweeper to propositional form. That is, the sweep
environment is a collection of propositions. This is probably what
we want to use for tast optimization too.