Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-08 01:47:03 -0800 (Sat, 08 Mar 2003)
Revision: 4159
Log message:
- Added reduce resource for group_power;
- Moved "positiveRule1T", "positiveRule2T", and "int_div_rem" to "itt_nat".