Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-29 15:15:11 -0800 (Sat, 29 Mar 2003)
Revision: 4346
Log message:

      Merged the lm_libmojave branch back to the trunk.
      
      We have submitted the ICFP paper, so this should be the last in this
      crazy flood of commit we had in the last several days.
      

Changes  Path
+25 -7 metaprl/Makefile
+1 -1 metaprl/clib/readline.c
Properties metaprl/doc/latex/theories
+7 -0 metaprl/doc/latex/theories/Makefile
Properties metaprl/doc/latex/theories/experimental/compile
Added metaprl/doc/latex/theories/experimental/compile/print.ml
Properties metaprl/doc/latex/theories/experimental/compile/print.ml
Added metaprl/doc/latex/theories/m-paper.tex
Properties metaprl/doc/latex/theories/m-paper.tex
+2 -1 metaprl/editor/ml/.gdbinit
+20 -11 metaprl/editor/ml/Makefile
+13 -0 metaprl/filter/boot/conversionals_boot.ml
+5 -0 metaprl/filter/boot/tactic_boot_sig.mlz
+4 -1 metaprl/filter/filter/filter_parse.ml
+15 -0 metaprl/lib/words
+6 -0 metaprl/mk/make_config.sh
+3 -0 metaprl/mk/preface
+32 -16 metaprl/mk/rules
+1 -1 metaprl/mllib/readline.ml
+4 -0 metaprl/refiner/refsig/term_op_sig.ml
+28 -0 metaprl/refiner/term_ds/term_op_ds.ml
+29 -0 metaprl/refiner/term_std/term_op_std.ml
+3 -6 metaprl/theories/czf/czf_itt_set.ml
Properties metaprl/theories/experimental/compile
Added metaprl/theories/experimental/compile/.ispell_english
Properties metaprl/theories/experimental/compile/.ispell_english
+42 -5 metaprl/theories/experimental/compile/Makefile
+11 -3 metaprl/theories/experimental/compile/README
+6 -4 metaprl/theories/experimental/compile/m_arith.ml
+1 -0 metaprl/theories/experimental/compile/m_arith.mli
+103 -56 metaprl/theories/experimental/compile/m_ast.pho
+25 -14 metaprl/theories/experimental/compile/m_closure.ml
+55 -21 metaprl/theories/experimental/compile/m_cps.ml
+3 -4 metaprl/theories/experimental/compile/m_dead.ml
Added metaprl/theories/experimental/compile/m_doc_closure.ml
Properties metaprl/theories/experimental/compile/m_doc_closure.ml
Added metaprl/theories/experimental/compile/m_doc_closure.mli
Properties metaprl/theories/experimental/compile/m_doc_closure.mli
Added metaprl/theories/experimental/compile/m_doc_comment.ml
Properties metaprl/theories/experimental/compile/m_doc_comment.ml
Added metaprl/theories/experimental/compile/m_doc_comment.mli
Properties metaprl/theories/experimental/compile/m_doc_comment.mli
Added metaprl/theories/experimental/compile/m_doc_cps.ml
Properties metaprl/theories/experimental/compile/m_doc_cps.ml
Added metaprl/theories/experimental/compile/m_doc_cps.mli
Properties metaprl/theories/experimental/compile/m_doc_cps.mli
Added metaprl/theories/experimental/compile/m_doc_intro.ml
Properties metaprl/theories/experimental/compile/m_doc_intro.ml
Added metaprl/theories/experimental/compile/m_doc_intro.mli
Properties metaprl/theories/experimental/compile/m_doc_intro.mli
Added metaprl/theories/experimental/compile/m_doc_ir.ml
Properties metaprl/theories/experimental/compile/m_doc_ir.ml
Added metaprl/theories/experimental/compile/m_doc_ir.mli
Properties metaprl/theories/experimental/compile/m_doc_ir.mli
Added metaprl/theories/experimental/compile/m_doc_opt.ml
Properties metaprl/theories/experimental/compile/m_doc_opt.ml
Added metaprl/theories/experimental/compile/m_doc_opt.mli
Properties metaprl/theories/experimental/compile/m_doc_opt.mli
Added metaprl/theories/experimental/compile/m_doc_parsing.ml
Properties metaprl/theories/experimental/compile/m_doc_parsing.ml
Added metaprl/theories/experimental/compile/m_doc_parsing.mli
Properties metaprl/theories/experimental/compile/m_doc_parsing.mli
Added metaprl/theories/experimental/compile/m_doc_summary.ml
Properties metaprl/theories/experimental/compile/m_doc_summary.ml
Added metaprl/theories/experimental/compile/m_doc_summary.mli
Properties metaprl/theories/experimental/compile/m_doc_summary.mli
Added metaprl/theories/experimental/compile/m_doc_x86_asm.ml
Properties metaprl/theories/experimental/compile/m_doc_x86_asm.ml
Added metaprl/theories/experimental/compile/m_doc_x86_asm.mli
Properties metaprl/theories/experimental/compile/m_doc_x86_asm.mli
Added metaprl/theories/experimental/compile/m_doc_x86_codegen.ml
Properties metaprl/theories/experimental/compile/m_doc_x86_codegen.ml
Added metaprl/theories/experimental/compile/m_doc_x86_codegen.mli
Properties metaprl/theories/experimental/compile/m_doc_x86_codegen.mli
Added metaprl/theories/experimental/compile/m_doc_x86_opt.ml
Properties metaprl/theories/experimental/compile/m_doc_x86_opt.ml
Added metaprl/theories/experimental/compile/m_doc_x86_opt.mli
Properties metaprl/theories/experimental/compile/m_doc_x86_opt.mli
Added metaprl/theories/experimental/compile/m_doc_x86_regalloc.ml
Properties metaprl/theories/experimental/compile/m_doc_x86_regalloc.ml
Added metaprl/theories/experimental/compile/m_doc_x86_regalloc.mli
Properties metaprl/theories/experimental/compile/m_doc_x86_regalloc.mli
+29 -10 metaprl/theories/experimental/compile/m_inline.ml
+69 -31 metaprl/theories/experimental/compile/m_ir.ml
+15 -5 metaprl/theories/experimental/compile/m_ir.mli
+6 -3 metaprl/theories/experimental/compile/m_prog.ml
Added metaprl/theories/experimental/compile/m_ra_live.ml
Properties metaprl/theories/experimental/compile/m_ra_live.ml
Added metaprl/theories/experimental/compile/m_ra_live.mli
Properties metaprl/theories/experimental/compile/m_ra_live.mli
Added metaprl/theories/experimental/compile/m_ra_main.ml
Properties metaprl/theories/experimental/compile/m_ra_main.ml
Added metaprl/theories/experimental/compile/m_ra_main.mli
Properties metaprl/theories/experimental/compile/m_ra_main.mli
Added metaprl/theories/experimental/compile/m_ra_state.ml
Properties metaprl/theories/experimental/compile/m_ra_state.ml
Added metaprl/theories/experimental/compile/m_ra_state.mli
Properties metaprl/theories/experimental/compile/m_ra_state.mli
Added metaprl/theories/experimental/compile/m_ra_type.ml
Properties metaprl/theories/experimental/compile/m_ra_type.ml
Added metaprl/theories/experimental/compile/m_ra_type.mli
Properties metaprl/theories/experimental/compile/m_ra_type.mli
Added metaprl/theories/experimental/compile/m_ra_type.mlz
Properties metaprl/theories/experimental/compile/m_ra_type.mlz
Added metaprl/theories/experimental/compile/m_reserve.ml
Properties metaprl/theories/experimental/compile/m_reserve.ml
Added metaprl/theories/experimental/compile/m_reserve.mli
Properties metaprl/theories/experimental/compile/m_reserve.mli
+52 -3 metaprl/theories/experimental/compile/m_standardize.ml
+3 -0 metaprl/theories/experimental/compile/m_standardize.mli
+53 -5 metaprl/theories/experimental/compile/m_test.ml
+25 -9 metaprl/theories/experimental/compile/m_theory.ml
+5 -2 metaprl/theories/experimental/compile/m_theory.mli
+1 -3 metaprl/theories/experimental/compile/m_util.ml
Added metaprl/theories/experimental/compile/m_x86_asm.ml
Properties metaprl/theories/experimental/compile/m_x86_asm.ml
Added metaprl/theories/experimental/compile/m_x86_asm.mli
Properties metaprl/theories/experimental/compile/m_x86_asm.mli
Added metaprl/theories/experimental/compile/m_x86_backend.ml
Properties metaprl/theories/experimental/compile/m_x86_backend.ml
Added metaprl/theories/experimental/compile/m_x86_backend.mli
Properties metaprl/theories/experimental/compile/m_x86_backend.mli
Added metaprl/theories/experimental/compile/m_x86_coalesce.ml
Properties metaprl/theories/experimental/compile/m_x86_coalesce.ml
Added metaprl/theories/experimental/compile/m_x86_coalesce.mli
Properties metaprl/theories/experimental/compile/m_x86_coalesce.mli
+289 -185 metaprl/theories/experimental/compile/m_x86_codegen.ml
+4 -121 metaprl/theories/experimental/compile/m_x86_frame.ml
+1 -19 metaprl/theories/experimental/compile/m_x86_frame.mli
Added metaprl/theories/experimental/compile/m_x86_inst_type.mlz
Properties metaprl/theories/experimental/compile/m_x86_inst_type.mlz
Added metaprl/theories/experimental/compile/m_x86_opt.ml
Properties metaprl/theories/experimental/compile/m_x86_opt.ml
Added metaprl/theories/experimental/compile/m_x86_opt.mli
Properties metaprl/theories/experimental/compile/m_x86_opt.mli
Added metaprl/theories/experimental/compile/m_x86_regalloc.ml
Properties metaprl/theories/experimental/compile/m_x86_regalloc.ml
Added metaprl/theories/experimental/compile/m_x86_regalloc.mli
Properties metaprl/theories/experimental/compile/m_x86_regalloc.mli
+377 -98 metaprl/theories/experimental/compile/m_x86_spill.ml
+9 -5 metaprl/theories/experimental/compile/m_x86_spill.mli
Added metaprl/theories/experimental/compile/m_x86_term.ml
Properties metaprl/theories/experimental/compile/m_x86_term.ml
Added metaprl/theories/experimental/compile/m_x86_term.mli
Properties metaprl/theories/experimental/compile/m_x86_term.mli
Deleted metaprl/theories/experimental/compile/m_x86_util.ml
Deleted metaprl/theories/experimental/compile/m_x86_util.mli
Properties metaprl/theories/experimental/compile/runtime
Added metaprl/theories/experimental/compile/runtime/Makefile
Properties metaprl/theories/experimental/compile/runtime/Makefile
Added metaprl/theories/experimental/compile/runtime/x86_glue.s
Properties metaprl/theories/experimental/compile/runtime/x86_glue.s
Added metaprl/theories/experimental/compile/runtime/x86_runtime.c
Properties metaprl/theories/experimental/compile/runtime/x86_runtime.c
Added metaprl/theories/experimental/compile/semantics.txt
Properties metaprl/theories/experimental/compile/semantics.txt
Deleted metaprl/theories/experimental/compile/x86_asm.ml
Deleted metaprl/theories/experimental/compile/x86_asm.mli
Deleted metaprl/theories/experimental/compile/x86_term.ml
Deleted metaprl/theories/experimental/compile/x86_term.mli
+1 -1 metaprl/theories/fir/mfir_record.ml
+1 -1 metaprl/theories/fir/mfir_sequent.ml
+1 -1 metaprl/theories/fir/mfir_theory.mlz
+2 -2 metaprl/theories/fir/mfir_tr_base.ml
+1 -1 metaprl/theories/fir/mfir_tr_exp.ml
+1 -1 metaprl/theories/fir/mfir_tr_store.ml
+8 -10 metaprl/theories/itt/itt_list2.ml
+3 -4 metaprl/theories/itt/itt_relation_str.ml
+3 -2 metaprl/theories/itt/itt_set_str.ml
+0 -6 metaprl/theories/itt/itt_subset.ml
+2 -3 metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
+2 -3 metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+13 -13 metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
+8 -8 metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
+2 -2 metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
+2 -3 metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
+8 -8 metaprl/theories/ocaml_doc/ocaml_doc_intro.ml
+3 -4 metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
+9 -10 metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
+3 -4 metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
+4 -4 metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
+13 -13 metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
+215 -11 metaprl/theories/tactic/comment.ml
+39 -0 metaprl/theories/tactic/comment.mli
+7 -0 metaprl/theories/tactic/nuprl_font.ml
+1 -0 metaprl/theories/tactic/nuprl_font.mli
Added texinputs/acm_proc_article-sp.cls
Properties texinputs/acm_proc_article-sp.cls
+29 -1 texinputs/metaprl.tex
+94 -5 texinputs/rc.bib
Added texinputs/sig-alternate.cls
Properties texinputs/sig-alternate.cls