Initial snarf.
commit6835b2c32fdde7b55f9babc4e23c280e73694c71
authorJaap Weel <weel@ugcs.caltech.edu>
Sat, 23 Jun 2007 03:09:09 +0000 (23 05:09 +0200)
committerJaap Weel <weel@ugcs.caltech.edu>
Sat, 23 Jun 2007 03:09:09 +0000 (23 05:09 +0200)
tree78807162f408da60b7362cf24addc220ff31ea6b
Initial snarf.
954 files changed:
.omakedb [new file with mode: 0644]
00README [new file with mode: 0644]
COPYING [new file with mode: 0644]
ChangeLog [new file with mode: 0644]
HACKING [new file with mode: 0644]
OMakefile [new file with mode: 0644]
OMakeroot [new file with mode: 0644]
arch/Conscript [new file with mode: 0644]
arch/Makefile [new file with mode: 0644]
arch/OMakefile.omc [new file with mode: 0644]
arch/bfd/Conscript [new file with mode: 0644]
arch/bfd/Makefile [new file with mode: 0644]
arch/bfd/cutil/00README [new file with mode: 0644]
arch/bfd/cutil/Conscript [new file with mode: 0644]
arch/bfd/cutil/Makefile [new file with mode: 0644]
arch/bfd/cutil/libmlbfd.a [new file with mode: 0644]
arch/bfd/cutil/ml_bfd.c [new file with mode: 0644]
arch/bfd/cutil/ml_bfd.h [new file with mode: 0644]
arch/bfd/cutil/ml_bfd.o [new file with mode: 0644]
arch/bfd/util/Conscript [new file with mode: 0644]
arch/bfd/util/Makefile [new file with mode: 0644]
arch/bfd/util/bfd.ml [new file with mode: 0644]
arch/bfd/util/bfd_bfd.ml [new file with mode: 0644]
arch/bfd/util/bfd_bfd.mli [new file with mode: 0644]
arch/bfd/util/bfd_buf.ml [new file with mode: 0644]
arch/bfd/util/bfd_buf.mli [new file with mode: 0644]
arch/bfd/util/bfd_const.h [new file with mode: 0644]
arch/bfd/util/bfd_const.mlp [new file with mode: 0644]
arch/bfd/util/bfd_dead.ml [new file with mode: 0644]
arch/bfd/util/bfd_dead.mli [new file with mode: 0644]
arch/bfd/util/bfd_elf.ml [new file with mode: 0644]
arch/bfd/util/bfd_elf.mli [new file with mode: 0644]
arch/bfd/util/bfd_env.ml [new file with mode: 0644]
arch/bfd/util/bfd_env.mli [new file with mode: 0644]
arch/bfd/util/bfd_eval.ml [new file with mode: 0644]
arch/bfd/util/bfd_eval.mli [new file with mode: 0644]
arch/bfd/util/bfd_flatten.ml [new file with mode: 0644]
arch/bfd/util/bfd_flatten.mli [new file with mode: 0644]
arch/bfd/util/bfd_link.ml [new file with mode: 0644]
arch/bfd/util/bfd_link.mli [new file with mode: 0644]
arch/bfd/util/bfd_main.ml [new file with mode: 0644]
arch/bfd/util/bfd_main.mli [new file with mode: 0644]
arch/bfd/util/bfd_print.ml [new file with mode: 0644]
arch/bfd/util/bfd_print.mli [new file with mode: 0644]
arch/bfd/util/bfd_reloc.ml [new file with mode: 0644]
arch/bfd/util/bfd_reloc.mli [new file with mode: 0644]
arch/bfd/util/bfd_resolve.ml [new file with mode: 0644]
arch/bfd/util/bfd_resolve.mli [new file with mode: 0644]
arch/bfd/util/bfd_sizeof.ml [new file with mode: 0644]
arch/bfd/util/bfd_standardize.ml [new file with mode: 0644]
arch/bfd/util/bfd_standardize.mli [new file with mode: 0644]
arch/bfd/util/bfd_state.cmi [new file with mode: 0644]
arch/bfd/util/bfd_state.cmx [new file with mode: 0644]
arch/bfd/util/bfd_state.ml [new file with mode: 0644]
arch/bfd/util/bfd_state.o [new file with mode: 0644]
arch/bfd/util/bfd_type.ml [new file with mode: 0644]
arch/bfd/util/bfd_util.ml [new file with mode: 0644]
arch/bfd/util/bfd_util.mli [new file with mode: 0644]
arch/byte/00README [new file with mode: 0644]
arch/byte/Conscript [new file with mode: 0644]
arch/byte/Makefile [new file with mode: 0644]
arch/byte/frame/Conscript [new file with mode: 0644]
arch/byte/frame/Makefile [new file with mode: 0644]
arch/byte/frame/byte_frame.ml [new file with mode: 0644]
arch/byte/frame/byte_spset.ml [new file with mode: 0644]
arch/byte/frame/byte_spset.mli [new file with mode: 0644]
arch/byte/include/Makefile [new file with mode: 0644]
arch/byte/include/mojave/Makefile [new file with mode: 0644]
arch/byte/include/mojave/fc.h [new file with mode: 0644]
arch/byte/include/shadow/Makefile [new file with mode: 0644]
arch/byte/include/shadow/stdarg.h [new file with mode: 0644]
arch/byte/main/Conscript [new file with mode: 0644]
arch/byte/main/Makefile [new file with mode: 0644]
arch/byte/main/byte_simulator.ml [new file with mode: 0644]
arch/byte/main/byte_simulator.mli [new file with mode: 0644]
arch/byte/main/mvm.ml [new file with mode: 0644]
arch/byte/type/Conscript [new file with mode: 0644]
arch/byte/type/Makefile [new file with mode: 0644]
arch/byte/type/byte_frame_type.ml [new file with mode: 0644]
arch/byte/type/byte_inst_type.ml [new file with mode: 0644]
arch/byte/util/Conscript [new file with mode: 0644]
arch/byte/util/Makefile [new file with mode: 0644]
arch/byte/util/byte_backend.ml [new file with mode: 0644]
arch/byte/util/byte_codegen.ml [new file with mode: 0644]
arch/byte/util/byte_codegen.mli [new file with mode: 0644]
arch/byte/util/byte_mir.ml [new file with mode: 0644]
arch/byte/util/byte_mir.mli [new file with mode: 0644]
arch/byte/util/byte_parser.ml [new file with mode: 0644]
arch/byte/util/byte_parser.mli [new file with mode: 0644]
arch/byte/util/byte_parser_new.ml [new file with mode: 0644]
arch/byte/util/byte_parser_new.mli [new file with mode: 0644]
arch/byte/util/byte_print.ml [new file with mode: 0644]
arch/byte/util/byte_print.mli [new file with mode: 0644]
arch/byte/util/byte_util.ml [new file with mode: 0644]
arch/byte/util/byte_util.mli [new file with mode: 0644]
arch/conf/Conscript [new file with mode: 0644]
arch/conf/Makefile [new file with mode: 0644]
arch/conf/constants.ml [new file with mode: 0644]
arch/conf/sizeof_const.ml [new file with mode: 0644]
arch/conf/sizeof_type.ml [new file with mode: 0644]
arch/mir/Conscript [new file with mode: 0644]
arch/mir/Makefile [new file with mode: 0644]
arch/mir/opt/Conscript [new file with mode: 0644]
arch/mir/opt/Makefile [new file with mode: 0644]
arch/mir/opt/mir_cond.ml [new file with mode: 0644]
arch/mir/opt/mir_const.ml [new file with mode: 0644]
arch/mir/opt/mir_const.mli [new file with mode: 0644]
arch/mir/opt/mir_copy.ml [new file with mode: 0644]
arch/mir/opt/mir_copy.mli [new file with mode: 0644]
arch/mir/opt/mir_dead.ml [new file with mode: 0644]
arch/mir/opt/mir_dead.mli [new file with mode: 0644]
arch/mir/opt/mir_inline.ml [new file with mode: 0644]
arch/mir/opt/mir_inline.mli [new file with mode: 0644]
arch/mir/opt/mir_optimize.ml [new file with mode: 0644]
arch/mir/opt/mir_valias.ml [new file with mode: 0644]
arch/mir/opt/mir_valias.mli [new file with mode: 0644]
arch/mir/type/Conscript [new file with mode: 0644]
arch/mir/type/Makefile [new file with mode: 0644]
arch/mir/type/mir.ml [new file with mode: 0644]
arch/mir/type/mir_arity_map.ml [new file with mode: 0644]
arch/mir/type/mir_arity_map.mli [new file with mode: 0644]
arch/mir/type/mir_arity_sig.ml [new file with mode: 0644]
arch/mir/type/mir_codegen_sig.ml [new file with mode: 0644]
arch/mir/type/mir_env_sig.ml [new file with mode: 0644]
arch/mir/type/mir_memory_sig.ml [new file with mode: 0644]
arch/mir/type/mir_of_fir.ml [new file with mode: 0644]
arch/mir/type/mir_poly_sig.ml [new file with mode: 0644]
arch/mir/type/mir_simplify_sig.ml [new file with mode: 0644]
arch/mir/type/mir_special_sig.ml [new file with mode: 0644]
arch/mir/type/mir_type_sig.ml [new file with mode: 0644]
arch/mir/type/mir_util_sig.ml [new file with mode: 0644]
arch/mir/util/Conscript [new file with mode: 0644]
arch/mir/util/Makefile [new file with mode: 0644]
arch/mir/util/mir_ac_map.ml [new file with mode: 0644]
arch/mir/util/mir_ac_map.mli [new file with mode: 0644]
arch/mir/util/mir_arity.ml [new file with mode: 0644]
arch/mir/util/mir_codegen.ml [new file with mode: 0644]
arch/mir/util/mir_ds.ml [new file with mode: 0644]
arch/mir/util/mir_ds.mli [new file with mode: 0644]
arch/mir/util/mir_env.ml [new file with mode: 0644]
arch/mir/util/mir_exn.ml [new file with mode: 0644]
arch/mir/util/mir_exn_print.ml [new file with mode: 0644]
arch/mir/util/mir_exn_print.mli [new file with mode: 0644]
arch/mir/util/mir_fir.ml [new file with mode: 0644]
arch/mir/util/mir_memory.ml [new file with mode: 0644]
arch/mir/util/mir_poly.ml [new file with mode: 0644]
arch/mir/util/mir_pos.ml [new file with mode: 0644]
arch/mir/util/mir_pos.mli [new file with mode: 0644]
arch/mir/util/mir_print.ml [new file with mode: 0644]
arch/mir/util/mir_print.mli [new file with mode: 0644]
arch/mir/util/mir_simplify.ml [new file with mode: 0644]
arch/mir/util/mir_special.ml [new file with mode: 0644]
arch/mir/util/mir_standardize.ml [new file with mode: 0644]
arch/mir/util/mir_standardize.mli [new file with mode: 0644]
arch/mir/util/mir_state.ml [new file with mode: 0644]
arch/mir/util/mir_type.ml [new file with mode: 0644]
arch/mir/util/mir_util.ml [new file with mode: 0644]
arch/noarch/Conscript [new file with mode: 0644]
arch/noarch/Makefile [new file with mode: 0644]
arch/noarch/include/mojave/fc.h [new file with mode: 0644]
arch/noarch/include/shadow/stdarg.h [new file with mode: 0644]
arch/noarch/runtime/Conscript [new file with mode: 0644]
arch/noarch/runtime/Makefile [new file with mode: 0644]
arch/noarch/runtime/noarch_runtime.c [new file with mode: 0644]
arch/noarch/util/Conscript [new file with mode: 0644]
arch/noarch/util/Makefile [new file with mode: 0644]
arch/noarch/util/noarch_backend.ml [new file with mode: 0644]
arch/noarch/util/noarch_codegen.ml [new file with mode: 0644]
arch/noarch/util/noarch_codegen.mli [new file with mode: 0644]
arch/ra/00README [new file with mode: 0644]
arch/ra/Conscript [new file with mode: 0644]
arch/ra/Makefile [new file with mode: 0644]
arch/ra/ra_main.ml [new file with mode: 0644]
arch/ra/ra_state.ml [new file with mode: 0644]
arch/type/Conscript [new file with mode: 0644]
arch/type/Makefile [new file with mode: 0644]
arch/type/codegen_type.ml [new file with mode: 0644]
arch/type/frame_type.ml [new file with mode: 0644]
arch/util/Conscript [new file with mode: 0644]
arch/util/Makefile [new file with mode: 0644]
arch/util/live.ml [new file with mode: 0644]
arch/util/symbol_matrix.ml [new file with mode: 0644]
arch/x86/00README [new file with mode: 0644]
arch/x86/Conscript [new file with mode: 0644]
arch/x86/Makefile [new file with mode: 0644]
arch/x86/as/00README [new file with mode: 0644]
arch/x86/as/Conscript [new file with mode: 0644]
arch/x86/as/Makefile [new file with mode: 0644]
arch/x86/as/x86_as.ml [new file with mode: 0644]
arch/x86/as/x86_as.mli [new file with mode: 0644]
arch/x86/as/x86_as_bfd.ml [new file with mode: 0644]
arch/x86/as/x86_as_binary.ml [new file with mode: 0644]
arch/x86/as/x86_as_binary.mli [new file with mode: 0644]
arch/x86/as/x86_as_code.ml [new file with mode: 0644]
arch/x86/as/x86_as_code.mli [new file with mode: 0644]
arch/x86/as/x86_as_context.ml [new file with mode: 0644]
arch/x86/as/x86_as_context.mli [new file with mode: 0644]
arch/x86/as/x86_as_debug.ml [new file with mode: 0644]
arch/x86/as/x86_as_debug.mli [new file with mode: 0644]
arch/x86/as/x86_as_empty.ml [new file with mode: 0644]
arch/x86/as/x86_as_empty.mli [new file with mode: 0644]
arch/x86/as/x86_as_fir.ml [new file with mode: 0644]
arch/x86/as/x86_as_fir.mli [new file with mode: 0644]
arch/x86/as/x86_as_float.ml [new file with mode: 0644]
arch/x86/as/x86_as_float.mli [new file with mode: 0644]
arch/x86/as/x86_as_glob.ml [new file with mode: 0644]
arch/x86/as/x86_as_glob.mli [new file with mode: 0644]
arch/x86/as/x86_as_header.ml [new file with mode: 0644]
arch/x86/as/x86_as_header.mli [new file with mode: 0644]
arch/x86/as/x86_as_import.ml [new file with mode: 0644]
arch/x86/as/x86_as_import.mli [new file with mode: 0644]
arch/x86/as/x86_as_link.ml [new file with mode: 0644]
arch/x86/as/x86_as_link.mli [new file with mode: 0644]
arch/x86/as/x86_as_migrate.ml [new file with mode: 0644]
arch/x86/as/x86_as_migrate.mli [new file with mode: 0644]
arch/x86/as/x86_as_mmx.ml [new file with mode: 0644]
arch/x86/as/x86_as_mmx.mli [new file with mode: 0644]
arch/x86/as/x86_as_modrm.ml [new file with mode: 0644]
arch/x86/as/x86_as_modrm.mli [new file with mode: 0644]
arch/x86/as/x86_as_opcode.ml [new file with mode: 0644]
arch/x86/as/x86_as_opcode.mli [new file with mode: 0644]
arch/x86/as/x86_as_opcodes.ml [new file with mode: 0644]
arch/x86/as/x86_as_prog.ml [new file with mode: 0644]
arch/x86/as/x86_as_prog.mli [new file with mode: 0644]
arch/x86/as/x86_as_reserve.ml [new file with mode: 0644]
arch/x86/as/x86_as_reserve.mli [new file with mode: 0644]
arch/x86/as/x86_as_section.ml [new file with mode: 0644]
arch/x86/as/x86_as_section.mli [new file with mode: 0644]
arch/x86/as/x86_as_shift.ml [new file with mode: 0644]
arch/x86/as/x86_as_shift.mli [new file with mode: 0644]
arch/x86/as/x86_as_special.ml [new file with mode: 0644]
arch/x86/as/x86_as_special.mli [new file with mode: 0644]
arch/x86/as/x86_as_state.ml [new file with mode: 0644]
arch/x86/as/x86_as_state.mli [new file with mode: 0644]
arch/x86/as/x86_as_stub.ml [new file with mode: 0644]
arch/x86/as/x86_as_stub.mli [new file with mode: 0644]
arch/x86/as/x86_as_unary.ml [new file with mode: 0644]
arch/x86/as/x86_as_unary.mli [new file with mode: 0644]
arch/x86/as/x86_as_util.ml [new file with mode: 0644]
arch/x86/as/x86_as_util.mli [new file with mode: 0644]
arch/x86/as/x86_print.ml [new file with mode: 0644]
arch/x86/as/x86_print.mli [new file with mode: 0644]
arch/x86/as/x86_print_util.ml [new file with mode: 0644]
arch/x86/as/x86_print_util.mli [new file with mode: 0644]
arch/x86/as/x86_stab.ml [new file with mode: 0644]
arch/x86/as/x86_stab.mli [new file with mode: 0644]
arch/x86/frame/Conscript [new file with mode: 0644]
arch/x86/frame/Makefile [new file with mode: 0644]
arch/x86/frame/x86_exn.ml [new file with mode: 0644]
arch/x86/frame/x86_exn_print.ml [new file with mode: 0644]
arch/x86/frame/x86_exn_print.mli [new file with mode: 0644]
arch/x86/frame/x86_frame.ml [new file with mode: 0644]
arch/x86/frame/x86_frame.mli [new file with mode: 0644]
arch/x86/frame/x86_pos.ml [new file with mode: 0644]
arch/x86/frame/x86_pos.mli [new file with mode: 0644]
arch/x86/frame/x86_runtime.h [new file with mode: 0644]
arch/x86/frame/x86_runtime.mlp [new file with mode: 0644]
arch/x86/frame/x86_state.ml [new file with mode: 0644]
arch/x86/frame/x86_state.mli [new file with mode: 0644]
arch/x86/include/Makefile [new file with mode: 0644]
arch/x86/include/mojave/Makefile [new file with mode: 0644]
arch/x86/include/mojave/fc.h [new file with mode: 0644]
arch/x86/include/mojave/fc_gc.h [new file with mode: 0644]
arch/x86/include/shadow/Makefile [new file with mode: 0644]
arch/x86/include/shadow/stdarg.h [new file with mode: 0644]
arch/x86/moogle/00README [new file with mode: 0644]
arch/x86/moogle/Conscript [new file with mode: 0644]
arch/x86/moogle/Makefile [new file with mode: 0644]
arch/x86/moogle/ast/Conscript [new file with mode: 0644]
arch/x86/moogle/ast/Makefile [new file with mode: 0644]
arch/x86/moogle/ast/moogle_ast_exn.ml [new file with mode: 0644]
arch/x86/moogle/ast/moogle_ast_exn.mli [new file with mode: 0644]
arch/x86/moogle/ast/moogle_ast_lex.mll [new file with mode: 0644]
arch/x86/moogle/ast/moogle_ast_parse.mly [new file with mode: 0644]
arch/x86/moogle/ast/moogle_ast_type.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/Conscript [new file with mode: 0644]
arch/x86/moogle/mlprog/Makefile [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_env.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_env.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_inline.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_inline.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_inst.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_inst.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_ocaml.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_ocaml.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_operand.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_operand.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_pattern.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_pattern.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_print.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_print.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_prog.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_prog.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_rule.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_rule.mli [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_syms.ml [new file with mode: 0644]
arch/x86/moogle/mlprog/moogle_mlp_type.ml [new file with mode: 0644]
arch/x86/moogle/moogle_lib.ml [new file with mode: 0644]
arch/x86/moogle/moogle_lib.mli [new file with mode: 0644]
arch/x86/moogle/moogle_offset.ml [new file with mode: 0644]
arch/x86/moogle/moogleize.ml [new file with mode: 0644]
arch/x86/moogle/prog/Conscript [new file with mode: 0644]
arch/x86/moogle/prog/Makefile [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_ast.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_ast.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_check.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_check.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_env.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_env.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_exn.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_exn.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_inline.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_inline.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_inst.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_inst.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_ocaml.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_ocaml.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_operand.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_operand.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_pattern.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_pattern.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_rule.ml [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_rule.mli [new file with mode: 0644]
arch/x86/moogle/prog/moogle_prog_type.ml [new file with mode: 0644]
arch/x86/moogle/util/Conscript [new file with mode: 0644]
arch/x86/moogle/util/Makefile [new file with mode: 0644]
arch/x86/moogle/util/moogle_state.ml [new file with mode: 0644]
arch/x86/moogle/util/moogle_util.ml [new file with mode: 0644]
arch/x86/moogle/util/moogle_util.mli [new file with mode: 0644]
arch/x86/opt/Conscript [new file with mode: 0644]
arch/x86/opt/Makefile [new file with mode: 0644]
arch/x86/opt/x86_branch.kupo [new file with mode: 0644]
arch/x86/opt/x86_branch.mli [new file with mode: 0644]
arch/x86/opt/x86_opt_util.ml [new file with mode: 0644]
arch/x86/opt/x86_opt_util.mli [new file with mode: 0644]
arch/x86/opt/x86_peephole.ml [new file with mode: 0644]
arch/x86/opt/x86_peephole.mli [new file with mode: 0644]
arch/x86/opt/x86_peephole_basic.kupo [new file with mode: 0644]
arch/x86/opt/x86_peephole_dead.kupo [new file with mode: 0644]
arch/x86/opt/x86_peephole_fp.kupo [new file with mode: 0644]
arch/x86/opt/x86_peephole_memop.kupo [new file with mode: 0644]
arch/x86/opt/x86_peephole_ml.kupo [new file with mode: 0644]
arch/x86/opt/x86_peephole_mul.kupo [new file with mode: 0644]
arch/x86/opt/x86_sched_util.ml [new file with mode: 0644]
arch/x86/opt/x86_schedule.ml [new file with mode: 0644]
arch/x86/opt/x86_schedule.mli [new file with mode: 0644]
arch/x86/runtime/Conscript [new file with mode: 0644]
arch/x86/runtime/Makefile [new file with mode: 0644]
arch/x86/runtime/x86_alloc.c [new file with mode: 0644]
arch/x86/runtime/x86_alloc.h [new file with mode: 0644]
arch/x86/runtime/x86_alloc.o [new file with mode: 0644]
arch/x86/runtime/x86_aml_util.c [new file with mode: 0644]
arch/x86/runtime/x86_aml_util.o [new file with mode: 0644]
arch/x86/runtime/x86_atomic.c [new file with mode: 0644]
arch/x86/runtime/x86_atomic.h [new file with mode: 0644]
arch/x86/runtime/x86_atomic.o [new file with mode: 0644]
arch/x86/runtime/x86_connection.c [new file with mode: 0644]
arch/x86/runtime/x86_connection.h [new file with mode: 0644]
arch/x86/runtime/x86_connection.o [new file with mode: 0644]
arch/x86/runtime/x86_context.c [new file with mode: 0644]
arch/x86/runtime/x86_context.h [new file with mode: 0644]
arch/x86/runtime/x86_context.o [new file with mode: 0644]
arch/x86/runtime/x86_equal.c [new file with mode: 0644]
arch/x86/runtime/x86_equal.o [new file with mode: 0644]
arch/x86/runtime/x86_fpitest.c [new file with mode: 0644]
arch/x86/runtime/x86_fpitest.o [new file with mode: 0644]
arch/x86/runtime/x86_gc.c [new file with mode: 0644]
arch/x86/runtime/x86_gc.h [new file with mode: 0644]
arch/x86/runtime/x86_gc.o [new file with mode: 0644]
arch/x86/runtime/x86_glue.o [new file with mode: 0644]
arch/x86/runtime/x86_glue.s [new file with mode: 0644]
arch/x86/runtime/x86_java.c [new file with mode: 0644]
arch/x86/runtime/x86_java.o [new file with mode: 0644]
arch/x86/runtime/x86_migrate.c [new file with mode: 0644]
arch/x86/runtime/x86_migrate.o [new file with mode: 0644]
arch/x86/runtime/x86_net.c [new file with mode: 0644]
arch/x86/runtime/x86_net.h [new file with mode: 0644]
arch/x86/runtime/x86_net.o [new file with mode: 0644]
arch/x86/runtime/x86_reserve.h [new file with mode: 0644]
arch/x86/runtime/x86_runtime.c [new file with mode: 0644]
arch/x86/runtime/x86_runtime.h [new file with mode: 0644]
arch/x86/runtime/x86_runtime.o [new file with mode: 0644]
arch/x86/runtime/x86_stdlib.c [new file with mode: 0644]
arch/x86/runtime/x86_stdlib.o [new file with mode: 0644]
arch/x86/runtime/x86_test.c [new file with mode: 0644]
arch/x86/runtime/x86_test.o [new file with mode: 0644]
arch/x86/runtime/x86_type.h [new file with mode: 0644]
arch/x86/runtime/x86_util.c [new file with mode: 0644]
arch/x86/runtime/x86_util.o [new file with mode: 0644]
arch/x86/runtime/x86runtime.a [new file with mode: 0644]
arch/x86/runtime/x86runtimegcc.a [new file with mode: 0644]
arch/x86/type/Conscript [new file with mode: 0644]
arch/x86/type/Makefile [new file with mode: 0644]
arch/x86/type/x86_arch.kupo [new file with mode: 0644]
arch/x86/type/x86_frame_type.ml [new file with mode: 0644]
arch/x86/type/x86_inst_type.ml [new file with mode: 0644]
arch/x86/util/Conscript [new file with mode: 0644]
arch/x86/util/Makefile [new file with mode: 0644]
arch/x86/util/x86_backend.ml [new file with mode: 0644]
arch/x86/util/x86_build.ml [new file with mode: 0644]
arch/x86/util/x86_build.mli [new file with mode: 0644]
arch/x86/util/x86_codegen.ml [new file with mode: 0644]
arch/x86/util/x86_codegen.mli [new file with mode: 0644]
arch/x86/util/x86_comment.ml [new file with mode: 0644]
arch/x86/util/x86_comment.mli [new file with mode: 0644]
arch/x86/util/x86_fpstack.ml [new file with mode: 0644]
arch/x86/util/x86_fpstack.mli [new file with mode: 0644]
arch/x86/util/x86_mir.kupo [new file with mode: 0644]
arch/x86/util/x86_mir.mli [new file with mode: 0644]
arch/x86/util/x86_mir_atom.kupo [new file with mode: 0644]
arch/x86/util/x86_mir_atom.mli [new file with mode: 0644]
arch/x86/util/x86_mir_env.ml [new file with mode: 0644]
arch/x86/util/x86_permutomatic.ml [new file with mode: 0644]
arch/x86/util/x86_permutomatic.mli [new file with mode: 0644]
arch/x86/util/x86_subst.ml [new file with mode: 0644]
arch/x86/util/x86_subst.mli [new file with mode: 0644]
arch/x86/util/x86_trace.ml [new file with mode: 0644]
arch/x86/util/x86_trace.mli [new file with mode: 0644]
arch/x86/util/x86_util.ml [new file with mode: 0644]
arch/x86/util/x86_util.mli [new file with mode: 0644]
doc/mcc/00README [new file with mode: 0644]
doc/mcc/backend/Makefile [new file with mode: 0644]
doc/mcc/backend/bnf-notation.def [new file with mode: 0644]
doc/mcc/backend/bnf-notation.tex [new file with mode: 0644]
doc/mcc/backend/migration.tex [new file with mode: 0644]
doc/mcc/backend/moogle-kupo.def [new file with mode: 0644]
doc/mcc/backend/moogle-kupo.tex [new file with mode: 0644]
doc/mcc/compiler-intro.txt [new file with mode: 0644]
doc/mcc/current-issues.txt [new file with mode: 0644]
doc/mcc/debugging.tex [new file with mode: 0644]
doc/mcc/dynamic-frontends.txt [new file with mode: 0644]
doc/mcc/fir/Makefile [new file with mode: 0644]
doc/mcc/fir/TODO [new file with mode: 0644]
doc/mcc/fir/atomic_heap.fig [new file with mode: 0644]
doc/mcc/fir/backend.tex [new file with mode: 0644]
doc/mcc/fir/benchmarks.tex [new file with mode: 0644]
doc/mcc/fir/defs.tex [new file with mode: 0644]
doc/mcc/fir/fir-safety.tex [new file with mode: 0644]
doc/mcc/fir/heap_layout.eps [new file with mode: 0644]
doc/mcc/fir/heap_layout.pdf [new file with mode: 0644]
doc/mcc/fir/introduction.tex [new file with mode: 0644]
doc/mcc/fir/judgments.tex [new file with mode: 0644]
doc/mcc/fir/lemmas-def.tex [new file with mode: 0644]
doc/mcc/fir/lemmas-induction.tex [new file with mode: 0644]
doc/mcc/fir/lemmas-progress.tex [new file with mode: 0644]
doc/mcc/fir/lemmas-subst.tex [new file with mode: 0644]
doc/mcc/fir/lemmas-unique.tex [new file with mode: 0644]
doc/mcc/fir/lemmas-wf.tex [new file with mode: 0644]
doc/mcc/fir/metaprl.bib [new file with mode: 0644]
doc/mcc/fir/mojave.eps [new file with mode: 0644]
doc/mcc/fir/mojave.pdf [new file with mode: 0644]
doc/mcc/fir/op-semantics.tex [new file with mode: 0644]
doc/mcc/fir/popl03-submitted.ps [new file with mode: 0644]
doc/mcc/fir/popl03.tex [new file with mode: 0644]
doc/mcc/fir/preservation.tex [new file with mode: 0644]
doc/mcc/fir/progress.tex [new file with mode: 0644]
doc/mcc/fir/proof.sty [new file with mode: 0644]
doc/mcc/fir/ptable.fig [new file with mode: 0644]
doc/mcc/fir/ptable2.eps [new file with mode: 0644]
doc/mcc/fir/ptable2.pdf [new file with mode: 0644]
doc/mcc/fir/sedscript [new file with mode: 0755]
doc/mcc/fir/sig-alternate.cls [new file with mode: 0644]
doc/mcc/fir/strip.c [new file with mode: 0644]
doc/mcc/fir/syntax.tex [new file with mode: 0644]
doc/mcc/fir/trdefs.tex [new file with mode: 0644]
doc/mcc/fir/type-rules.tex [new file with mode: 0644]
doc/mcc/gc/Makefile [new file with mode: 0644]
doc/mcc/gc/data.tex [new file with mode: 0644]
doc/mcc/gc/defs.tex [new file with mode: 0644]
doc/mcc/gc/gc.tex [new file with mode: 0644]
doc/mcc/gc/gc_operations.tex [new file with mode: 0644]
doc/mcc/gc/heap.tex [new file with mode: 0644]
doc/mcc/gc/heap_layout.eps [new file with mode: 0644]
doc/mcc/gc/heap_layout.pdf [new file with mode: 0644]
doc/mcc/gc/proof.sty [new file with mode: 0644]
doc/mcc/gc/trdefs.tex [new file with mode: 0644]
doc/mcc/howto-release.txt [new file with mode: 0644]
doc/mcc/known-bugs.txt [new file with mode: 0644]
doc/mcc/naml.aux [new file with mode: 0644]
doc/mcc/naml.log [new file with mode: 0644]
doc/mcc/naml/Makefile [new file with mode: 0644]
doc/mcc/naml/naml.aux [new file with mode: 0644]
doc/mcc/naml/naml.log [new file with mode: 0644]
doc/mcc/naml/naml.tex [new file with mode: 0644]
doc/mcc/phobos.txt [new file with mode: 0644]
doc/mcc/regression/Makefile [new file with mode: 0644]
doc/mcc/regression/regression.tex [new file with mode: 0644]
doc/mcc/release-notes.txt [new file with mode: 0644]
doc/mcc/shameful-inadequacies.txt [new file with mode: 0644]
fir/00README [new file with mode: 0644]
fir/OMakefile [new file with mode: 0644]
fir/OMakefile.omc [new file with mode: 0644]
fir/alias/#fir_algebra.ml# [new file with mode: 0644]
fir/alias/OMakefile.omc [new file with mode: 0644]
fir/alias/fir_algebra.ml [new file with mode: 0644]
fir/alias/fir_algebra.mli [new file with mode: 0644]
fir/alias/fir_alias.ml [new file with mode: 0644]
fir/alias/fir_alias_env.ml [new file with mode: 0644]
fir/alias/fir_alias_env.mli [new file with mode: 0644]
fir/alias/fir_alias_mem.ml [new file with mode: 0644]
fir/alias/fir_alias_mem.mli [new file with mode: 0644]
fir/alias/fir_alias_pre.ml [new file with mode: 0644]
fir/alias/fir_alias_pre.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_call.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_call.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_class.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_class.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_cse.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_cse.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_ind.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_ind.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_loop.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_loop.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_norm.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_norm.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_triv.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_triv.mli [new file with mode: 0644]
fir/alias/fir_alias_pre_useless.ml [new file with mode: 0644]
fir/alias/fir_alias_pre_useless.mli [new file with mode: 0644]
fir/alias/fir_alias_print.ml [new file with mode: 0644]
fir/alias/fir_alias_print.mli [new file with mode: 0644]
fir/alias/fir_alias_prog.ml [new file with mode: 0644]
fir/alias/fir_alias_prog.mli [new file with mode: 0644]
fir/alias/fir_alias_subst.ml [new file with mode: 0644]
fir/alias/fir_alias_subst.mli [new file with mode: 0644]
fir/alias/fir_alias_type.ml [new file with mode: 0644]
fir/alias/fir_alias_unify.ml [new file with mode: 0644]
fir/alias/fir_alias_unify.mli [new file with mode: 0644]
fir/alias/fir_alias_util.ml [new file with mode: 0644]
fir/alias/fir_alias_util.mli [new file with mode: 0644]
fir/alias/fir_depth.ml [new file with mode: 0644]
fir/alias/fir_depth.mli [new file with mode: 0644]
fir/alias/fir_heap.ml [new file with mode: 0644]
fir/alias/fir_heap.mli [new file with mode: 0644]
fir/alias/fir_logic.ml [new file with mode: 0644]
fir/alias/fir_loop.ml [new file with mode: 0644]
fir/opt/OMakefile.omc [new file with mode: 0644]
fir/opt/fir_closure.ml [new file with mode: 0644]
fir/opt/fir_closure.mli [new file with mode: 0644]
fir/opt/fir_const.ml [new file with mode: 0644]
fir/opt/fir_const.mli [new file with mode: 0644]
fir/opt/fir_dead.ml [new file with mode: 0644]
fir/opt/fir_dead.mli [new file with mode: 0644]
fir/opt/fir_extspec.ml [new file with mode: 0644]
fir/opt/fir_extspec.mli [new file with mode: 0644]
fir/opt/fir_inline.ml [new file with mode: 0644]
fir/opt/fir_inline.mli [new file with mode: 0644]
fir/opt/fir_opt_util.ml [new file with mode: 0644]
fir/opt/fir_opt_util.mli [new file with mode: 0644]
fir/opt/fir_optimize.ml [new file with mode: 0644]
fir/opt/fir_pre.ml [new file with mode: 0644]
fir/opt/fir_pre.mli [new file with mode: 0644]
fir/opt/fir_uninline.ml [new file with mode: 0644]
fir/opt/fir_uninline.mli [new file with mode: 0644]
fir/type/OMakefile.omc [new file with mode: 0644]
fir/type/fir.ml [new file with mode: 0644]
fir/type/fir_rttd_map.ml [new file with mode: 0644]
fir/type/fir_rttd_map.mli [new file with mode: 0644]
fir/type/fir_set.ml [new file with mode: 0644]
fir/type/fir_set.mli [new file with mode: 0644]
fir/util/OMakefile.omc [new file with mode: 0644]
fir/util/fir_assert.ml [new file with mode: 0644]
fir/util/fir_assert.mli [new file with mode: 0644]
fir/util/fir_check.ml [new file with mode: 0644]
fir/util/fir_check.mli [new file with mode: 0644]
fir/util/fir_ds.ml [new file with mode: 0644]
fir/util/fir_ds.mli [new file with mode: 0644]
fir/util/fir_env.ml [new file with mode: 0644]
fir/util/fir_env.mli [new file with mode: 0644]
fir/util/fir_exn.ml [new file with mode: 0644]
fir/util/fir_exn_print.ml [new file with mode: 0644]
fir/util/fir_exn_print.mli [new file with mode: 0644]
fir/util/fir_frame.ml [new file with mode: 0644]
fir/util/fir_frame.mli [new file with mode: 0644]
fir/util/fir_infer.ml [new file with mode: 0644]
fir/util/fir_infer.mli [new file with mode: 0644]
fir/util/fir_link.ml [new file with mode: 0644]
fir/util/fir_link.mli [new file with mode: 0644]
fir/util/fir_marshal.ml [new file with mode: 0644]
fir/util/fir_marshal.mli [new file with mode: 0644]
fir/util/fir_mprog.ml [new file with mode: 0644]
fir/util/fir_mprog.mli [new file with mode: 0644]
fir/util/fir_pos.ml [new file with mode: 0644]
fir/util/fir_pos.mli [new file with mode: 0644]
fir/util/fir_print.ml [new file with mode: 0644]
fir/util/fir_print.mli [new file with mode: 0644]
fir/util/fir_standardize.ml [new file with mode: 0644]
fir/util/fir_standardize.mli [new file with mode: 0644]
fir/util/fir_state.ml [new file with mode: 0644]
fir/util/fir_subst.ml [new file with mode: 0644]
fir/util/fir_subst.mli [new file with mode: 0644]
fir/util/fir_ty_closure.ml [new file with mode: 0644]
fir/util/fir_ty_closure.mli [new file with mode: 0644]
fir/util/fir_ty_curry.ml [new file with mode: 0644]
fir/util/fir_ty_curry.mli [new file with mode: 0644]
fir/util/fir_type.ml [new file with mode: 0644]
fir/util/fir_type.mli [new file with mode: 0644]
fir/util/fir_util.ml [new file with mode: 0644]
fir/util/fir_util.mli [new file with mode: 0644]
libmojave/LICENSE.libmojave [new file with mode: 0644]
libmojave/LICENSE.txt [new file with mode: 0644]
libmojave/OMakefile [new file with mode: 0644]
libmojave/OMakeroot [new file with mode: 0644]
libmojave/README [new file with mode: 0644]
libmojave/cutil/OMakefile [new file with mode: 0644]
libmojave/cutil/fam_inotify.c [new file with mode: 0644]
libmojave/cutil/fam_kqueue.c [new file with mode: 0644]
libmojave/cutil/fam_pseudo.h [new file with mode: 0644]
libmojave/cutil/fam_win32.c [new file with mode: 0644]
libmojave/cutil/inotify-syscalls.h [new file with mode: 0644]
libmojave/cutil/inotify-test.c [new file with mode: 0644]
libmojave/cutil/inotify.h [new file with mode: 0644]
libmojave/cutil/inotify.om [new file with mode: 0644]
libmojave/cutil/lm_abstract.c [new file with mode: 0644]
libmojave/cutil/lm_channel.c [new file with mode: 0644]
libmojave/cutil/lm_compat_win32.c [new file with mode: 0644]
libmojave/cutil/lm_compat_win32.h [new file with mode: 0644]
libmojave/cutil/lm_config.c [new file with mode: 0644]
libmojave/cutil/lm_ctype.c [new file with mode: 0644]
libmojave/cutil/lm_dll.c [new file with mode: 0644]
libmojave/cutil/lm_dll.h [new file with mode: 0644]
libmojave/cutil/lm_dll_hooks.h [new file with mode: 0644]
libmojave/cutil/lm_dll_pointers.h [new file with mode: 0644]
libmojave/cutil/lm_dll_types.h [new file with mode: 0644]
libmojave/cutil/lm_float.c [new file with mode: 0644]
libmojave/cutil/lm_fs_case_sensitive.c [new file with mode: 0644]
libmojave/cutil/lm_heap.c [new file with mode: 0644]
libmojave/cutil/lm_heap.h [new file with mode: 0644]
libmojave/cutil/lm_marshal_shared.c [new file with mode: 0644]
libmojave/cutil/lm_marshal_shared.h [new file with mode: 0644]
libmojave/cutil/lm_mmap.c [new file with mode: 0644]
libmojave/cutil/lm_mmap.h [new file with mode: 0644]
libmojave/cutil/lm_ncurses.c [new file with mode: 0644]
libmojave/cutil/lm_nocompare.c [new file with mode: 0644]
libmojave/cutil/lm_notify.c [new file with mode: 0644]
libmojave/cutil/lm_printf.c [new file with mode: 0644]
libmojave/cutil/lm_raw.c [new file with mode: 0644]
libmojave/cutil/lm_readline.c [new file with mode: 0644]
libmojave/cutil/lm_rusage.c [new file with mode: 0644]
libmojave/cutil/lm_ssl.c [new file with mode: 0644]
libmojave/cutil/lm_terminfo.c [new file with mode: 0644]
libmojave/cutil/lm_termsize.c [new file with mode: 0644]
libmojave/cutil/lm_uname_ext.c [new file with mode: 0644]
libmojave/cutil/lm_unix_cutil.c [new file with mode: 0644]
libmojave/cutil/unixsupport.h [new file with mode: 0644]
libmojave/stdlib/Files [new file with mode: 0644]
libmojave/stdlib/OMakefile [new file with mode: 0644]
libmojave/stdlib/lm_array.ml [new file with mode: 0644]
libmojave/stdlib/lm_array.mli [new file with mode: 0644]
libmojave/stdlib/lm_array_linear_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_array_linear_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_array_sig.ml [new file with mode: 0644]
libmojave/stdlib/lm_array_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_array_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_big_int.ml [new file with mode: 0644]
libmojave/stdlib/lm_big_int.mli [new file with mode: 0644]
libmojave/stdlib/lm_buffer.ml [new file with mode: 0644]
libmojave/stdlib/lm_buffer.mli [new file with mode: 0644]
libmojave/stdlib/lm_char.ml [new file with mode: 0644]
libmojave/stdlib/lm_char.mli [new file with mode: 0644]
libmojave/stdlib/lm_cycle_dag.ml [new file with mode: 0644]
libmojave/stdlib/lm_cycle_dag.mli [new file with mode: 0644]
libmojave/stdlib/lm_dag_sig.ml [new file with mode: 0644]
libmojave/stdlib/lm_debug.ml [new file with mode: 0644]
libmojave/stdlib/lm_debug.mli [new file with mode: 0644]
libmojave/stdlib/lm_file_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_file_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_format.ml [new file with mode: 0644]
libmojave/stdlib/lm_format.mli [new file with mode: 0644]
libmojave/stdlib/lm_hash_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_hash_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_hashtbl_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_hashtbl_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_heap.ml [new file with mode: 0755]
libmojave/stdlib/lm_heap.mli [new file with mode: 0755]
libmojave/stdlib/lm_imp_dag.ml [new file with mode: 0644]
libmojave/stdlib/lm_imp_dag.mli [new file with mode: 0644]
libmojave/stdlib/lm_index.ml [new file with mode: 0644]
libmojave/stdlib/lm_index.mli [new file with mode: 0644]
libmojave/stdlib/lm_int_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_int_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_int_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_int_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_io.ml [new file with mode: 0644]
libmojave/stdlib/lm_io.mli [new file with mode: 0644]
libmojave/stdlib/lm_large_array.ml [new file with mode: 0644]
libmojave/stdlib/lm_large_array.mli [new file with mode: 0644]
libmojave/stdlib/lm_large_array_weak.ml [new file with mode: 0644]
libmojave/stdlib/lm_large_array_weak.mli [new file with mode: 0644]
libmojave/stdlib/lm_linear_set_sig.ml [new file with mode: 0644]
libmojave/stdlib/lm_list.ml [new file with mode: 0644]
libmojave/stdlib/lm_list.mli [new file with mode: 0644]
libmojave/stdlib/lm_list_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_list_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_make_printf.ml [new file with mode: 0644]
libmojave/stdlib/lm_make_printf.mli [new file with mode: 0644]
libmojave/stdlib/lm_map.ml [new file with mode: 0644]
libmojave/stdlib/lm_map.mli [new file with mode: 0644]
libmojave/stdlib/lm_map_sig.ml [new file with mode: 0644]
libmojave/stdlib/lm_nocompare.ml [new file with mode: 0644]
libmojave/stdlib/lm_nocompare.mli [new file with mode: 0644]
libmojave/stdlib/lm_num.ml [new file with mode: 0644]
libmojave/stdlib/lm_num.mli [new file with mode: 0644]
libmojave/stdlib/lm_pervasives.h [new file with mode: 0644]
libmojave/stdlib/lm_printf.ml [new file with mode: 0644]
libmojave/stdlib/lm_printf.mli [new file with mode: 0644]
libmojave/stdlib/lm_printf_rbuffer.ml [new file with mode: 0644]
libmojave/stdlib/lm_printf_rbuffer.mli [new file with mode: 0644]
libmojave/stdlib/lm_ref_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_ref_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_rformat.ml [new file with mode: 0644]
libmojave/stdlib/lm_rformat.mli [new file with mode: 0644]
libmojave/stdlib/lm_rformat_html.ml [new file with mode: 0644]
libmojave/stdlib/lm_rformat_html.mli [new file with mode: 0644]
libmojave/stdlib/lm_rformat_raw.ml [new file with mode: 0644]
libmojave/stdlib/lm_rformat_raw.mli [new file with mode: 0644]
libmojave/stdlib/lm_rformat_tex.ml [new file with mode: 0644]
libmojave/stdlib/lm_rformat_tex.mli [new file with mode: 0644]
libmojave/stdlib/lm_rformat_text.ml [new file with mode: 0644]
libmojave/stdlib/lm_rformat_text.mli [new file with mode: 0644]
libmojave/stdlib/lm_rprintf.ml [new file with mode: 0644]
libmojave/stdlib/lm_rprintf.mli [new file with mode: 0644]
libmojave/stdlib/lm_serial_map.ml [new file with mode: 0644]
libmojave/stdlib/lm_serial_map.mli [new file with mode: 0644]
libmojave/stdlib/lm_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_set_sig.ml [new file with mode: 0644]
libmojave/stdlib/lm_small_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_small_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_splay.ml [new file with mode: 0644]
libmojave/stdlib/lm_splay.mli [new file with mode: 0644]
libmojave/stdlib/lm_splay_linear_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_splay_linear_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_splay_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_splay_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_splay_table.ml [new file with mode: 0644]
libmojave/stdlib/lm_splay_table.mli [new file with mode: 0644]
libmojave/stdlib/lm_string.ml [new file with mode: 0644]
libmojave/stdlib/lm_string.mli [new file with mode: 0644]
libmojave/stdlib/lm_string_set.ml [new file with mode: 0644]
libmojave/stdlib/lm_string_set.mli [new file with mode: 0644]
libmojave/stdlib/lm_string_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_string_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_sys.ml [new file with mode: 0644]
libmojave/stdlib/lm_sys.mli [new file with mode: 0644]
libmojave/stdlib/lm_table_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_table_util.mli [new file with mode: 0644]
libmojave/stdlib/lm_test.ml [new file with mode: 0644]
libmojave/stdlib/lm_test.mli [new file with mode: 0644]
libmojave/stdlib/lm_test_sig.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread.mli [new file with mode: 0644]
libmojave/stdlib/lm_thread_core.mli [new file with mode: 0644]
libmojave/stdlib/lm_thread_core_null.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_core_system.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_event.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_event.mli [new file with mode: 0644]
libmojave/stdlib/lm_thread_pool.mli [new file with mode: 0644]
libmojave/stdlib/lm_thread_pool_null.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_pool_system.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_shell.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_shell.mli [new file with mode: 0644]
libmojave/stdlib/lm_thread_sig.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_util.ml [new file with mode: 0644]
libmojave/stdlib/lm_thread_util.mli [new file with mode: 0644]
libmojave/system/Files [new file with mode: 0644]
libmojave/system/OMakefile [new file with mode: 0644]
libmojave/system/lm_marshal_buf.ml [new file with mode: 0644]
libmojave/system/lm_marshal_buf.mli [new file with mode: 0644]
libmojave/system/lm_marshal_shared.ml [new file with mode: 0644]
libmojave/system/lm_marshal_shared.mli [new file with mode: 0644]
libmojave/system/lm_marshal_sig.ml [new file with mode: 0644]
libmojave/unix/Files [new file with mode: 0644]
libmojave/unix/OMakefile [new file with mode: 0644]
libmojave/unix/lm_dll.ml [new file with mode: 0644]
libmojave/unix/lm_fs_case_sensitive.ml [new file with mode: 0644]
libmojave/unix/lm_fs_case_sensitive.mli [new file with mode: 0644]
libmojave/unix/lm_id.ml [new file with mode: 0644]
libmojave/unix/lm_id.mli [new file with mode: 0644]
libmojave/unix/lm_inet.ml [new file with mode: 0644]
libmojave/unix/lm_inet.mli [new file with mode: 0644]
libmojave/unix/lm_mmap.ml [new file with mode: 0644]
libmojave/unix/lm_mmap.mli [new file with mode: 0644]
libmojave/unix/lm_mmap_pipe.ml [new file with mode: 0644]
libmojave/unix/lm_mmap_pipe.mli [new file with mode: 0644]
libmojave/unix/lm_notify.ml [new file with mode: 0644]
libmojave/unix/lm_notify.mli [new file with mode: 0644]
libmojave/unix/lm_rusage.ml [new file with mode: 0644]
libmojave/unix/lm_rusage.mli [new file with mode: 0644]
libmojave/unix/lm_uname.ml [new file with mode: 0644]
libmojave/unix/lm_uname.mli [new file with mode: 0644]
libmojave/unix/lm_unix_util.ml [new file with mode: 0644]
libmojave/unix/lm_unix_util.mli [new file with mode: 0644]
libmojave/util/Files [new file with mode: 0644]
libmojave/util/OMakefile [new file with mode: 0644]
libmojave/util/lm_arg.ml [new file with mode: 0644]
libmojave/util/lm_arg.mli [new file with mode: 0644]
libmojave/util/lm_attribute.ml [new file with mode: 0644]
libmojave/util/lm_attribute.mli [new file with mode: 0644]
libmojave/util/lm_bitmatrix.ml [new file with mode: 0644]
libmojave/util/lm_bitmatrix.mli [new file with mode: 0644]
libmojave/util/lm_channel.ml [new file with mode: 0644]
libmojave/util/lm_channel.mli [new file with mode: 0644]
libmojave/util/lm_clock.ml [new file with mode: 0644]
libmojave/util/lm_clock.mli [new file with mode: 0644]
libmojave/util/lm_command_util.ml [new file with mode: 0644]
libmojave/util/lm_command_util.mli [new file with mode: 0644]
libmojave/util/lm_config.ml [new file with mode: 0644]
libmojave/util/lm_config.mli [new file with mode: 0644]
libmojave/util/lm_ctype.ml [new file with mode: 0644]
libmojave/util/lm_ctype.mli [new file with mode: 0644]
libmojave/util/lm_db.ml [new file with mode: 0644]
libmojave/util/lm_db.mli [new file with mode: 0644]
libmojave/util/lm_digraph.ml [new file with mode: 0644]
libmojave/util/lm_digraph.mli [new file with mode: 0644]
libmojave/util/lm_dlist.ml [new file with mode: 0644]
libmojave/util/lm_dlist.mli [new file with mode: 0644]
libmojave/util/lm_field_table.ml [new file with mode: 0644]
libmojave/util/lm_field_table.mli [new file with mode: 0644]
libmojave/util/lm_filename_util.ml [new file with mode: 0644]
libmojave/util/lm_filename_util.mli [new file with mode: 0644]
libmojave/util/lm_flags.ml [new file with mode: 0644]
libmojave/util/lm_flags.mli [new file with mode: 0644]
libmojave/util/lm_float80.ml [new file with mode: 0644]
libmojave/util/lm_float80.mli [new file with mode: 0644]
libmojave/util/lm_fmarshal.ml [new file with mode: 0644]
libmojave/util/lm_fmarshal.mli [new file with mode: 0644]
libmojave/util/lm_format_util.ml [new file with mode: 0644]
libmojave/util/lm_format_util.mli [new file with mode: 0644]
libmojave/util/lm_glob.ml [new file with mode: 0644]
libmojave/util/lm_glob.mli [new file with mode: 0644]
libmojave/util/lm_graph.ml [new file with mode: 0644]
libmojave/util/lm_graph.mli [new file with mode: 0644]
libmojave/util/lm_hash.ml [new file with mode: 0644]
libmojave/util/lm_hash.mli [new file with mode: 0644]
libmojave/util/lm_hash_sig.ml [new file with mode: 0644]
libmojave/util/lm_interval_set.ml [new file with mode: 0644]
libmojave/util/lm_interval_set.mli [new file with mode: 0644]
libmojave/util/lm_lexer.ml [new file with mode: 0644]
libmojave/util/lm_lexer.mli [new file with mode: 0644]
libmojave/util/lm_listbuf.ml [new file with mode: 0644]
libmojave/util/lm_listbuf.mli [new file with mode: 0644]
libmojave/util/lm_location.ml [new file with mode: 0644]
libmojave/util/lm_location.mli [new file with mode: 0644]
libmojave/util/lm_loop.ml [new file with mode: 0644]
libmojave/util/lm_loop.mli [new file with mode: 0644]
libmojave/util/lm_ncurses.ml [new file with mode: 0644]
libmojave/util/lm_ncurses.mli [new file with mode: 0644]
libmojave/util/lm_ncurses_display.ml [new file with mode: 0644]
libmojave/util/lm_ncurses_display.mli [new file with mode: 0644]
libmojave/util/lm_parse_id.ml [new file with mode: 0644]
libmojave/util/lm_parse_id.mli [new file with mode: 0644]
libmojave/util/lm_parser.ml [new file with mode: 0644]
libmojave/util/lm_parser.mli [new file with mode: 0644]
libmojave/util/lm_position.ml [new file with mode: 0644]
libmojave/util/lm_position.mli [new file with mode: 0644]
libmojave/util/lm_print_util.ml [new file with mode: 0644]
libmojave/util/lm_print_util.mli [new file with mode: 0644]
libmojave/util/lm_profile.ml [new file with mode: 0644]
libmojave/util/lm_profile.mli [new file with mode: 0644]
libmojave/util/lm_rawfloat.ml [new file with mode: 0644]
libmojave/util/lm_rawfloat.mli [new file with mode: 0644]
libmojave/util/lm_rawint.ml [new file with mode: 0644]
libmojave/util/lm_rawint.mli [new file with mode: 0644]
libmojave/util/lm_readline.ml [new file with mode: 0644]
libmojave/util/lm_readline.mli [new file with mode: 0644]
libmojave/util/lm_ssl.ml [new file with mode: 0644]
libmojave/util/lm_ssl.mli [new file with mode: 0644]
libmojave/util/lm_string_hash.ml [new file with mode: 0644]
libmojave/util/lm_string_hash.mli [new file with mode: 0644]
libmojave/util/lm_symbol.ml [new file with mode: 0644]
libmojave/util/lm_symbol.mli [new file with mode: 0644]
libmojave/util/lm_symbol_hash.ml [new file with mode: 0644]
libmojave/util/lm_symbol_hash.mli [new file with mode: 0644]
libmojave/util/lm_symbol_matrix.ml [new file with mode: 0644]
libmojave/util/lm_symbol_matrix.mli [new file with mode: 0644]
libmojave/util/lm_table_graph.ml [new file with mode: 0644]
libmojave/util/lm_table_graph.mli [new file with mode: 0644]
libmojave/util/lm_terminfo.ml [new file with mode: 0644]
libmojave/util/lm_terminfo.mli [new file with mode: 0644]
libmojave/util/lm_termsize.ml [new file with mode: 0644]
libmojave/util/lm_termsize.mli [new file with mode: 0644]
libmojave/util/lm_trace.ml [new file with mode: 0644]
libmojave/util/lm_trace.mli [new file with mode: 0644]
main/Conscript [new file with mode: 0644]
main/Makefile [new file with mode: 0644]
main/shack_config.ml [new file with mode: 0644]
main/shack_config.ml.in [new file with mode: 0644]
main/shack_main.ml [new file with mode: 0644]
main/shack_paths.ml [new file with mode: 0644]
main/shack_version.ml [new file with mode: 0644]
main/test-mcc [new file with mode: 0755]
naml/00README [new file with mode: 0644]
naml/OMakefile [new file with mode: 0644]
naml/OMakefile.omc [new file with mode: 0644]
naml/OMakefile.~1~ [new file with mode: 0644]
naml/make_tast_type.pl [new file with mode: 0755]
naml/naml_ast.ml [new file with mode: 0644]
naml/naml_ast_exn.ml [new file with mode: 0644]
naml/naml_ast_exn.mli [new file with mode: 0644]
naml/naml_ast_standardize.ml [new file with mode: 0644]
naml/naml_ast_standardize.mli [new file with mode: 0644]
naml/naml_ast_util.ml [new file with mode: 0644]
naml/naml_ast_util.mli [new file with mode: 0644]
naml/naml_compile.ml [new file with mode: 0644]
naml/naml_fir_ir.ml [new file with mode: 0644]
naml/naml_ir.annot [new file with mode: 0644]
naml/naml_ir.ml [new file with mode: 0644]
naml/naml_ir_close.ml [new file with mode: 0644]
naml/naml_ir_close.mli [new file with mode: 0644]
naml/naml_ir_cps.ml [new file with mode: 0644]
naml/naml_ir_cps.mli [new file with mode: 0644]
naml/naml_ir_dead.ml [new file with mode: 0644]
naml/naml_ir_dead.mli [new file with mode: 0644]
naml/naml_ir_exn.ml [new file with mode: 0644]
naml/naml_ir_exn.mli [new file with mode: 0644]
naml/naml_ir_ext.ml [new file with mode: 0644]
naml/naml_ir_ext.mli [new file with mode: 0644]
naml/naml_ir_inline.ml [new file with mode: 0644]
naml/naml_ir_inline.mli [new file with mode: 0644]
naml/naml_ir_misc.ml [new file with mode: 0644]
naml/naml_ir_misc.mli [new file with mode: 0644]
naml/naml_ir_partial.ml [new file with mode: 0644]
naml/naml_ir_partial.mli [new file with mode: 0644]
naml/naml_ir_standardize.ml [new file with mode: 0644]
naml/naml_ir_standardize.mli [new file with mode: 0644]
naml/naml_ir_state.ml [new file with mode: 0644]
naml/naml_ir_tast.ml [new file with mode: 0644]
naml/naml_ir_tast.mli [new file with mode: 0644]
naml/naml_ir_util.ml [new file with mode: 0644]
naml/naml_ir_util.mli [new file with mode: 0644]
naml/naml_lex.ml [new file with mode: 0644]
naml/naml_lex.mli [new file with mode: 0644]
naml/naml_lex.mll [new file with mode: 0644]
naml/naml_parse.ml [new file with mode: 0644]
naml/naml_parse.mli [new file with mode: 0644]
naml/naml_parse.mly [new file with mode: 0644]
naml/naml_parse_misc.ml [new file with mode: 0644]
naml/naml_parse_misc.mli [new file with mode: 0644]
naml/naml_parse_state.ml [new file with mode: 0644]
naml/naml_parse_state.mli [new file with mode: 0644]
naml/naml_tast.ml [new file with mode: 0644]
naml/naml_tast_exn.ml [new file with mode: 0644]
naml/naml_tast_exn.mli [new file with mode: 0644]
naml/naml_tast_util.ml [new file with mode: 0644]
naml/naml_tast_util.mli [new file with mode: 0644]
naml/naml_type_boot.ml [new file with mode: 0644]
naml/naml_type_boot.mli [new file with mode: 0644]
naml/naml_type_env.ml [new file with mode: 0644]
naml/naml_type_env.mli [new file with mode: 0644]
naml/naml_type_infer.ml [new file with mode: 0644]
naml/naml_type_infer.mli [new file with mode: 0644]
naml/parse_test.ml [new file with mode: 0644]
naml/type_test.ml [new file with mode: 0644]