Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-10-18 02:07:10 -0700 (Thu, 18 Oct 2001)
Revision: 3422
Log message:

      Lots of changes in this update:
      - Added terms for rawint sets.
      - Added additional terms for FIR entities. There
        should be terms for just about anything.
      - Moved a few more things into Fir_eval since
        that's where they belonged.  Fir_eval contains
        terms that are needed just to evaluate programs.
      - Added a deadcode elimination tactic.  The rewrites
        are simple and proven.
      - Added stub files for marshalling to and from
        the mojave compiler Fir.prog type.
      

Changes  Path
+3 -0 metaprl/theories/mc/Makefile
Added metaprl/theories/mc/fir_deadcode.ml
Properties metaprl/theories/mc/fir_deadcode.ml
Added metaprl/theories/mc/fir_deadcode.mli
Properties metaprl/theories/mc/fir_deadcode.mli
Added metaprl/theories/mc/fir_deadcode.prla
Properties metaprl/theories/mc/fir_deadcode.prla
+12 -2 metaprl/theories/mc/fir_eval.ml
+5 -0 metaprl/theories/mc/fir_eval.mli
+243 -36 metaprl/theories/mc/fir_exp.ml
+72 -39 metaprl/theories/mc/fir_exp.mli
Added metaprl/theories/mc/fir_marshal.ml
Properties metaprl/theories/mc/fir_marshal.ml
Added metaprl/theories/mc/fir_marshal.mli
Properties metaprl/theories/mc/fir_marshal.mli
Added metaprl/theories/mc/fir_rawint_set.ml
Properties metaprl/theories/mc/fir_rawint_set.ml
Added metaprl/theories/mc/fir_rawint_set.mli
Properties metaprl/theories/mc/fir_rawint_set.mli
+4 -0 metaprl/theories/mc/fir_ty.ml
+5 -0 metaprl/theories/mc/fir_ty.mli
+3 -0 metaprl/theories/mc/mc_theory.ml
+3 -0 metaprl/theories/mc/mc_theory.mli