├── .gitignore ├── .travis.yml ├── CHANGES.md ├── LICENSE.md ├── README.md ├── dune-project ├── otr.opam ├── src ├── dune ├── otr.ml ├── otr.mli ├── otr_ake.ml ├── otr_ake.mli ├── otr_builder.ml ├── otr_builder.mli ├── otr_crypto.ml ├── otr_crypto.mli ├── otr_packet.ml ├── otr_packet.mli ├── otr_parser.ml ├── otr_parser.mli ├── otr_ratchet.ml ├── otr_ratchet.mli ├── otr_smp.ml ├── otr_smp.mli ├── otr_state.ml └── otr_state.mli └── tests ├── dune └── feedback.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 1.0) 2 | (name otr) 3 | -------------------------------------------------------------------------------- /otr.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/otr.opam -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/dune -------------------------------------------------------------------------------- /src/otr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr.ml -------------------------------------------------------------------------------- /src/otr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr.mli -------------------------------------------------------------------------------- /src/otr_ake.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_ake.ml -------------------------------------------------------------------------------- /src/otr_ake.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_ake.mli -------------------------------------------------------------------------------- /src/otr_builder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_builder.ml -------------------------------------------------------------------------------- /src/otr_builder.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_builder.mli -------------------------------------------------------------------------------- /src/otr_crypto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_crypto.ml -------------------------------------------------------------------------------- /src/otr_crypto.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_crypto.mli -------------------------------------------------------------------------------- /src/otr_packet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_packet.ml -------------------------------------------------------------------------------- /src/otr_packet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_packet.mli -------------------------------------------------------------------------------- /src/otr_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_parser.ml -------------------------------------------------------------------------------- /src/otr_parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_parser.mli -------------------------------------------------------------------------------- /src/otr_ratchet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_ratchet.ml -------------------------------------------------------------------------------- /src/otr_ratchet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_ratchet.mli -------------------------------------------------------------------------------- /src/otr_smp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_smp.ml -------------------------------------------------------------------------------- /src/otr_smp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_smp.mli -------------------------------------------------------------------------------- /src/otr_state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_state.ml -------------------------------------------------------------------------------- /src/otr_state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/src/otr_state.mli -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- 1 | (test 2 | (name feedback) 3 | (libraries otr mirage-crypto-pk)) 4 | -------------------------------------------------------------------------------- /tests/feedback.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hannesm/ocaml-otr/HEAD/tests/feedback.ml --------------------------------------------------------------------------------