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