Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-05 13:45:12 -0700 (Tue, 05 Apr 2005)
Revision: 7145
Log message:

      Ported "base" to pmc.
      

Changes	Path
Properties	mpcompiler
+3 -3	mpcompiler/mmc/arch/ppc/mmc_ppc_asm.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_asm.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_backend.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_backend.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_closure.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_closure.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_coalesce.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_coalesce.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_codegen.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_codegen.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_convention.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_convention.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_dead.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_dead.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_frame.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_frame.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_hoist.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_hoist.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_opt1.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_opt1.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_prologue.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_prologue.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_regalloc.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_regalloc.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_slop.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_slop.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_spill.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_spill.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_theory.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_theory.mli
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_util.ml
+1 -1	mpcompiler/mmc/arch/ppc/mmc_ppc_util.mli
+2 -2	mpcompiler/mmc/arch/ra/mmc_ra_live.ml
+1 -1	mpcompiler/mmc/arch/ra/mmc_ra_live.mli
+1 -1	mpcompiler/mmc/arch/ra/mmc_ra_main.ml
+1 -1	mpcompiler/mmc/arch/ra/mmc_ra_main.mli
+1 -1	mpcompiler/mmc/arch/ra/mmc_ra_spill.mli
+1 -1	mpcompiler/mmc/arch/ra/mmc_ra_state.ml
+1 -1	mpcompiler/mmc/arch/ra/mmc_ra_state.mli
+1 -1	mpcompiler/mmc/arch/ra/mmc_ra_type.mlz
+3 -3	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+1 -1	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.mli
+1 -1	mpcompiler/mmc/arch/x86/base/mmc_x86_frame.ml
+1 -1	mpcompiler/mmc/arch/x86/base/mmc_x86_frame.mli
+1 -1	mpcompiler/mmc/arch/x86/base/mmc_x86_util.ml
+1 -1	mpcompiler/mmc/arch/x86/base/mmc_x86_util.mli
+2 -2	mpcompiler/mmc/arch/x86/codegen/mmc_x86_alloc.ml
+3 -3	mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+1 -1	mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.mli
+2 -2	mpcompiler/mmc/arch/x86/codegen/mmc_x86_reserve.ml
+1 -1	mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+1 -1	mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+1 -1	mpcompiler/mmc/arch/x86/opt/mmc_x86_dead.ml
+1 -1	mpcompiler/mmc/arch/x86/opt/mmc_x86_dead.mli
+1 -1	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt.ml
+1 -1	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt.mli
+1 -1	mpcompiler/mmc/arch/x86/print/mmc_x86_print.ml
+1 -1	mpcompiler/mmc/arch/x86/print/mmc_x86_print.mli
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_backend.ml
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_backend.mli
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_coalesce.ml
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_coalesce.mli
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_convention.ml
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_convention.mli
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_regalloc.ml
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_regalloc.mli
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_slop.ml
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_slop.mli
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_spill.ml
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_spill.mli
+1 -1	mpcompiler/mmc/arch/x86/type/mmc_x86_sweep.ml
+1 -1	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml
+0 -3	mpcompiler/mmc/base/Files
Deleted	mpcompiler/mmc/base/mmc_base_dform.ml
Deleted	mpcompiler/mmc/base/mmc_base_dform.mli
+1 -6	mpcompiler/mmc/base/mmc_base_grammar.ml
+14 -5	mpcompiler/mmc/base/mmc_base_grammar.mli
+1 -1	mpcompiler/mmc/base/mmc_base_judgment.ml
+4 -6	mpcompiler/mmc/base/mmc_base_judgment.mli
+2 -2	mpcompiler/mmc/base/mmc_base_standardize.ml
+1 -1	mpcompiler/mmc/base/mmc_base_standardize.mli
Deleted	mpcompiler/mmc/base/mmc_base_tactic.ml
Deleted	mpcompiler/mmc/base/mmc_base_tactic.mli
+3 -3	mpcompiler/mmc/core/mmc_core_ast.ml
+1 -7	mpcompiler/mmc/core/mmc_core_ast.mli
+3 -3	mpcompiler/mmc/core/mmc_core_closure.ml
+1 -1	mpcompiler/mmc/core/mmc_core_closure.mli
+3 -4	mpcompiler/mmc/core/mmc_core_cps.ml
+1 -1	mpcompiler/mmc/core/mmc_core_cps.mli
+1 -1	mpcompiler/mmc/core/mmc_core_front.ml
+1 -1	mpcompiler/mmc/core/mmc_core_front.mli
+2 -2	mpcompiler/mmc/core/mmc_core_hoist.ml
+1 -1	mpcompiler/mmc/core/mmc_core_hoist.mli
+1 -1	mpcompiler/mmc/core/mmc_core_optimize.ml
+1 -1	mpcompiler/mmc/core/mmc_core_optimize.mli
+3 -3	mpcompiler/mmc/core/mmc_core_sweep.ml
+1 -1	mpcompiler/mmc/core/mmc_core_sweep_ty.ml
+1 -1	mpcompiler/mmc/core/mmc_core_sweep_ty.mli
+3 -3	mpcompiler/mmc/core/mmc_core_tast.ml
+2 -2	mpcompiler/mmc/core/mmc_core_tast.mli
+1 -1	mpcompiler/mmc/core/mmc_core_tast_util.ml
+1 -1	mpcompiler/mmc/core/mmc_core_tast_util.mli
+1 -1	mpcompiler/mmc/core/mmc_core_theory.ml
+1 -1	mpcompiler/mmc/core/mmc_core_theory.mli
+3 -3	mpcompiler/mmc/core/mmc_core_type_check.ml
+1 -1	mpcompiler/mmc/core/mmc_core_type_check.mli
+1 -1	mpcompiler/mmc/core/mmc_core_type_erase.ml
+1 -1	mpcompiler/mmc/core/mmc_core_type_erase.mli
+1 -1	mpcompiler/mmc/core/mmc_core_type_infer.ml
+1 -1	mpcompiler/mmc/core/mmc_core_type_infer.mli
+5 -5	mpcompiler/mmc/core/mmc_core_type_util.ml
+1 -1	mpcompiler/mmc/core/mmc_core_type_util.mli
+13 -13	mpcompiler/mmc/extensions/array/mmc_ext_array.ml
+1 -1	mpcompiler/mmc/extensions/array/mmc_ext_array.mli
+1 -1	mpcompiler/mmc/extensions/array/mmc_ext_array_x86.ml
+1 -1	mpcompiler/mmc/extensions/array/mmc_ext_array_x86.mli
+4 -4	mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+1 -1	mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
+1 -1	mpcompiler/mmc/extensions/bool/mmc_ext_boolean_x86.ml
+1 -1	mpcompiler/mmc/extensions/bool/mmc_ext_boolean_x86.mli
+1 -1	mpcompiler/mmc/extensions/bool/mmc_opt_bool.ml
+1 -1	mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+1 -1	mpcompiler/mmc/extensions/int/mmc_opt_int.ml
+1 -1	mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml
+1 -1	mpcompiler/mmc/extensions/loop/mmc_ext_loop.mli
+3 -3	mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+1 -1	mpcompiler/mmc/extensions/operator/mmc_ext_operator.mli
+2 -2	mpcompiler/mmc/extensions/sequence/mmc_ext_sequence.ml
+5 -5	mpcompiler/mmc/extensions/special/mmc_ext_special.ml
+1 -1	mpcompiler/mmc/extensions/special/mmc_ext_special.mli
+1 -1	mpcompiler/mmc/extensions/special/mmc_ext_special_x86.ml
+1 -1	mpcompiler/mmc/extensions/special/mmc_ext_special_x86.mli
+5 -5	mpcompiler/mmc/extensions/string/mmc_ext_string.ml
+1 -1	mpcompiler/mmc/extensions/string/mmc_ext_string.mli
+2 -2	mpcompiler/mmc/extensions/string/mmc_x86_string.ml
+3 -3	mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+1 -1	mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.mli
+1 -1	mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+3 -3	mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.ml
+3 -3	mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml
+1 -1	mpcompiler/mmc/extensions/unit/mmc_ext_unit.ml
+1 -1	mpcompiler/mmc/extensions/unit/mmc_ext_unit.mli
+1 -1	mpcompiler/mmc/extensions/unit/mmc_ext_unit_x86.ml
+1 -1	mpcompiler/mmc/extensions/unit/mmc_ext_unit_x86.mli
+1 -1	mpcompiler/mmc/lir/mmc_lir_theory.ml
+1 -1	mpcompiler/mmc/lir/mmc_lir_theory.mli
+1 -1	mpcompiler/mmc/opt/dead/mmc_opt_dead.ml
+1 -1	mpcompiler/mmc/opt/dead/mmc_opt_dead.mli
+1 -1	mpcompiler/mmc/opt/inline/mmc_opt_const.mli
+1 -1	mpcompiler/mmc/opt/inline/mmc_opt_inline.ml
+1 -1	mpcompiler/mmc/opt/inline/mmc_opt_inline.mli
+1 -1	mpcompiler/mmc/opt/inline/mmc_opt_inline_base.ml
+1 -1	mpcompiler/mmc/opt/inline/mmc_opt_inline_base.mli
+1 -1	mpcompiler/mmc/opt/inline/mmc_opt_value.ml
+1 -1	mpcompiler/mmc/opt/inline/mmc_opt_value.mli
+1 -1	mpcompiler/mmc/test/mmc_array_test.ml
+1 -1	mpcompiler/mmc/test/mmc_array_test.mli
+1 -1	mpcompiler/mmc/test/mmc_bool_test.ml
+1 -1	mpcompiler/mmc/test/mmc_core_test.ml
+1 -1	mpcompiler/mmc/test/mmc_core_test.mli
+1 -1	mpcompiler/mmc/test/mmc_infer_test.ml
+1 -1	mpcompiler/mmc/test/mmc_infer_test.mli
+1 -1	mpcompiler/mmc/test/mmc_int_test.ml
+1 -1	mpcompiler/mmc/test/mmc_loop_test.ml
+1 -1	mpcompiler/mmc/test/mmc_loop_test.mli
+1 -1	mpcompiler/mmc/test/mmc_spill_test.ml
+1 -1	mpcompiler/mmc/test/mmc_spill_test.mli
Properties	mpcompiler/poplmark/pmc
+1 -0	mpcompiler/poplmark/pmc/OMakefile
Properties	mpcompiler/poplmark/pmc/base
Added	mpcompiler/poplmark/pmc/base/Files
Properties	mpcompiler/poplmark/pmc/base/Files
Added	mpcompiler/poplmark/pmc/base/pmc_base_grammar.ml
Properties	mpcompiler/poplmark/pmc/base/pmc_base_grammar.ml
Added	mpcompiler/poplmark/pmc/base/pmc_base_grammar.mli
Properties	mpcompiler/poplmark/pmc/base/pmc_base_grammar.mli
Added	mpcompiler/poplmark/pmc/base/pmc_base_judgment.ml
Properties	mpcompiler/poplmark/pmc/base/pmc_base_judgment.ml
Added	mpcompiler/poplmark/pmc/base/pmc_base_judgment.mli
Properties	mpcompiler/poplmark/pmc/base/pmc_base_judgment.mli
Added	mpcompiler/poplmark/pmc/base/pmc_base_standardize.ml
Properties	mpcompiler/poplmark/pmc/base/pmc_base_standardize.ml
Added	mpcompiler/poplmark/pmc/base/pmc_base_standardize.mli
Properties	mpcompiler/poplmark/pmc/base/pmc_base_standardize.mli
+20 -20	mpcompiler/poplmark/pmc/core/pmc_core_theory.ml
+1 -1	mpcompiler/poplmark/pmc/core/pmc_core_theory.mli
+1 -0	mpcompiler/util/OMakefile
+1 -1	mpcompiler/util/mm_arith_util.ml
+1 -1	mpcompiler/util/mm_arith_util.mli
+15 -1	mpcompiler/util/mm_dform_util.ml
+10 -1	mpcompiler/util/mm_dform_util.mli
+1 -1	mpcompiler/util/mm_hoist_util.ml
+1 -1	mpcompiler/util/mm_hoist_util.mli
+1 -1	mpcompiler/util/mm_list_util.ml
+1 -1	mpcompiler/util/mm_list_util.mli
Added	mpcompiler/util/mm_meta_util.ml
Properties	mpcompiler/util/mm_meta_util.ml
Added	mpcompiler/util/mm_meta_util.mli
Properties	mpcompiler/util/mm_meta_util.mli
+1 -1	mpcompiler/util/mm_sequent_util.ml
+1 -1	mpcompiler/util/mm_sequent_util.mli
+8 -1	mpcompiler/util/mm_tactic_util.ml
+5 -1	mpcompiler/util/mm_tactic_util.mli