├── .editorconfig ├── .github ├── dependabot.yml └── workflows │ └── main.yml ├── .gitignore ├── .markdownlint.json ├── .ocamlformat ├── CHANGELOG.md ├── LICENSE.md ├── Makefile ├── README.md ├── TODO.md ├── dune ├── dune-project ├── examples ├── Makefile ├── buffer_ex.ml ├── defstrat.ml ├── dune ├── stupid_ga.ml └── weak_ex.ml ├── lib ├── Makefile ├── dune ├── nopres_impl.ml ├── nopres_intf.ml ├── pres_impl.ml ├── pres_intf.ml ├── res.ml ├── res.mli ├── strat.ml ├── weak_impl.ml └── weak_intf.ml └── res.opam /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .*.swp 2 | .merlin 3 | *.install 4 | _build 5 | -------------------------------------------------------------------------------- /.markdownlint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/.markdownlint.json -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/TODO.md -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/dune-project -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/buffer_ex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/examples/buffer_ex.ml -------------------------------------------------------------------------------- /examples/defstrat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/examples/defstrat.ml -------------------------------------------------------------------------------- /examples/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/examples/dune -------------------------------------------------------------------------------- /examples/stupid_ga.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/examples/stupid_ga.ml -------------------------------------------------------------------------------- /examples/weak_ex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/examples/weak_ex.ml -------------------------------------------------------------------------------- /lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/Makefile -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- 1 | (library 2 | (public_name res)) 3 | -------------------------------------------------------------------------------- /lib/nopres_impl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/nopres_impl.ml -------------------------------------------------------------------------------- /lib/nopres_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/nopres_intf.ml -------------------------------------------------------------------------------- /lib/pres_impl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/pres_impl.ml -------------------------------------------------------------------------------- /lib/pres_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/pres_intf.ml -------------------------------------------------------------------------------- /lib/res.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/res.ml -------------------------------------------------------------------------------- /lib/res.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/res.mli -------------------------------------------------------------------------------- /lib/strat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/strat.ml -------------------------------------------------------------------------------- /lib/weak_impl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/weak_impl.ml -------------------------------------------------------------------------------- /lib/weak_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/lib/weak_intf.ml -------------------------------------------------------------------------------- /res.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmottl/res/HEAD/res.opam --------------------------------------------------------------------------------