├── .DS_Store ├── Makefile ├── caml-shift ├── .DS_Store ├── META ├── Makefile ├── README.dr ├── bench_coroutine.ml ├── bench_exc.ml ├── bench_nondet.ml ├── delim_serialize.c ├── delimcc.ml ├── delimcc.mli ├── lwc.ml ├── lwc.mli ├── memory_leak1.ml ├── memory_leak_plugged.ml ├── ocaml-byterun-3.09 │ ├── alloc.h │ ├── compatibility.h │ ├── config.h │ ├── custom.h │ ├── fix_code.h │ ├── freelist.h │ ├── gc.h │ ├── intext.h │ ├── io.h │ ├── m.h │ ├── major_gc.h │ ├── memory.h │ ├── minor_gc.h │ ├── misc.h │ ├── mlvalues.h │ ├── s.h │ └── stacks.h ├── ocaml-byterun-3.10 │ ├── alloc.h │ ├── compatibility.h │ ├── config.h │ ├── custom.h │ ├── fix_code.h │ ├── freelist.h │ ├── gc.h │ ├── intext.h │ ├── io.h │ ├── m.h │ ├── major_gc.h │ ├── memory.h │ ├── minor_gc.h │ ├── misc.h │ ├── mlvalues.h │ ├── s.h │ └── stacks.h ├── ocaml-byterun-3.11 │ ├── freelist.h │ ├── gc.h │ ├── major_gc.h │ ├── memory.h │ ├── minor_gc.h │ ├── misc.h │ ├── roots.h │ ├── stack.h │ └── stacks.h ├── paper_example.ml ├── sieve.ml ├── stacks-native.c ├── stacks.c ├── testd0.ml └── tests0.ml ├── examples ├── bloodtype.ml ├── colored_balls.ml ├── exactInfM.ml ├── hmm.ml ├── incite.ml ├── incite.ml.1 ├── lazy_permutations.ml ├── lazy_permutations.mli ├── music1a.ml ├── music2.ml ├── nested.ml ├── noisy_or.ml ├── paper_examples.ml ├── samplingM.ml ├── slazy.ml └── sorted.ml ├── inference.ml ├── inference.mli ├── logic_vars.ml ├── pMap.ml ├── pMap.mli ├── parsec.ml ├── probM.ml ├── probM.mli ├── prolog_drawbacks.pro ├── ptypes.mli ├── puzzle.ml └── type_inference.ml /.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/.DS_Store -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/Makefile -------------------------------------------------------------------------------- /caml-shift/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/.DS_Store -------------------------------------------------------------------------------- /caml-shift/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/META -------------------------------------------------------------------------------- /caml-shift/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/Makefile -------------------------------------------------------------------------------- /caml-shift/README.dr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/README.dr -------------------------------------------------------------------------------- /caml-shift/bench_coroutine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/bench_coroutine.ml -------------------------------------------------------------------------------- /caml-shift/bench_exc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/bench_exc.ml -------------------------------------------------------------------------------- /caml-shift/bench_nondet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/bench_nondet.ml -------------------------------------------------------------------------------- /caml-shift/delim_serialize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/delim_serialize.c -------------------------------------------------------------------------------- /caml-shift/delimcc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/delimcc.ml -------------------------------------------------------------------------------- /caml-shift/delimcc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/delimcc.mli -------------------------------------------------------------------------------- /caml-shift/lwc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/lwc.ml -------------------------------------------------------------------------------- /caml-shift/lwc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/lwc.mli -------------------------------------------------------------------------------- /caml-shift/memory_leak1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/memory_leak1.ml -------------------------------------------------------------------------------- /caml-shift/memory_leak_plugged.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/memory_leak_plugged.ml -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/alloc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/compatibility.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/compatibility.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/config.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/custom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/custom.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/fix_code.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/fix_code.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/freelist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/freelist.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/intext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/intext.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/io.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/m.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/m.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/major_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/major_gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/memory.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/minor_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/minor_gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/misc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/mlvalues.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/mlvalues.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/s.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/s.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.09/stacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.09/stacks.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/alloc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/compatibility.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/compatibility.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/config.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/custom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/custom.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/fix_code.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/fix_code.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/freelist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/freelist.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/intext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/intext.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/io.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/m.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/m.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/major_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/major_gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/memory.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/minor_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/minor_gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/misc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/mlvalues.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/mlvalues.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/s.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/s.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.10/stacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.10/stacks.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/freelist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/freelist.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/major_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/major_gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/memory.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/minor_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/minor_gc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/misc.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/roots.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/roots.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/stack.h -------------------------------------------------------------------------------- /caml-shift/ocaml-byterun-3.11/stacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/ocaml-byterun-3.11/stacks.h -------------------------------------------------------------------------------- /caml-shift/paper_example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/paper_example.ml -------------------------------------------------------------------------------- /caml-shift/sieve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/sieve.ml -------------------------------------------------------------------------------- /caml-shift/stacks-native.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/stacks-native.c -------------------------------------------------------------------------------- /caml-shift/stacks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/stacks.c -------------------------------------------------------------------------------- /caml-shift/testd0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/testd0.ml -------------------------------------------------------------------------------- /caml-shift/tests0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/caml-shift/tests0.ml -------------------------------------------------------------------------------- /examples/bloodtype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/bloodtype.ml -------------------------------------------------------------------------------- /examples/colored_balls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/colored_balls.ml -------------------------------------------------------------------------------- /examples/exactInfM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/exactInfM.ml -------------------------------------------------------------------------------- /examples/hmm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/hmm.ml -------------------------------------------------------------------------------- /examples/incite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/incite.ml -------------------------------------------------------------------------------- /examples/incite.ml.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/incite.ml.1 -------------------------------------------------------------------------------- /examples/lazy_permutations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/lazy_permutations.ml -------------------------------------------------------------------------------- /examples/lazy_permutations.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/lazy_permutations.mli -------------------------------------------------------------------------------- /examples/music1a.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/music1a.ml -------------------------------------------------------------------------------- /examples/music2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/music2.ml -------------------------------------------------------------------------------- /examples/nested.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/nested.ml -------------------------------------------------------------------------------- /examples/noisy_or.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/noisy_or.ml -------------------------------------------------------------------------------- /examples/paper_examples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/paper_examples.ml -------------------------------------------------------------------------------- /examples/samplingM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/samplingM.ml -------------------------------------------------------------------------------- /examples/slazy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/slazy.ml -------------------------------------------------------------------------------- /examples/sorted.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/examples/sorted.ml -------------------------------------------------------------------------------- /inference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/inference.ml -------------------------------------------------------------------------------- /inference.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/inference.mli -------------------------------------------------------------------------------- /logic_vars.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/logic_vars.ml -------------------------------------------------------------------------------- /pMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/pMap.ml -------------------------------------------------------------------------------- /pMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/pMap.mli -------------------------------------------------------------------------------- /parsec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/parsec.ml -------------------------------------------------------------------------------- /probM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/probM.ml -------------------------------------------------------------------------------- /probM.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/probM.mli -------------------------------------------------------------------------------- /prolog_drawbacks.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/prolog_drawbacks.pro -------------------------------------------------------------------------------- /ptypes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/ptypes.mli -------------------------------------------------------------------------------- /puzzle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/puzzle.ml -------------------------------------------------------------------------------- /type_inference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cararemixed/hansei/HEAD/type_inference.ml --------------------------------------------------------------------------------