Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-10-18 17:37:58 -0700 (Thu, 18 Oct 2001)
Revision: 3423
Log message:
Added terms for open and infinite bounds
in Fir_int_set and Fir_rawint_set. Also
Added some simple test cases for the
deadcode elimination tactic.