Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-24 11:05:34 -0800 (Wed, 24 Mar 2004)
Revision: 5537
Log message:

      Proper code generation for Ext_int_test.test1.  To see the code, run
      the tactic (coreT thenT codegenT).
      
      Currently, standardization fails because it doesn't handle sequents.
      That's next.
      

Changes  Path
+22 -21 metaprl/filter/base/filter_cache_fun.ml
+5 -2 metaprl/filter/base/filter_summary.ml
+1 -1 mpcompiler/mmc/OMakefile
+6 -2 mpcompiler/mmc/arch/x86/mmc_x86_asm.ml
+1 -0 mpcompiler/mmc/arch/x86/mmc_x86_asm.mli
+24 -14 mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_frame.ml
+1 -1 mpcompiler/mmc/core/mmc_core_tast.ml
+1 -1 mpcompiler/mmc/core/mmc_core_theory.ml
+3 -1 mpcompiler/mmc/core/mmc_core_theory.mli
+4 -4 mpcompiler/mmc/extensions/fix/mmc_ext_fix_x86.ml
+6 -2 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+10 -10 mpcompiler/mmc/extensions/int/mmc_ext_integer_x86.ml
+30 -9 mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+5 -0 mpcompiler/mmc/extensions/operator/mmc_ext_operator.mli
+9 -8 mpcompiler/mmc/main/mmc_theory.ml
+5 -6 mpcompiler/mmc/main/mmc_theory.mli
+2 -2 mpcompiler/util/Files
+4 -9 mpcompiler/util/mm_list_util.ml
+1 -1 mpcompiler/util/mm_list_util.mli