Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 06:20:08 -0700 (Thu, 24 Jun 2004)
Revision: 6012
Log message:

      Updating MMC to match the latest MetaPRL changes.
      

Changes	Path
+1 -12	mpcompiler/mmc/arch/x86/mmc_x86_closure.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_closure.mli
+1 -2	mpcompiler/mmc/arch/x86/mmc_x86_coalesce.mli
+1 -11	mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_codegen.mli
+2 -13	mpcompiler/mmc/arch/x86/mmc_x86_convention.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_convention.mli
+1 -8	mpcompiler/mmc/arch/x86/mmc_x86_dead.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_dead.mli
+1 -11	mpcompiler/mmc/arch/x86/mmc_x86_frame.ml
+1 -4	mpcompiler/mmc/arch/x86/mmc_x86_frame.mli
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_hoist.mli
+1 -11	mpcompiler/mmc/arch/x86/mmc_x86_opt1.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_opt1.mli
+1 -8	mpcompiler/mmc/arch/x86/mmc_x86_prologue.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_prologue.mli
+1 -1	mpcompiler/mmc/arch/x86/mmc_x86_regalloc.mli
+1 -8	mpcompiler/mmc/arch/x86/mmc_x86_slop.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_slop.mli
+1 -11	mpcompiler/mmc/arch/x86/mmc_x86_spill.ml
+1 -3	mpcompiler/mmc/arch/x86/mmc_x86_spill.mli
+1 -1	mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+1 -3	mpcompiler/mmc/base/mmc_base_hoist.mli
+1 -2	mpcompiler/mmc/base/mmc_base_standardize.mli
+1 -11	mpcompiler/mmc/core/mmc_core_closure.ml
+1 -6	mpcompiler/mmc/core/mmc_core_closure.mli
+1 -12	mpcompiler/mmc/core/mmc_core_cps.ml
+1 -3	mpcompiler/mmc/core/mmc_core_cps.mli
+1 -8	mpcompiler/mmc/core/mmc_core_def.ml
+1 -3	mpcompiler/mmc/core/mmc_core_def.mli
+1 -7	mpcompiler/mmc/core/mmc_core_front.ml
+1 -3	mpcompiler/mmc/core/mmc_core_front.mli
+1 -3	mpcompiler/mmc/core/mmc_core_hoist.mli
+1 -11	mpcompiler/mmc/core/mmc_core_inline.ml
+1 -4	mpcompiler/mmc/core/mmc_core_inline.mli
+1 -8	mpcompiler/mmc/core/mmc_core_optimize.ml
+1 -3	mpcompiler/mmc/core/mmc_core_optimize.mli
+1 -9	mpcompiler/mmc/core/mmc_core_reserve.ml
+1 -3	mpcompiler/mmc/core/mmc_core_reserve.mli
+1 -1	mpcompiler/mmc/core/mmc_core_tast_util.mli
+1 -1	mpcompiler/mmc/core/mmc_core_theory.mli
+1 -7	mpcompiler/mmc/core/mmc_core_type_erase.ml
+1 -3	mpcompiler/mmc/core/mmc_core_type_erase.mli
+1 -8	mpcompiler/mmc/core/mmc_core_type_util.ml
+1 -4	mpcompiler/mmc/core/mmc_core_type_util.mli
+1 -11	mpcompiler/mmc/core/mmc_core_value.ml
+1 -3	mpcompiler/mmc/core/mmc_core_value.mli
+1 -1	mpcompiler/mmc/main/mmc_theory.mli
+1 -12	mpcompiler/mmc/opt/dead/core/mmc_opt_dead.ml
+1 -3	mpcompiler/mmc/opt/dead/core/mmc_opt_dead.mli
+1 -13	mpcompiler/mmc/opt/direct/core/mmc_opt_direct.ml
+1 -3	mpcompiler/mmc/opt/direct/core/mmc_opt_direct.mli
+1 -13	mpcompiler/mmc/opt/direct/extensions/fix/mmc_opt_direct_fix.ml
+2 -6	mpcompiler/util/mm_tactic_util.ml
+1 -4	mpcompiler/util/mm_tactic_util.mli
+3 -11	mpcompiler/util/mmc_term_util.ml
+1 -4	mpcompiler/util/mmc_term_util.mli