Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-21 17:46:01 -0800 (Mon, 21 Feb 2005)
Revision: 6739
Log message:

      Working on the backend.  The terms changed a lot, so most of the
      files are not compiled.  I'll add them back as I work through the
      backend.
      

Changes  Path
+17 -16 mpcompiler/mmc/arch/x86/Files
+53 -38 mpcompiler/mmc/arch/x86/mmc_x86_asm.ml
+41 -43 mpcompiler/mmc/arch/x86/mmc_x86_asm.mli
+10 -10 mpcompiler/mmc/arch/x86/mmc_x86_frame.ml
+7 -7 mpcompiler/mmc/arch/x86/mmc_x86_frame.mli
+8 -3 mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+1 -0 mpcompiler/mmc/core/mmc_core_theory.mli
+2 -3 mpcompiler/mmc/extensions/array/Files
+2 -3 mpcompiler/mmc/extensions/bool/Files
+2 -3 mpcompiler/mmc/extensions/int/Files
+2 -1 mpcompiler/mmc/extensions/operator/Files
+2 -3 mpcompiler/mmc/extensions/reserve/Files
+2 -3 mpcompiler/mmc/extensions/special/Files
+1 -1 mpcompiler/mmc/extensions/string/Files
+2 -3 mpcompiler/mmc/extensions/tuple/Files
+1 -1 mpcompiler/mmc/extensions/tyexists/Files
+2 -3 mpcompiler/mmc/extensions/unit/Files
+6 -8 mpcompiler/mmc/main/mmc_theory.ml
+5 -5 mpcompiler/mmc/main/mmc_theory.mli
+16 -17 mpcompiler/mmc/test/mmc
+1 -1 mpcompiler/mmc/test/mmc_grammar.ml