Build History for branch/main

Use `string` instead of `Cstruct.t` for `recv` and `send` (higher-level user API) (#55) -- `handle` still uses `Cstruct.t` * Use strings instead of Cstruct.t for the higher-level recv and send functions (for clients to use for receiving and sending data) * The `handle` function, which is called for received segments, still uses `Cstruct.t` (for various purposes, including checksum computation, and realizing the MirageOS API uses Cstruct.t) --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

Merge pull request #52 from dinosaure/seq Sequence.t is an unboxed int

Use a rope instead of reversed list (#54) * Use a rope instead of reversed list * Fix rope * Rename internal sub of rope into unsafe_sub * Delete useless comments (due to the change to rope) * Add some simple tests for rope * Remove the off parameter for Rope.sub and rename it to Rope.chop * Add documentation about rope module

Optimisation when we receive a packet and we would like to compute `fin_trimmed` (#50) * Optimisation when we receive a packet and we would like to compute fin_trimmed * Update src/input.ml Co-authored-by: Hannes Mehnert <hannes@mehnert.org> --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

fix comment

more tests and fixes

rework reassembly

add an explicit not_found error, for which no log is printed in utcp_mirage

a bit more reasonable error message

add a guard to check l >= 2, fixes #48

debug(39): print the connection ID that ran into the assertion

Use bytes instead of cstruct to construct pseudoheader and compute checksum (#44) * Use bytes instead of cstruct to construct pseudoheader and compute checksum * Use the new API of checksum.ml into segment.ml * checksum: make arguments mandatory --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

Merge pull request #46 from dinosaure/re-mono Monomorphize some min/max functions

Merge pull request #45 from dinosaure/mono Use Sequence.greater instead of polymorphic caml_greater

Merge pull request #42 from robur-coop/adjust-to-spec Adjust code to specification, the bsd_fast_path is triggered when ack <= snd_max

delay the guards to avoid format strings being computed (#43) * delay the guards to avoid format strings being computed * minor tweak: revert API change

Merge pull request #40 from dinosaure/fix-utcp Fix conjunction in tcp_output_really_helper, adjust to specification

Merge pull request #38 from dinosaure/avoid-unsigned-to-int Avoid an 'a option allocation when we cast a int32 into a int on 64-bit architecture

Defunctorize few modules (ARP & IP) (#37) * Defunctorize few modules (R, ARP & IP) * Update to mirage-crypto-rng 1.2.0 --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

Merge pull request #36 from robur-coop/mc-1 remove mirage-random, use mirage-crypto-rng-mirage >= 1.0.0

update to mirage-flow 4.0.0 (val shutdown) API and tcpip 8.0.1 (val src) API

mirage: remove debug printf