Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-08 18:10:44 -0700 (Tue, 08 Jul 2003)
Revision: 4718
Log message:

      This migrates much of the mllib code to libmojave.
      Still to go, use Lm_set instead of Red_black_set,
      but we'll probably do that after we merge onto the trunk.
      

Changes  Path
+4 -0 metaprl-branches/abstract_vars/OMakefile
+0 -3 metaprl-branches/abstract_vars/clib/Makefile
+0 -3 metaprl-branches/abstract_vars/clib/OMakefile
Deleted metaprl-branches/abstract_vars/clib/getrusage.c
Deleted metaprl-branches/abstract_vars/clib/mmap.c
Deleted metaprl-branches/abstract_vars/clib/mmap.h
Deleted metaprl-branches/abstract_vars/clib/readline.c
+5 -9 metaprl-branches/abstract_vars/editor/ml/OMakefile
+2 -2 metaprl-branches/abstract_vars/editor/ml/nuprl_eval.ml
+1 -1 metaprl-branches/abstract_vars/editor/ml/shell_http.ml
+1 -1 metaprl-branches/abstract_vars/editor/ml/shell_mp.ml
+1 -1 metaprl-branches/abstract_vars/editor/ml/shell_p4.ml
+1 -1 metaprl-branches/abstract_vars/ensemble/appl_closure.ml
+9 -9 metaprl-branches/abstract_vars/ensemble/appl_outboard_client.ml
+10 -10 metaprl-branches/abstract_vars/ensemble/appl_outboard_server.ml
+7 -7 metaprl-branches/abstract_vars/ensemble/ensemble_queue.ml
+10 -10 metaprl-branches/abstract_vars/ensemble/remote_ensemble.ml
+1 -1 metaprl-branches/abstract_vars/ensemble/remote_monitor.ml
+3 -3 metaprl-branches/abstract_vars/ensemble/remote_null.ml
+1 -1 metaprl-branches/abstract_vars/ensemble/remote_sig.mlz
+25 -25 metaprl-branches/abstract_vars/ensemble/thread_refiner_ens.ml
+1 -2 metaprl-branches/abstract_vars/filter/OMakefile
+1 -1 metaprl-branches/abstract_vars/filter/base/filter_ast.ml
+1 -1 metaprl-branches/abstract_vars/filter/base/filter_cache.ml
+4 -4 metaprl-branches/abstract_vars/filter/base/filter_cache_fun.ml
+1 -1 metaprl-branches/abstract_vars/filter/base/filter_comment.ml
+1 -1 metaprl-branches/abstract_vars/filter/base/filter_magic.ml
+11 -11 metaprl-branches/abstract_vars/filter/base/filter_ocaml.ml
+1 -1 metaprl-branches/abstract_vars/filter/base/filter_ocaml.mli
+22 -22 metaprl-branches/abstract_vars/filter/base/filter_summary.ml
+2 -2 metaprl-branches/abstract_vars/filter/base/filter_summary_io.ml
+2 -2 metaprl-branches/abstract_vars/filter/base/filter_type.ml
+2 -2 metaprl-branches/abstract_vars/filter/base/filter_util.ml
+11 -11 metaprl-branches/abstract_vars/filter/boot/proof_boot.ml
+6 -6 metaprl-branches/abstract_vars/filter/boot/proof_term_boot.ml
+11 -11 metaprl-branches/abstract_vars/filter/boot/tactic_boot.ml
+2 -2 metaprl-branches/abstract_vars/filter/filter/filter_parse.ml
+2 -2 metaprl-branches/abstract_vars/filter/filter/filter_patt.ml
+3 -3 metaprl-branches/abstract_vars/filter/filter/filter_prog.ml
+7 -7 metaprl-branches/abstract_vars/filter/filter/term_grammar.ml
+1 -1 metaprl-branches/abstract_vars/filter/phobos/phobos_parser.mly
+1 -1 metaprl-branches/abstract_vars/filter/phobos/phobos_rewrite.ml
+1 -1 metaprl-branches/abstract_vars/library/ascii_scan.ml
+1 -1 metaprl-branches/abstract_vars/library/ascii_scan.mli
+13 -13 metaprl-branches/abstract_vars/library/basic.ml
+1 -1 metaprl-branches/abstract_vars/library/basic.mli
+12 -12 metaprl-branches/abstract_vars/library/db.ml
+2 -2 metaprl-branches/abstract_vars/library/link.ml
+7 -7 metaprl-branches/abstract_vars/library/mathBus.ml
+1 -1 metaprl-branches/abstract_vars/library/mathBus.mli
+2 -2 metaprl-branches/abstract_vars/library/mbterm.ml
+4 -4 metaprl-branches/abstract_vars/library/nuprl5.ml
+1 -1 metaprl-branches/abstract_vars/library/nuprl5.mli
+2 -2 metaprl-branches/abstract_vars/library/orb.ml
+1 -1 metaprl-branches/abstract_vars/library/registry.ml
Added metaprl-branches/abstract_vars/mllib/Files
Properties metaprl-branches/abstract_vars/mllib/Files
+3 -69 metaprl-branches/abstract_vars/mllib/Makefile
+4 -72 metaprl-branches/abstract_vars/mllib/OMakefile
+3 -3 metaprl-branches/abstract_vars/mllib/file_type_base.ml
Deleted metaprl-branches/abstract_vars/mllib/file_util.ml
Deleted metaprl-branches/abstract_vars/mllib/file_util.mli
Deleted metaprl-branches/abstract_vars/mllib/filename_util.ml
Deleted metaprl-branches/abstract_vars/mllib/filename_util.mli
Deleted metaprl-branches/abstract_vars/mllib/getrusage.ml
Deleted metaprl-branches/abstract_vars/mllib/getrusage.mli
Deleted metaprl-branches/abstract_vars/mllib/hashtbl_util.ml
Deleted metaprl-branches/abstract_vars/mllib/hashtbl_util.mli
+8 -8 metaprl-branches/abstract_vars/mllib/http_server.ml
+1 -1 metaprl-branches/abstract_vars/mllib/http_server.mli
Deleted metaprl-branches/abstract_vars/mllib/int_util.ml
Deleted metaprl-branches/abstract_vars/mllib/int_util.mli
+2 -2 metaprl-branches/abstract_vars/mllib/large_array.ml
+2 -2 metaprl-branches/abstract_vars/mllib/large_weak_array.ml
Deleted metaprl-branches/abstract_vars/mllib/list_util.ml
Deleted metaprl-branches/abstract_vars/mllib/list_util.mli
+4 -4 metaprl-branches/abstract_vars/mllib/marshal_shared.ml
Deleted metaprl-branches/abstract_vars/mllib/mmap.ml
Deleted metaprl-branches/abstract_vars/mllib/mmap.mli
Deleted metaprl-branches/abstract_vars/mllib/mmap_pipe.ml
Deleted metaprl-branches/abstract_vars/mllib/mmap_pipe.mli
Deleted metaprl-branches/abstract_vars/mllib/mp_big_int.ml
Deleted metaprl-branches/abstract_vars/mllib/mp_big_int.mli
Deleted metaprl-branches/abstract_vars/mllib/mp_id.ml
Deleted metaprl-branches/abstract_vars/mllib/mp_id.mli
Deleted metaprl-branches/abstract_vars/mllib/mp_inet.ml
Deleted metaprl-branches/abstract_vars/mllib/mp_inet.mli
Deleted metaprl-branches/abstract_vars/mllib/mp_num.ml
Deleted metaprl-branches/abstract_vars/mllib/mp_num.mli
Deleted metaprl-branches/abstract_vars/mllib/mp_pervasives.ml
Deleted metaprl-branches/abstract_vars/mllib/mp_pervasives.mli
Deleted metaprl-branches/abstract_vars/mllib/readline.ml
Deleted metaprl-branches/abstract_vars/mllib/readline.mli
Deleted metaprl-branches/abstract_vars/mllib/ref_util.ml
Deleted metaprl-branches/abstract_vars/mllib/ref_util.mli
+1 -1 metaprl-branches/abstract_vars/mllib/remote_lazy_queue_sig.ml
+9 -9 metaprl-branches/abstract_vars/mllib/remote_queue_null.ml
+1 -1 metaprl-branches/abstract_vars/mllib/remote_queue_sig.ml
+4 -4 metaprl-branches/abstract_vars/mllib/small_set.ml
Deleted metaprl-branches/abstract_vars/mllib/thread_event.ml
Deleted metaprl-branches/abstract_vars/mllib/thread_event.mli
Deleted metaprl-branches/abstract_vars/mllib/thread_util.ml
Deleted metaprl-branches/abstract_vars/mllib/thread_util.mli
Deleted metaprl-branches/abstract_vars/mllib/unix_util.ml
Deleted metaprl-branches/abstract_vars/mllib/unix_util.mli
+11 -11 metaprl-branches/abstract_vars/refiner/refiner/refine.ml
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/arith.ml
+3 -3 metaprl-branches/abstract_vars/refiner/reflib/ascii_io.ml
+2 -2 metaprl-branches/abstract_vars/refiner/reflib/dform.ml
+2 -2 metaprl-branches/abstract_vars/refiner/reflib/dform_print.ml
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/ml_format_sig.mlz
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/ml_print.ml
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/ml_term.ml
+2 -2 metaprl-branches/abstract_vars/refiner/reflib/ml_term.mli
+2 -2 metaprl-branches/abstract_vars/refiner/reflib/mp_resource.ml
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/rformat.ml
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/rformat.mli
+2 -2 metaprl-branches/abstract_vars/refiner/reflib/term_compare.ml
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/term_match_table.ml
+1 -1 metaprl-branches/abstract_vars/refiner/reflib/theory.ml
+1 -1 metaprl-branches/abstract_vars/refiner/refsig/rewrite_sig.ml
+15 -15 metaprl-branches/abstract_vars/refiner/refsig/term_op_sig.ml
+2 -2 metaprl-branches/abstract_vars/refiner/refsig/term_sig.ml
+1 -1 metaprl-branches/abstract_vars/refiner/rewrite/rewrite.ml
+3 -3 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_build_contractum.ml
+1 -1 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_compile_contractum.ml
+3 -3 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_compile_redex.ml
+3 -3 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_debug.ml
+2 -2 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_match_redex.ml
+1 -1 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_meta.ml
+2 -2 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_types.ml
+5 -5 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_util.ml
+4 -4 metaprl-branches/abstract_vars/refiner/term_ds/term_base_ds.ml
+2 -2 metaprl-branches/abstract_vars/refiner/term_ds/term_ds.ml
+2 -2 metaprl-branches/abstract_vars/refiner/term_ds/term_ds_sig.ml
+13 -13 metaprl-branches/abstract_vars/refiner/term_ds/term_subst_ds.ml
+2 -2 metaprl-branches/abstract_vars/refiner/term_gen/term_addr_gen.ml
+3 -3 metaprl-branches/abstract_vars/refiner/term_gen/term_hash.ml
+1 -1 metaprl-branches/abstract_vars/refiner/term_gen/term_man_gen.ml
+2 -2 metaprl-branches/abstract_vars/refiner/term_gen/term_meta_gen.ml
+2 -2 metaprl-branches/abstract_vars/refiner/term_std/term_base_std.ml
+2 -2 metaprl-branches/abstract_vars/refiner/term_std/term_std.ml
+2 -2 metaprl-branches/abstract_vars/refiner/term_std/term_std_sig.ml
+22 -22 metaprl-branches/abstract_vars/refiner/term_std/term_subst_std.ml
+2 -2 metaprl-branches/abstract_vars/support/shell/mptop.ml
+1 -1 metaprl-branches/abstract_vars/support/shell/proof_edit.ml
+1 -1 metaprl-branches/abstract_vars/support/shell/shell.ml
+1 -1 metaprl-branches/abstract_vars/support/shell/shell_package.ml
+5 -1 metaprl-branches/abstract_vars/support/shell/shell_state.ml
+21 -21 metaprl-branches/abstract_vars/support/tactics/tactic_cache.ml
+8 -8 metaprl-branches/abstract_vars/theories/base/base_meta.ml
+2 -2 metaprl-branches/abstract_vars/theories/experimental/compile/m_x86_term.ml
+34 -34 metaprl-branches/abstract_vars/theories/experimental/mcc/fir/type/m_fir_term.ml
+2 -2 metaprl-branches/abstract_vars/theories/experimental/mcc/fir/type/m_int.ml
+2 -2 metaprl-branches/abstract_vars/theories/experimental/mcc/fir/type/m_rawfloat.ml
+2 -2 metaprl-branches/abstract_vars/theories/experimental/mcc/fir/type/m_rawfloat.mli
+4 -4 metaprl-branches/abstract_vars/theories/experimental/mcc/fir/type/m_rawint.ml
+2 -2 metaprl-branches/abstract_vars/theories/experimental/mcc/fir/type/m_rawint.mli
+1 -1 metaprl-branches/abstract_vars/theories/fir/mfir_connect_base.ml
+4 -4 metaprl-branches/abstract_vars/theories/fir/mfir_connect_base.mli
+1 -1 metaprl-branches/abstract_vars/theories/fir/mfir_connect_exp.ml
+1 -1 metaprl-branches/abstract_vars/theories/fir/mfir_connect_ty.ml
+164 -164 metaprl-branches/abstract_vars/theories/fir/mfir_termOp.mli
+24 -24 metaprl-branches/abstract_vars/theories/fir/mfir_termOp_base.mli
+3 -3 metaprl-branches/abstract_vars/theories/itt/itt_int_arith.ml
+2 -2 metaprl-branches/abstract_vars/theories/itt/itt_int_base.mli
+15 -34 metaprl-branches/abstract_vars/theories/itt/itt_isect.ml
+2 -0 metaprl-branches/abstract_vars/theories/itt/itt_isect.mli
+1 -1 metaprl-branches/abstract_vars/theories/tptp/tptp_load.ml
+1 -1 metaprl-branches/abstract_vars/theories/tptp/tptp_prove.ml