Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-03-24 14:35:29 -0800 (Sun, 24 Mar 2002)
Revision: 3550
Log message:

      Updating files to reflect the newest version of the MC FIR (which happens to be
      in the websplit branch).  In the process, I've also moved every file in this
      theory to use the same prefix for the filenames. I've also removed quite
      a few files that have been dead for a while now.
      
      Right now, the "connect" files are not compiled in by default since they will
      only compile against the websplit branch of MC and not the trunk.
      
      Lastly, since the definition of FIR evaluation is a bit more precise now,
      the need to seperately define constant elimination has been removed.
      

Changes  Path
+15 -51 metaprl/theories/mc/Conscript
+7 -7 metaprl/theories/mc/Makefile
+3 -2 metaprl/theories/mc/README
+27 -24 metaprl/theories/mc/TODO
Deleted metaprl/theories/mc/fir_const_elim.ml
Deleted metaprl/theories/mc/fir_const_elim.mli
Deleted metaprl/theories/mc/fir_const_elim.prla
Deleted metaprl/theories/mc/fir_deadcode.ml
Deleted metaprl/theories/mc/fir_deadcode.mli
Deleted metaprl/theories/mc/fir_deadcode.prla
Deleted metaprl/theories/mc/fir_exp.ml
Deleted metaprl/theories/mc/fir_exp.mli
Deleted metaprl/theories/mc/fir_test.ml
Deleted metaprl/theories/mc/fir_test.mli
Deleted metaprl/theories/mc/fir_ty.ml
Deleted metaprl/theories/mc/fir_ty.mli
Deleted metaprl/theories/mc/fir_type.ml
Deleted metaprl/theories/mc/fir_type.mli
Deleted metaprl/theories/mc/fir_type.prla
Deleted metaprl/theories/mc/fir_type_exp.ml
Deleted metaprl/theories/mc/fir_type_exp.mli
Deleted metaprl/theories/mc/fir_type_exp.prla
Deleted metaprl/theories/mc/fir_type_int.ml
Deleted metaprl/theories/mc/fir_type_int.mli
Deleted metaprl/theories/mc/fir_type_int.prla
+4 -2 metaprl/theories/mc/mp_mc_compile.ml
+2 -0 metaprl/theories/mc/mp_mc_compile.mli
+2 -0 metaprl/theories/mc/mp_mc_connect.ml
+2 -0 metaprl/theories/mc/mp_mc_connect.mli
+170 -80 metaprl/theories/mc/mp_mc_connect_base.ml
+56 -30 metaprl/theories/mc/mp_mc_connect_base.mli
+472 -226 metaprl/theories/mc/mp_mc_connect_exp.ml
+27 -9 metaprl/theories/mc/mp_mc_connect_exp.mli
+49 -44 metaprl/theories/mc/mp_mc_connect_ty.ml
+2 -10 metaprl/theories/mc/mp_mc_connect_ty.mli
Added metaprl/theories/mc/mp_mc_deadcode.ml
Properties metaprl/theories/mc/mp_mc_deadcode.ml
Added metaprl/theories/mc/mp_mc_deadcode.mli
Properties metaprl/theories/mc/mp_mc_deadcode.mli
Added metaprl/theories/mc/mp_mc_fir_base.ml
Properties metaprl/theories/mc/mp_mc_fir_base.ml
Added metaprl/theories/mc/mp_mc_fir_base.mli
Properties metaprl/theories/mc/mp_mc_fir_base.mli
+121 -263 metaprl/theories/mc/mp_mc_fir_eval.ml
+42 -69 metaprl/theories/mc/mp_mc_fir_eval.mli
Added metaprl/theories/mc/mp_mc_fir_exp.ml
Properties metaprl/theories/mc/mp_mc_fir_exp.ml
Added metaprl/theories/mc/mp_mc_fir_exp.mli
Properties metaprl/theories/mc/mp_mc_fir_exp.mli
Added metaprl/theories/mc/mp_mc_fir_ty.ml
Properties metaprl/theories/mc/mp_mc_fir_ty.ml
Added metaprl/theories/mc/mp_mc_fir_ty.mli
Properties metaprl/theories/mc/mp_mc_fir_ty.mli
Deleted metaprl/theories/mc/mp_mc_set.ml
Deleted metaprl/theories/mc/mp_mc_set.mli
+68 -0 metaprl/theories/mc/mp_mc_term_op.ml
+19 -0 metaprl/theories/mc/mp_mc_term_op.mli
+6 -5 metaprl/theories/mc/mp_mc_theory.mlz
+1 -1 metaprl/theories/mc/tests/Conscript