Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 02:56:26 -0700 (Thu, 24 Jun 2004)
Revision: 6009
Log message:

      MMC part of the previous two commits.
      

Changes  Path
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_spill.mli
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_util.mli
+1 -1 mpcompiler/mmc/core/mmc_core_front.ml
+2 -1 mpcompiler/mmc/core/mmc_core_type_util.ml
+1 -1 mpcompiler/util/mm_sequent_util.mli

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

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-27 18:05:16 -0700 (Sun, 27 Jun 2004)
Revision: 6032
Log message:

      MMC part of the previous MetaPRL commit.
      

Changes  Path
+0 -1 mpcompiler/mmc/arch/x86/mmc_x86_convention.ml
+0 -1 mpcompiler/mmc/arch/x86/mmc_x86_spill.ml
+0 -1 mpcompiler/mmc/core/mmc_core_closure.ml
+0 -1 mpcompiler/mmc/core/mmc_core_inline.ml
+0 -1 mpcompiler/mmc/core/mmc_core_value.ml
+0 -1 mpcompiler/mmc/opt/direct/core/mmc_opt_direct.ml
+0 -1 mpcompiler/mmc/opt/direct/extensions/fix/mmc_opt_direct_fix.ml
+0 -1 mpcompiler/util/mm_tactic_util.ml