Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-19 19:33:42 -0800 (Wed, 19 Mar 2003)
Revision: 4187
Log message:

      Added code to split a live range.
      

Changes  Path
+6 -0 metaprl/refiner/refsig/term_subst_sig.ml
+45 -4 metaprl/refiner/term_ds/term_subst_ds.ml
+37 -2 metaprl/refiner/term_std/term_subst_std.ml
+3 -0 metaprl/theories/experimental/compile/Makefile
Added metaprl/theories/experimental/compile/m_standardize.ml
Properties metaprl/theories/experimental/compile/m_standardize.ml
Added metaprl/theories/experimental/compile/m_standardize.mli
Properties metaprl/theories/experimental/compile/m_standardize.mli
+5 -0 metaprl/theories/experimental/compile/m_theory.ml
+2 -0 metaprl/theories/experimental/compile/m_theory.mli
+5 -4 metaprl/theories/experimental/compile/m_x86_codegen.ml
Added metaprl/theories/experimental/compile/m_x86_spill.ml
Properties metaprl/theories/experimental/compile/m_x86_spill.ml
Added metaprl/theories/experimental/compile/m_x86_spill.mli
Properties metaprl/theories/experimental/compile/m_x86_spill.mli
+9 -2 metaprl/theories/experimental/compile/x86_asm.ml
+3 -0 metaprl/theories/experimental/compile/x86_asm.mli
Added metaprl/theories/experimental/compile/x86_term.ml
Properties metaprl/theories/experimental/compile/x86_term.ml
Added metaprl/theories/experimental/compile/x86_term.mli
Properties metaprl/theories/experimental/compile/x86_term.mli