├── .github └── workflows │ └── main.yml ├── .gitignore ├── .ocamlformat ├── .travis.yml ├── Dockerfile.elit ├── Dockerfile.signer ├── README.md ├── bin ├── dune ├── lipap.ml ├── mti_gf.ml └── spf.ml ├── dune-project ├── lib ├── authentication.ml ├── authentication.mli ├── dune ├── elit.ml ├── elit.mli ├── hm.ml ├── hm.mli ├── lipap.ml ├── lipap.mli ├── logic.ml ├── mechanism.ml ├── mechanism.mli ├── msgd.ml ├── msgd.mli ├── mti_gf.ml ├── mti_gf.mli ├── mxs.ml ├── mxs.mli ├── nec.ml ├── nec.mli ├── ptt.ml ├── ptt_aggregate.ml ├── ptt_aggregate.mli ├── ptt_common.ml ├── ptt_fake_dns.ml ├── ptt_fake_dns.mli ├── ptt_flow.ml ├── ptt_flow.mli ├── ptt_map.ml ├── ptt_map.mli ├── ptt_sendmail.ml ├── ptt_sendmail.mli ├── ptt_server.ml ├── ptt_server.mli ├── ptt_value.ml ├── ptt_value.mli ├── relay.ml ├── relay.mli ├── sMTP.ml ├── sMTP.mli ├── sSMTP.ml ├── sSMTP.mli ├── spartacus.ml ├── spartacus.mli ├── submission.ml └── submission.mli ├── ptt-bin.opam ├── ptt.opam ├── test ├── dune ├── server.key ├── server.pem └── test.ml └── unikernel ├── .ocamlformat ├── elit ├── config.ml └── unikernel.ml ├── signer ├── config.ml └── unikernel.ml └── spamfilter ├── config.ml └── unikernel.ml /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/.ocamlformat -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/.travis.yml -------------------------------------------------------------------------------- /Dockerfile.elit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/Dockerfile.elit -------------------------------------------------------------------------------- /Dockerfile.signer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/Dockerfile.signer -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/README.md -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/lipap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/bin/lipap.ml -------------------------------------------------------------------------------- /bin/mti_gf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/bin/mti_gf.ml -------------------------------------------------------------------------------- /bin/spf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/bin/spf.ml -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.0) 2 | (allow_approximate_merlin) 3 | -------------------------------------------------------------------------------- /lib/authentication.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/authentication.ml -------------------------------------------------------------------------------- /lib/authentication.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/authentication.mli -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/elit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/elit.ml -------------------------------------------------------------------------------- /lib/elit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/elit.mli -------------------------------------------------------------------------------- /lib/hm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/hm.ml -------------------------------------------------------------------------------- /lib/hm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/hm.mli -------------------------------------------------------------------------------- /lib/lipap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/lipap.ml -------------------------------------------------------------------------------- /lib/lipap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/lipap.mli -------------------------------------------------------------------------------- /lib/logic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/logic.ml -------------------------------------------------------------------------------- /lib/mechanism.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/mechanism.ml -------------------------------------------------------------------------------- /lib/mechanism.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/mechanism.mli -------------------------------------------------------------------------------- /lib/msgd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/msgd.ml -------------------------------------------------------------------------------- /lib/msgd.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/msgd.mli -------------------------------------------------------------------------------- /lib/mti_gf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/mti_gf.ml -------------------------------------------------------------------------------- /lib/mti_gf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/mti_gf.mli -------------------------------------------------------------------------------- /lib/mxs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/mxs.ml -------------------------------------------------------------------------------- /lib/mxs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/mxs.mli -------------------------------------------------------------------------------- /lib/nec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/nec.ml -------------------------------------------------------------------------------- /lib/nec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/nec.mli -------------------------------------------------------------------------------- /lib/ptt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt.ml -------------------------------------------------------------------------------- /lib/ptt_aggregate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_aggregate.ml -------------------------------------------------------------------------------- /lib/ptt_aggregate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_aggregate.mli -------------------------------------------------------------------------------- /lib/ptt_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_common.ml -------------------------------------------------------------------------------- /lib/ptt_fake_dns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_fake_dns.ml -------------------------------------------------------------------------------- /lib/ptt_fake_dns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_fake_dns.mli -------------------------------------------------------------------------------- /lib/ptt_flow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_flow.ml -------------------------------------------------------------------------------- /lib/ptt_flow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_flow.mli -------------------------------------------------------------------------------- /lib/ptt_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_map.ml -------------------------------------------------------------------------------- /lib/ptt_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_map.mli -------------------------------------------------------------------------------- /lib/ptt_sendmail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_sendmail.ml -------------------------------------------------------------------------------- /lib/ptt_sendmail.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_sendmail.mli -------------------------------------------------------------------------------- /lib/ptt_server.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_server.ml -------------------------------------------------------------------------------- /lib/ptt_server.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_server.mli -------------------------------------------------------------------------------- /lib/ptt_value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_value.ml -------------------------------------------------------------------------------- /lib/ptt_value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/ptt_value.mli -------------------------------------------------------------------------------- /lib/relay.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/relay.ml -------------------------------------------------------------------------------- /lib/relay.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/relay.mli -------------------------------------------------------------------------------- /lib/sMTP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/sMTP.ml -------------------------------------------------------------------------------- /lib/sMTP.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/sMTP.mli -------------------------------------------------------------------------------- /lib/sSMTP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/sSMTP.ml -------------------------------------------------------------------------------- /lib/sSMTP.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/sSMTP.mli -------------------------------------------------------------------------------- /lib/spartacus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/spartacus.ml -------------------------------------------------------------------------------- /lib/spartacus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/spartacus.mli -------------------------------------------------------------------------------- /lib/submission.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/submission.ml -------------------------------------------------------------------------------- /lib/submission.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/lib/submission.mli -------------------------------------------------------------------------------- /ptt-bin.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/ptt-bin.opam -------------------------------------------------------------------------------- /ptt.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/ptt.opam -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/test/dune -------------------------------------------------------------------------------- /test/server.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/test/server.key -------------------------------------------------------------------------------- /test/server.pem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/test/server.pem -------------------------------------------------------------------------------- /test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/test/test.ml -------------------------------------------------------------------------------- /unikernel/.ocamlformat: -------------------------------------------------------------------------------- 1 | disable=true 2 | -------------------------------------------------------------------------------- /unikernel/elit/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/unikernel/elit/config.ml -------------------------------------------------------------------------------- /unikernel/elit/unikernel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/unikernel/elit/unikernel.ml -------------------------------------------------------------------------------- /unikernel/signer/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/unikernel/signer/config.ml -------------------------------------------------------------------------------- /unikernel/signer/unikernel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/unikernel/signer/unikernel.ml -------------------------------------------------------------------------------- /unikernel/spamfilter/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/unikernel/spamfilter/config.ml -------------------------------------------------------------------------------- /unikernel/spamfilter/unikernel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/ptt/HEAD/unikernel/spamfilter/unikernel.ml --------------------------------------------------------------------------------