Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-23 11:43:20 -0800 (Tue, 23 Mar 2004)
Revision: 5528
Log message:

      The compiler is now with a complete x86 backend.  Undebugged, though.
      

Changes  Path
+2 -1 mpcompiler/mmc/arch/x86/Files
Added mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
Properties mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
Added mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
Properties mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+12 -0 mpcompiler/mmc/main/mmc_theory.ml