Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-10-26 22:05:38 -0700 (Fri, 26 Oct 2001)
Revision: 3427
Log message:

      - Added more terms for FIR entities (trig functions).
      - Changed deadcode elimination slightly.
      - Changed evalutation of tyInt arithmetic to sort of
        do some type checking.
      

Changes  Path
+0 -1 metaprl/theories/mc/Makefile
+11 -0 metaprl/theories/mc/README
+5 -9 metaprl/theories/mc/fir_deadcode.ml
+1 -2 metaprl/theories/mc/fir_deadcode.mli
+24 -31 metaprl/theories/mc/fir_eval.ml
+2 -4 metaprl/theories/mc/fir_eval.mli
+12 -0 metaprl/theories/mc/fir_exp.ml
+4 -0 metaprl/theories/mc/fir_exp.mli
+16 -1 metaprl/theories/mc/fir_marshal.ml
+1 -1 metaprl/theories/mc/fir_marshal.mli
+0 -1 metaprl/theories/mc/mc_theory.ml
+0 -1 metaprl/theories/mc/mc_theory.mli