├── .github └── workflows │ └── main.yml ├── .gitignore ├── CHANGES.md ├── LICENSE.md ├── README.md ├── app ├── conex_key.ml ├── conex_mc.ml ├── conex_opts.ml ├── conex_root.ml ├── conex_snapshot.ml ├── conex_targets.ml ├── conex_timestamp.ml ├── conex_verify_app.ml ├── conex_verify_mirage_crypto.ml ├── conex_verify_openssl.ml └── dune ├── conex-mirage-crypto.opam ├── conex.opam ├── dune-project ├── mirage-crypto ├── conex_mirage_crypto.ml ├── conex_mirage_crypto.mli └── dune ├── openssl ├── conex_openssl.ml ├── conex_openssl.mli └── dune ├── src ├── conex.ml ├── conex.mli ├── conex_diff_provider.ml ├── conex_diff_provider.mli ├── conex_io.ml ├── conex_io.mli ├── conex_opam_encoding.ml ├── conex_opam_encoding.mli ├── conex_private.ml ├── conex_private.mli ├── conex_repository.ml ├── conex_repository.mli ├── conex_resource.ml ├── conex_resource.mli ├── conex_utils.ml ├── conex_utils.mli ├── conex_verify.ml ├── conex_verify.mli └── dune ├── test ├── common.ml ├── dune ├── test_conex.ml ├── test_path.ml ├── test_provider.ml ├── test_string.ml ├── test_tree.ml ├── test_uint.ml └── tests.ml └── unix ├── conex_unix_persistency.ml ├── conex_unix_persistency.mli ├── conex_unix_private_key.ml ├── conex_unix_private_key.mli ├── conex_unix_provider.ml ├── conex_unix_provider.mli └── dune /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | coverage/ 3 | bisect*.out 4 | .merlin 5 | *.install 6 | *.native 7 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/README.md -------------------------------------------------------------------------------- /app/conex_key.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_key.ml -------------------------------------------------------------------------------- /app/conex_mc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_mc.ml -------------------------------------------------------------------------------- /app/conex_opts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_opts.ml -------------------------------------------------------------------------------- /app/conex_root.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_root.ml -------------------------------------------------------------------------------- /app/conex_snapshot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_snapshot.ml -------------------------------------------------------------------------------- /app/conex_targets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_targets.ml -------------------------------------------------------------------------------- /app/conex_timestamp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_timestamp.ml -------------------------------------------------------------------------------- /app/conex_verify_app.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_verify_app.ml -------------------------------------------------------------------------------- /app/conex_verify_mirage_crypto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_verify_mirage_crypto.ml -------------------------------------------------------------------------------- /app/conex_verify_openssl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/conex_verify_openssl.ml -------------------------------------------------------------------------------- /app/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/app/dune -------------------------------------------------------------------------------- /conex-mirage-crypto.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/conex-mirage-crypto.opam -------------------------------------------------------------------------------- /conex.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/conex.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/dune-project -------------------------------------------------------------------------------- /mirage-crypto/conex_mirage_crypto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/mirage-crypto/conex_mirage_crypto.ml -------------------------------------------------------------------------------- /mirage-crypto/conex_mirage_crypto.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/mirage-crypto/conex_mirage_crypto.mli -------------------------------------------------------------------------------- /mirage-crypto/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/mirage-crypto/dune -------------------------------------------------------------------------------- /openssl/conex_openssl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/openssl/conex_openssl.ml -------------------------------------------------------------------------------- /openssl/conex_openssl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/openssl/conex_openssl.mli -------------------------------------------------------------------------------- /openssl/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/openssl/dune -------------------------------------------------------------------------------- /src/conex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex.ml -------------------------------------------------------------------------------- /src/conex.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex.mli -------------------------------------------------------------------------------- /src/conex_diff_provider.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_diff_provider.ml -------------------------------------------------------------------------------- /src/conex_diff_provider.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_diff_provider.mli -------------------------------------------------------------------------------- /src/conex_io.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_io.ml -------------------------------------------------------------------------------- /src/conex_io.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_io.mli -------------------------------------------------------------------------------- /src/conex_opam_encoding.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_opam_encoding.ml -------------------------------------------------------------------------------- /src/conex_opam_encoding.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_opam_encoding.mli -------------------------------------------------------------------------------- /src/conex_private.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_private.ml -------------------------------------------------------------------------------- /src/conex_private.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_private.mli -------------------------------------------------------------------------------- /src/conex_repository.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_repository.ml -------------------------------------------------------------------------------- /src/conex_repository.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_repository.mli -------------------------------------------------------------------------------- /src/conex_resource.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_resource.ml -------------------------------------------------------------------------------- /src/conex_resource.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_resource.mli -------------------------------------------------------------------------------- /src/conex_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_utils.ml -------------------------------------------------------------------------------- /src/conex_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_utils.mli -------------------------------------------------------------------------------- /src/conex_verify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_verify.ml -------------------------------------------------------------------------------- /src/conex_verify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/conex_verify.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/src/dune -------------------------------------------------------------------------------- /test/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/common.ml -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/dune -------------------------------------------------------------------------------- /test/test_conex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/test_conex.ml -------------------------------------------------------------------------------- /test/test_path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/test_path.ml -------------------------------------------------------------------------------- /test/test_provider.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/test_provider.ml -------------------------------------------------------------------------------- /test/test_string.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/test_string.ml -------------------------------------------------------------------------------- /test/test_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/test_tree.ml -------------------------------------------------------------------------------- /test/test_uint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/test_uint.ml -------------------------------------------------------------------------------- /test/tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/test/tests.ml -------------------------------------------------------------------------------- /unix/conex_unix_persistency.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/unix/conex_unix_persistency.ml -------------------------------------------------------------------------------- /unix/conex_unix_persistency.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/unix/conex_unix_persistency.mli -------------------------------------------------------------------------------- /unix/conex_unix_private_key.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/unix/conex_unix_private_key.ml -------------------------------------------------------------------------------- /unix/conex_unix_private_key.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/unix/conex_unix_private_key.mli -------------------------------------------------------------------------------- /unix/conex_unix_provider.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/unix/conex_unix_provider.ml -------------------------------------------------------------------------------- /unix/conex_unix_provider.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/unix/conex_unix_provider.mli -------------------------------------------------------------------------------- /unix/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/conex/HEAD/unix/dune --------------------------------------------------------------------------------