├── .gitattributes ├── .github ├── dependabot.yml ├── runner.sh └── workflows │ ├── common.yml │ ├── cygwin-530-trunk.yml │ ├── cygwin-540-trunk.yml │ ├── cygwin-550-trunk.yml │ ├── gh-pages.yml │ ├── linux-530-trunk-32bit.yml │ ├── linux-530-trunk-arm64.yml │ ├── linux-530-trunk-bytecode.yml │ ├── linux-530-trunk-debug.yml │ ├── linux-530-trunk-fp.yml │ ├── linux-530-trunk-musl.yml │ ├── linux-530-trunk.yml │ ├── linux-540-trunk-32bit.yml │ ├── linux-540-trunk-arm64.yml │ ├── linux-540-trunk-bytecode.yml │ ├── linux-540-trunk-debug.yml │ ├── linux-540-trunk-fp.yml │ ├── linux-540-trunk-musl.yml │ ├── linux-540-trunk.yml │ ├── linux-550-trunk-32bit.yml │ ├── linux-550-trunk-arm64.yml │ ├── linux-550-trunk-bytecode.yml │ ├── linux-550-trunk-debug.yml │ ├── linux-550-trunk-fp.yml │ ├── linux-550-trunk-musl.yml │ ├── linux-550-trunk.yml │ ├── macosx-arm64-530-trunk.yml │ ├── macosx-arm64-540-trunk.yml │ ├── macosx-arm64-550-trunk.yml │ ├── macosx-intel-530-trunk.yml │ ├── macosx-intel-540-trunk.yml │ ├── macosx-intel-550-trunk.yml │ ├── mingw-530-trunk-bytecode.yml │ ├── mingw-530-trunk.yml │ ├── mingw-540-trunk-bytecode.yml │ ├── mingw-540-trunk.yml │ ├── mingw-550-trunk-bytecode.yml │ ├── mingw-550-trunk.yml │ ├── msvc-530-trunk-bytecode.yml │ ├── msvc-530-trunk.yml │ ├── msvc-540-trunk-bytecode.yml │ ├── msvc-540-trunk.yml │ ├── msvc-550-trunk-bytecode.yml │ ├── msvc-550-trunk.yml │ └── opam.yml ├── .gitignore ├── AUTHORS ├── CHANGES.md ├── LICENSE ├── Makefile ├── README.md ├── doc ├── README.md ├── example │ ├── dune │ ├── dune-project │ ├── dune-workspace │ ├── lin_tests.ml │ └── stm_tests.ml ├── lin │ ├── dune │ ├── index.mld │ ├── mutable_set.ml │ └── mutable_set_lock.ml ├── paper-examples │ ├── dune │ ├── dune-project │ ├── dune-workspace │ ├── lin_tests.ml │ └── stm_tests.ml ├── paper-latex │ ├── .latexmkrc │ ├── README.md │ ├── biblio.bib │ ├── macros.tex │ ├── paper.tex │ └── preamble.tex ├── paper.md ├── paper.pdf ├── stm │ ├── dune │ ├── index.mld │ ├── mutable_set_v0.ml │ ├── mutable_set_v1.ml │ ├── mutable_set_v2.ml │ ├── mutable_set_v3.ml │ ├── mutable_set_v4.ml │ └── mutable_set_v5.ml └── util │ ├── dune │ └── index.mld ├── dune ├── dune-project ├── dune-workspace ├── lib ├── STM.ml ├── STM.mli ├── STM_domain.ml ├── STM_domain.mli ├── STM_sequential.ml ├── STM_sequential.mli ├── STM_thread.ml ├── STM_thread.mli ├── dune ├── lin.ml ├── lin.mli ├── lin_domain.ml ├── lin_domain.mli ├── lin_effect.ml ├── lin_effect.mli ├── lin_thread.ml ├── lin_thread.mli ├── util.ml └── util.mli ├── multicoretests.opam ├── qcheck-lin.opam ├── qcheck-multicoretests-util.opam ├── qcheck-stm.opam ├── src ├── README.md ├── array │ ├── dune │ ├── lin_internal_tests.ml │ ├── lin_tests.ml │ └── stm_tests.ml ├── atomic │ ├── dune │ ├── lin_internal_tests.ml │ ├── lin_tests.ml │ └── stm_tests.ml ├── bigarray │ ├── dune │ ├── lin_tests.ml │ └── stm_tests.ml ├── buffer │ ├── dune │ └── stm_tests.ml ├── bytes │ ├── dune │ ├── lin_tests.ml │ └── stm_tests.ml ├── domain │ ├── domain_joingraph.ml │ ├── domain_spawntree.ml │ ├── dune │ ├── lin_tests_dls.ml │ └── stm_tests_dls.ml ├── dynarray │ ├── dune │ ├── lin_tests.ml │ └── stm_tests.ml ├── dynlink │ ├── dune │ ├── libA.ml │ ├── libB.ml │ └── lin_tests.ml ├── ephemeron │ ├── dune │ ├── lin_tests.ml │ ├── stm_tests_par.ml │ ├── stm_tests_seq.ml │ └── stm_tests_spec.ml ├── floatarray │ ├── dune │ ├── lin_tests.ml │ └── stm_tests.ml ├── gc │ ├── dune │ ├── pagesize.ml │ ├── pagesizestub.c │ ├── stm_tests_impl_par.ml │ ├── stm_tests_impl_seq.ml │ ├── stm_tests_impl_seq_child.ml │ ├── stm_tests_par.ml │ ├── stm_tests_par_stress.ml │ ├── stm_tests_seq.ml │ ├── stm_tests_seq_child.ml │ └── stm_tests_spec.ml ├── hashtbl │ ├── dune │ ├── lin_internal_tests.ml │ ├── lin_tests.ml │ └── stm_tests.ml ├── io │ ├── dune │ ├── lin_internal_tests.ml │ ├── lin_tests_domain.ml │ ├── lin_tests_spec_io.ml │ ├── lin_tests_thread.ml │ └── stm_tests.ml ├── lazy │ ├── dune │ ├── lin_internal_tests.ml │ ├── lin_tests.ml │ └── stm_tests.ml ├── neg_tests │ ├── CList.ml │ ├── dune │ ├── lin_internal_tests_common.ml │ ├── lin_internal_tests_domain.ml │ ├── lin_internal_tests_effect.ml │ ├── lin_internal_tests_thread_conclist.ml │ ├── lin_internal_tests_thread_ref.ml │ ├── lin_tests_common.ml │ ├── lin_tests_domain.ml │ ├── lin_tests_effect.ml │ ├── lin_tests_thread.ml │ ├── stm_tests_clist_domain.ml │ ├── stm_tests_clist_sequential.ml │ ├── stm_tests_clist_spec.ml │ ├── stm_tests_clist_thread.ml │ ├── stm_tests_ref_domain.ml │ ├── stm_tests_ref_domain_asym.ml │ ├── stm_tests_ref_sequential.ml │ ├── stm_tests_ref_spec.ml │ └── stm_tests_ref_thread.ml ├── queue │ ├── dune │ ├── lin_internal_tests.ml │ └── lin_tests.ml ├── semaphore │ ├── dune │ ├── stm_tests_binary.ml │ └── stm_tests_counting.ml ├── stack │ ├── dune │ ├── lin_internal_tests.ml │ └── lin_tests.ml ├── statistics │ ├── README.md │ ├── dune │ └── z_test.ml ├── sys │ ├── dune │ └── stm_tests.ml ├── thread │ ├── dune │ ├── thread_createtree.ml │ └── thread_joingraph.ml ├── threadomain │ ├── dune │ └── threadomain.ml └── weak │ ├── dune │ ├── lin_tests.ml │ ├── lin_tests_hashset.ml │ ├── stm_tests_hashset_par.ml │ ├── stm_tests_hashset_par_stress.ml │ ├── stm_tests_hashset_seq.ml │ ├── stm_tests_hashset_spec.ml │ ├── stm_tests_weak_par.ml │ ├── stm_tests_weak_par_stress.ml │ ├── stm_tests_weak_seq.ml │ └── stm_tests_weak_spec.ml ├── test ├── cleanup_lin.ml ├── cleanup_stm.ml ├── dune ├── mutable_set_v4.expected.32 ├── mutable_set_v4.expected.64 ├── mutable_set_v5.expected.32 ├── mutable_set_v5.expected.64 ├── mutable_set_v5.ml ├── stm_next_state_exc.ml ├── util_pp.expected ├── util_pp.ml ├── util_pp_trunc150.expected ├── util_pp_trunc5.expected ├── util_pp_trunc79.expected ├── util_print_test.expected └── util_print_test.ml └── tools ├── cheapp.awk └── cheapp.sh /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sh text eol=lf 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/runner.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/runner.sh -------------------------------------------------------------------------------- /.github/workflows/common.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/common.yml -------------------------------------------------------------------------------- /.github/workflows/cygwin-530-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/cygwin-530-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/cygwin-540-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/cygwin-540-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/cygwin-550-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/cygwin-550-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/gh-pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/gh-pages.yml -------------------------------------------------------------------------------- /.github/workflows/linux-530-trunk-32bit.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-530-trunk-32bit.yml -------------------------------------------------------------------------------- /.github/workflows/linux-530-trunk-arm64.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-530-trunk-arm64.yml -------------------------------------------------------------------------------- /.github/workflows/linux-530-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-530-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/linux-530-trunk-debug.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-530-trunk-debug.yml -------------------------------------------------------------------------------- /.github/workflows/linux-530-trunk-fp.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-530-trunk-fp.yml -------------------------------------------------------------------------------- /.github/workflows/linux-530-trunk-musl.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-530-trunk-musl.yml -------------------------------------------------------------------------------- /.github/workflows/linux-530-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-530-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/linux-540-trunk-32bit.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-540-trunk-32bit.yml -------------------------------------------------------------------------------- /.github/workflows/linux-540-trunk-arm64.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-540-trunk-arm64.yml -------------------------------------------------------------------------------- /.github/workflows/linux-540-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-540-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/linux-540-trunk-debug.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-540-trunk-debug.yml -------------------------------------------------------------------------------- /.github/workflows/linux-540-trunk-fp.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-540-trunk-fp.yml -------------------------------------------------------------------------------- /.github/workflows/linux-540-trunk-musl.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-540-trunk-musl.yml -------------------------------------------------------------------------------- /.github/workflows/linux-540-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-540-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/linux-550-trunk-32bit.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-550-trunk-32bit.yml -------------------------------------------------------------------------------- /.github/workflows/linux-550-trunk-arm64.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-550-trunk-arm64.yml -------------------------------------------------------------------------------- /.github/workflows/linux-550-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-550-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/linux-550-trunk-debug.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-550-trunk-debug.yml -------------------------------------------------------------------------------- /.github/workflows/linux-550-trunk-fp.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-550-trunk-fp.yml -------------------------------------------------------------------------------- /.github/workflows/linux-550-trunk-musl.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-550-trunk-musl.yml -------------------------------------------------------------------------------- /.github/workflows/linux-550-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/linux-550-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/macosx-arm64-530-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/macosx-arm64-530-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/macosx-arm64-540-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/macosx-arm64-540-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/macosx-arm64-550-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/macosx-arm64-550-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/macosx-intel-530-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/macosx-intel-530-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/macosx-intel-540-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/macosx-intel-540-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/macosx-intel-550-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/macosx-intel-550-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/mingw-530-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/mingw-530-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/mingw-530-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/mingw-530-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/mingw-540-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/mingw-540-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/mingw-540-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/mingw-540-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/mingw-550-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/mingw-550-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/mingw-550-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/mingw-550-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/msvc-530-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/msvc-530-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/msvc-530-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/msvc-530-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/msvc-540-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/msvc-540-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/msvc-540-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/msvc-540-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/msvc-550-trunk-bytecode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/msvc-550-trunk-bytecode.yml -------------------------------------------------------------------------------- /.github/workflows/msvc-550-trunk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/msvc-550-trunk.yml -------------------------------------------------------------------------------- /.github/workflows/opam.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/.github/workflows/opam.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *~ 3 | -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/AUTHORS -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/README.md -------------------------------------------------------------------------------- /doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/README.md -------------------------------------------------------------------------------- /doc/example/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/example/dune -------------------------------------------------------------------------------- /doc/example/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) 2 | -------------------------------------------------------------------------------- /doc/example/dune-workspace: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/example/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/example/lin_tests.ml -------------------------------------------------------------------------------- /doc/example/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/example/stm_tests.ml -------------------------------------------------------------------------------- /doc/lin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/lin/dune -------------------------------------------------------------------------------- /doc/lin/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/lin/index.mld -------------------------------------------------------------------------------- /doc/lin/mutable_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/lin/mutable_set.ml -------------------------------------------------------------------------------- /doc/lin/mutable_set_lock.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/lin/mutable_set_lock.ml -------------------------------------------------------------------------------- /doc/paper-examples/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-examples/dune -------------------------------------------------------------------------------- /doc/paper-examples/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) 2 | -------------------------------------------------------------------------------- /doc/paper-examples/dune-workspace: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/paper-examples/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-examples/lin_tests.ml -------------------------------------------------------------------------------- /doc/paper-examples/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-examples/stm_tests.ml -------------------------------------------------------------------------------- /doc/paper-latex/.latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-latex/.latexmkrc -------------------------------------------------------------------------------- /doc/paper-latex/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-latex/README.md -------------------------------------------------------------------------------- /doc/paper-latex/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-latex/biblio.bib -------------------------------------------------------------------------------- /doc/paper-latex/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-latex/macros.tex -------------------------------------------------------------------------------- /doc/paper-latex/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-latex/paper.tex -------------------------------------------------------------------------------- /doc/paper-latex/preamble.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper-latex/preamble.tex -------------------------------------------------------------------------------- /doc/paper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper.md -------------------------------------------------------------------------------- /doc/paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/paper.pdf -------------------------------------------------------------------------------- /doc/stm/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/dune -------------------------------------------------------------------------------- /doc/stm/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/index.mld -------------------------------------------------------------------------------- /doc/stm/mutable_set_v0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/mutable_set_v0.ml -------------------------------------------------------------------------------- /doc/stm/mutable_set_v1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/mutable_set_v1.ml -------------------------------------------------------------------------------- /doc/stm/mutable_set_v2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/mutable_set_v2.ml -------------------------------------------------------------------------------- /doc/stm/mutable_set_v3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/mutable_set_v3.ml -------------------------------------------------------------------------------- /doc/stm/mutable_set_v4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/mutable_set_v4.ml -------------------------------------------------------------------------------- /doc/stm/mutable_set_v5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/stm/mutable_set_v5.ml -------------------------------------------------------------------------------- /doc/util/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/util/dune -------------------------------------------------------------------------------- /doc/util/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/doc/util/index.mld -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/dune-project -------------------------------------------------------------------------------- /dune-workspace: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/STM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM.ml -------------------------------------------------------------------------------- /lib/STM.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM.mli -------------------------------------------------------------------------------- /lib/STM_domain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM_domain.ml -------------------------------------------------------------------------------- /lib/STM_domain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM_domain.mli -------------------------------------------------------------------------------- /lib/STM_sequential.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM_sequential.ml -------------------------------------------------------------------------------- /lib/STM_sequential.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM_sequential.mli -------------------------------------------------------------------------------- /lib/STM_thread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM_thread.ml -------------------------------------------------------------------------------- /lib/STM_thread.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/STM_thread.mli -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/lin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin.ml -------------------------------------------------------------------------------- /lib/lin.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin.mli -------------------------------------------------------------------------------- /lib/lin_domain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin_domain.ml -------------------------------------------------------------------------------- /lib/lin_domain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin_domain.mli -------------------------------------------------------------------------------- /lib/lin_effect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin_effect.ml -------------------------------------------------------------------------------- /lib/lin_effect.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin_effect.mli -------------------------------------------------------------------------------- /lib/lin_thread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin_thread.ml -------------------------------------------------------------------------------- /lib/lin_thread.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/lin_thread.mli -------------------------------------------------------------------------------- /lib/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/util.ml -------------------------------------------------------------------------------- /lib/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/lib/util.mli -------------------------------------------------------------------------------- /multicoretests.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/multicoretests.opam -------------------------------------------------------------------------------- /qcheck-lin.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/qcheck-lin.opam -------------------------------------------------------------------------------- /qcheck-multicoretests-util.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/qcheck-multicoretests-util.opam -------------------------------------------------------------------------------- /qcheck-stm.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/qcheck-stm.opam -------------------------------------------------------------------------------- /src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/README.md -------------------------------------------------------------------------------- /src/array/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/array/dune -------------------------------------------------------------------------------- /src/array/lin_internal_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/array/lin_internal_tests.ml -------------------------------------------------------------------------------- /src/array/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/array/lin_tests.ml -------------------------------------------------------------------------------- /src/array/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/array/stm_tests.ml -------------------------------------------------------------------------------- /src/atomic/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/atomic/dune -------------------------------------------------------------------------------- /src/atomic/lin_internal_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/atomic/lin_internal_tests.ml -------------------------------------------------------------------------------- /src/atomic/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/atomic/lin_tests.ml -------------------------------------------------------------------------------- /src/atomic/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/atomic/stm_tests.ml -------------------------------------------------------------------------------- /src/bigarray/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/bigarray/dune -------------------------------------------------------------------------------- /src/bigarray/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/bigarray/lin_tests.ml -------------------------------------------------------------------------------- /src/bigarray/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/bigarray/stm_tests.ml -------------------------------------------------------------------------------- /src/buffer/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/buffer/dune -------------------------------------------------------------------------------- /src/buffer/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/buffer/stm_tests.ml -------------------------------------------------------------------------------- /src/bytes/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/bytes/dune -------------------------------------------------------------------------------- /src/bytes/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/bytes/lin_tests.ml -------------------------------------------------------------------------------- /src/bytes/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/bytes/stm_tests.ml -------------------------------------------------------------------------------- /src/domain/domain_joingraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/domain/domain_joingraph.ml -------------------------------------------------------------------------------- /src/domain/domain_spawntree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/domain/domain_spawntree.ml -------------------------------------------------------------------------------- /src/domain/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/domain/dune -------------------------------------------------------------------------------- /src/domain/lin_tests_dls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/domain/lin_tests_dls.ml -------------------------------------------------------------------------------- /src/domain/stm_tests_dls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/domain/stm_tests_dls.ml -------------------------------------------------------------------------------- /src/dynarray/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/dynarray/dune -------------------------------------------------------------------------------- /src/dynarray/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/dynarray/lin_tests.ml -------------------------------------------------------------------------------- /src/dynarray/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/dynarray/stm_tests.ml -------------------------------------------------------------------------------- /src/dynlink/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/dynlink/dune -------------------------------------------------------------------------------- /src/dynlink/libA.ml: -------------------------------------------------------------------------------- 1 | let value = 12 2 | -------------------------------------------------------------------------------- /src/dynlink/libB.ml: -------------------------------------------------------------------------------- 1 | let value = 34 2 | -------------------------------------------------------------------------------- /src/dynlink/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/dynlink/lin_tests.ml -------------------------------------------------------------------------------- /src/ephemeron/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/ephemeron/dune -------------------------------------------------------------------------------- /src/ephemeron/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/ephemeron/lin_tests.ml -------------------------------------------------------------------------------- /src/ephemeron/stm_tests_par.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/ephemeron/stm_tests_par.ml -------------------------------------------------------------------------------- /src/ephemeron/stm_tests_seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/ephemeron/stm_tests_seq.ml -------------------------------------------------------------------------------- /src/ephemeron/stm_tests_spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/ephemeron/stm_tests_spec.ml -------------------------------------------------------------------------------- /src/floatarray/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/floatarray/dune -------------------------------------------------------------------------------- /src/floatarray/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/floatarray/lin_tests.ml -------------------------------------------------------------------------------- /src/floatarray/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/floatarray/stm_tests.ml -------------------------------------------------------------------------------- /src/gc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/dune -------------------------------------------------------------------------------- /src/gc/pagesize.ml: -------------------------------------------------------------------------------- 1 | external get : unit -> int = "page_size" 2 | -------------------------------------------------------------------------------- /src/gc/pagesizestub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/pagesizestub.c -------------------------------------------------------------------------------- /src/gc/stm_tests_impl_par.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_impl_par.ml -------------------------------------------------------------------------------- /src/gc/stm_tests_impl_seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_impl_seq.ml -------------------------------------------------------------------------------- /src/gc/stm_tests_impl_seq_child.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_impl_seq_child.ml -------------------------------------------------------------------------------- /src/gc/stm_tests_par.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_par.ml -------------------------------------------------------------------------------- /src/gc/stm_tests_par_stress.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_par_stress.ml -------------------------------------------------------------------------------- /src/gc/stm_tests_seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_seq.ml -------------------------------------------------------------------------------- /src/gc/stm_tests_seq_child.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_seq_child.ml -------------------------------------------------------------------------------- /src/gc/stm_tests_spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/gc/stm_tests_spec.ml -------------------------------------------------------------------------------- /src/hashtbl/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/hashtbl/dune -------------------------------------------------------------------------------- /src/hashtbl/lin_internal_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/hashtbl/lin_internal_tests.ml -------------------------------------------------------------------------------- /src/hashtbl/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/hashtbl/lin_tests.ml -------------------------------------------------------------------------------- /src/hashtbl/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/hashtbl/stm_tests.ml -------------------------------------------------------------------------------- /src/io/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/io/dune -------------------------------------------------------------------------------- /src/io/lin_internal_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/io/lin_internal_tests.ml -------------------------------------------------------------------------------- /src/io/lin_tests_domain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/io/lin_tests_domain.ml -------------------------------------------------------------------------------- /src/io/lin_tests_spec_io.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/io/lin_tests_spec_io.ml -------------------------------------------------------------------------------- /src/io/lin_tests_thread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/io/lin_tests_thread.ml -------------------------------------------------------------------------------- /src/io/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/io/stm_tests.ml -------------------------------------------------------------------------------- /src/lazy/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/lazy/dune -------------------------------------------------------------------------------- /src/lazy/lin_internal_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/lazy/lin_internal_tests.ml -------------------------------------------------------------------------------- /src/lazy/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/lazy/lin_tests.ml -------------------------------------------------------------------------------- /src/lazy/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/lazy/stm_tests.ml -------------------------------------------------------------------------------- /src/neg_tests/CList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/CList.ml -------------------------------------------------------------------------------- /src/neg_tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/dune -------------------------------------------------------------------------------- /src/neg_tests/lin_internal_tests_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_internal_tests_common.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_internal_tests_domain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_internal_tests_domain.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_internal_tests_effect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_internal_tests_effect.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_internal_tests_thread_conclist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_internal_tests_thread_conclist.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_internal_tests_thread_ref.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_internal_tests_thread_ref.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_tests_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_tests_common.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_tests_domain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_tests_domain.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_tests_effect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_tests_effect.ml -------------------------------------------------------------------------------- /src/neg_tests/lin_tests_thread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/lin_tests_thread.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_clist_domain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_clist_domain.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_clist_sequential.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_clist_sequential.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_clist_spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_clist_spec.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_clist_thread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_clist_thread.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_ref_domain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_ref_domain.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_ref_domain_asym.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_ref_domain_asym.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_ref_sequential.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_ref_sequential.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_ref_spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_ref_spec.ml -------------------------------------------------------------------------------- /src/neg_tests/stm_tests_ref_thread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/neg_tests/stm_tests_ref_thread.ml -------------------------------------------------------------------------------- /src/queue/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/queue/dune -------------------------------------------------------------------------------- /src/queue/lin_internal_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/queue/lin_internal_tests.ml -------------------------------------------------------------------------------- /src/queue/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/queue/lin_tests.ml -------------------------------------------------------------------------------- /src/semaphore/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/semaphore/dune -------------------------------------------------------------------------------- /src/semaphore/stm_tests_binary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/semaphore/stm_tests_binary.ml -------------------------------------------------------------------------------- /src/semaphore/stm_tests_counting.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/semaphore/stm_tests_counting.ml -------------------------------------------------------------------------------- /src/stack/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/stack/dune -------------------------------------------------------------------------------- /src/stack/lin_internal_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/stack/lin_internal_tests.ml -------------------------------------------------------------------------------- /src/stack/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/stack/lin_tests.ml -------------------------------------------------------------------------------- /src/statistics/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/statistics/README.md -------------------------------------------------------------------------------- /src/statistics/dune: -------------------------------------------------------------------------------- 1 | (executable 2 | (name z_test)) 3 | -------------------------------------------------------------------------------- /src/statistics/z_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/statistics/z_test.ml -------------------------------------------------------------------------------- /src/sys/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/sys/dune -------------------------------------------------------------------------------- /src/sys/stm_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/sys/stm_tests.ml -------------------------------------------------------------------------------- /src/thread/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/thread/dune -------------------------------------------------------------------------------- /src/thread/thread_createtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/thread/thread_createtree.ml -------------------------------------------------------------------------------- /src/thread/thread_joingraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/thread/thread_joingraph.ml -------------------------------------------------------------------------------- /src/threadomain/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/threadomain/dune -------------------------------------------------------------------------------- /src/threadomain/threadomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/threadomain/threadomain.ml -------------------------------------------------------------------------------- /src/weak/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/dune -------------------------------------------------------------------------------- /src/weak/lin_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/lin_tests.ml -------------------------------------------------------------------------------- /src/weak/lin_tests_hashset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/lin_tests_hashset.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_hashset_par.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_hashset_par.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_hashset_par_stress.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_hashset_par_stress.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_hashset_seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_hashset_seq.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_hashset_spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_hashset_spec.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_weak_par.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_weak_par.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_weak_par_stress.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_weak_par_stress.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_weak_seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_weak_seq.ml -------------------------------------------------------------------------------- /src/weak/stm_tests_weak_spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/src/weak/stm_tests_weak_spec.ml -------------------------------------------------------------------------------- /test/cleanup_lin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/cleanup_lin.ml -------------------------------------------------------------------------------- /test/cleanup_stm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/cleanup_stm.ml -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/dune -------------------------------------------------------------------------------- /test/mutable_set_v4.expected.32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/mutable_set_v4.expected.32 -------------------------------------------------------------------------------- /test/mutable_set_v4.expected.64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/mutable_set_v4.expected.64 -------------------------------------------------------------------------------- /test/mutable_set_v5.expected.32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/mutable_set_v5.expected.32 -------------------------------------------------------------------------------- /test/mutable_set_v5.expected.64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/mutable_set_v5.expected.64 -------------------------------------------------------------------------------- /test/mutable_set_v5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/mutable_set_v5.ml -------------------------------------------------------------------------------- /test/stm_next_state_exc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/stm_next_state_exc.ml -------------------------------------------------------------------------------- /test/util_pp.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/util_pp.expected -------------------------------------------------------------------------------- /test/util_pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/util_pp.ml -------------------------------------------------------------------------------- /test/util_pp_trunc150.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/util_pp_trunc150.expected -------------------------------------------------------------------------------- /test/util_pp_trunc5.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/util_pp_trunc5.expected -------------------------------------------------------------------------------- /test/util_pp_trunc79.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/util_pp_trunc79.expected -------------------------------------------------------------------------------- /test/util_print_test.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/util_print_test.expected -------------------------------------------------------------------------------- /test/util_print_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/test/util_print_test.ml -------------------------------------------------------------------------------- /tools/cheapp.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/tools/cheapp.awk -------------------------------------------------------------------------------- /tools/cheapp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocaml-multicore/multicoretests/HEAD/tools/cheapp.sh --------------------------------------------------------------------------------