├── .gitignore ├── .ocamlformat ├── LICENSE ├── README.md ├── dune-project ├── mcavl.opam ├── mcavl.opam.template ├── src ├── core.ml ├── dune ├── mcavl.ml ├── mcavl.mli ├── mcmap.ml ├── mcset.ml ├── pure.ml └── s.ml └── tests ├── bench.ml ├── dune ├── qc_map.ml ├── qc_set.ml ├── qclin_set.ml ├── test_mc.ml ├── test_seq.ml ├── test_view.ml └── tests.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/.ocamlformat -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/dune-project -------------------------------------------------------------------------------- /mcavl.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/mcavl.opam -------------------------------------------------------------------------------- /mcavl.opam.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/mcavl.opam.template -------------------------------------------------------------------------------- /src/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/src/core.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- 1 | (library 2 | (public_name mcavl)) 3 | -------------------------------------------------------------------------------- /src/mcavl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/src/mcavl.ml -------------------------------------------------------------------------------- /src/mcavl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/src/mcavl.mli -------------------------------------------------------------------------------- /src/mcmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/src/mcmap.ml -------------------------------------------------------------------------------- /src/mcset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/src/mcset.ml -------------------------------------------------------------------------------- /src/pure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/src/pure.ml -------------------------------------------------------------------------------- /src/s.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/src/s.ml -------------------------------------------------------------------------------- /tests/bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/bench.ml -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/qc_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/qc_map.ml -------------------------------------------------------------------------------- /tests/qc_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/qc_set.ml -------------------------------------------------------------------------------- /tests/qclin_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/qclin_set.ml -------------------------------------------------------------------------------- /tests/test_mc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/test_mc.ml -------------------------------------------------------------------------------- /tests/test_seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/test_seq.ml -------------------------------------------------------------------------------- /tests/test_view.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/test_view.ml -------------------------------------------------------------------------------- /tests/tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/mcavl/HEAD/tests/tests.ml --------------------------------------------------------------------------------