Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-10-27 18:48:19 -0700 (Sat, 27 Oct 2001)
Revision: 3428
Log message:

      - Added support for evaluating "raw ints".
      - Started adding support of elimination of
        constants.
      

Changes	Path
+1 -0	metaprl/theories/mc/Makefile
Added	metaprl/theories/mc/fir_const_elim.ml
Properties	metaprl/theories/mc/fir_const_elim.ml
Added	metaprl/theories/mc/fir_const_elim.mli
Properties	metaprl/theories/mc/fir_const_elim.mli
Added	metaprl/theories/mc/fir_const_elim.prla
Properties	metaprl/theories/mc/fir_const_elim.prla
+2 -2	metaprl/theories/mc/fir_deadcode.ml
+66 -7	metaprl/theories/mc/fir_eval.ml
+24 -0	metaprl/theories/mc/fir_eval.mli
+25 -0	metaprl/theories/mc/fir_test.ml
+1 -0	metaprl/theories/mc/mc_theory.ml
+1 -0	metaprl/theories/mc/mc_theory.mli