Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-01 01:53:25 -0700 (Fri, 01 Jul 2005)
Revision: 7525
Log message:

      The MMC part of the previous commit
      

Changes  Path
+2 -2 metaprl/support/display/comment.ml
+2 -4 metaprl/theories/itt/itt_image.mli
+2 -18 mpcompiler/mmc/arch/ppc/mmc_ppc_asm.ml
+3 -13 mpcompiler/mmc/arch/ppc/mmc_ppc_codegen.ml
+0 -4 mpcompiler/mmc/arch/ppc/mmc_ppc_frame.ml
+0 -4 mpcompiler/mmc/arch/ppc/mmc_ppc_prologue.ml
+2 -24 mpcompiler/mmc/arch/ppc/mmc_ppc_spill.ml
+1 -2 mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+3 -6 mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+0 -2 mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.mli
+1 -1 mpcompiler/mmc/arch/x86/print/mmc_x86_print.ml
+1 -1 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_backend.ml
+4 -23 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_spill.ml
+1 -5 mpcompiler/mmc/core/mmc_core_front.ml
+2 -3 mpcompiler/mmc/core/mmc_core_optimize.ml
+0 -2 mpcompiler/mmc/core/mmc_core_type_erase.ml
+0 -2 mpcompiler/mmc/core/mmc_core_type_erase.mli
+1 -1 mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+2 -3 mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml
+3 -3 mpcompiler/mmc/test/OMakefile