package utcp

Build not yet checked
  1. Overview
  2. No Docs
An implementation of TCP (Transmission Control Protocol) in OCaml

Install 

dune-project
 Dependency

git.robur.coop Edit opam file Versions (10)

Authors

  1. R
    Robur <team@robur.coop>

Maintainers

  1. R
    Robur <team@robur.coop>

Sources

utcp-0.0.10.tbz
sha512=38983d3617548888767755690df51d3868047fe017152cd582e5e87ee36b6be10aa10abd425cbc1cd6615b3d99f65c5e806c2f3c175a17191731eb6805fe7186

Description

µTCP is an implementation of the Transmission Control Protocol (RFC 793) in OCaml. TCP is widely used on the Internet today.

This implementation is based on the research project Network Semantics (https://www.cl.cam.ac.uk/~pes20/Netsem/) which developed a rigorous test oracle specification and validation for TCP/IP and the Sockets API (also see the JACM paper http://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf) in HOL4. The implementation does not adhere to the specification, since some features of TCP that are rarely used are not implemented (such as the urgent flag and urgent pointers).

The target of this opam package is the MirageOS (https://mirageos.org) unikernel operating system.

Added to opam-repository:

Dependencies (17)

  1. tcpip >= "9.0.0"
  2. mirage-mtime >= "5.0.0"
  3. mirage-sleep >= "4.0.0"
  4. lwt >= "5.4.2"
  5. base64 >= "3.5.1"
  6. mirage-crypto-rng >= "1.2.0"
  7. tally
  8. mtime >= "1.4.0"
  9. randomconv >= "0.2.0"
  10. logs >= "0.7.0"
  11. ipaddr-cstruct >= "5.2.0"
  12. ipaddr >= "5.2.0"
  13. fmt >= "0.8.7"
  14. duration >= "0.2.0"
  15. cstruct >= "6.0.1"
  16. dune >= "2.7.0"
  17. ocaml >= "4.13.0"

Dev Dependencies (11)

  1. pcap-format >= "0.6.0" & with-dev-setup
  2. mirage-unix >= "5.0.0" & with-dev-setup
  3. arp >= "4.0.0" & with-dev-setup
  4. ethernet >= "2.2.1" & with-dev-setup
  5. mirage-net-unix >= "2.8.0" & with-dev-setup
  6. cmdliner >= "1.1.0" & with-dev-setup
  7. bechamel-js with-test
  8. bechamel with-test
  9. ohex with-test
  10. crowbar >= "0.2.1" & with-test
  11. alcotest >= "1.5.0" & with-test

Optional Dependencies

None

Conflicts

None

Build status

Results of building utcp with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

This version is not in the latest run; the versions below are.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.0.9 n/a good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure