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