Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-10-28 23:02:17 -0800 (Sun, 28 Oct 2001)
Revision: 3430
Log message:

      - Added some simple RawInt evaulation and constant elimination.
      - Added rewrites for common powers (e.g. 2^32).
      

Changes	Path
+38 -3	metaprl/theories/mc/fir_const_elim.ml
+8 -0	metaprl/theories/mc/fir_const_elim.mli
+744 -295	metaprl/theories/mc/fir_const_elim.prla
+95 -2	metaprl/theories/mc/fir_eval.ml
+21 -1	metaprl/theories/mc/fir_eval.mli
Added	metaprl/theories/mc/fir_eval.prla
Properties	metaprl/theories/mc/fir_eval.prla
+5 -3	metaprl/theories/mc/fir_exp.ml
+1 -1	metaprl/theories/mc/fir_exp.mli
+13 -0	metaprl/theories/mc/fir_test.ml