Merge pull request #45 from dinosaure/mono

Merge pull request #42 from robur-coop/adjust-to-spec

delay the guards to avoid format strings being computed (#43)

minor tweak: revert API change

delay the guards to avoid format strings being computed

Adjust code to specification, the bsd_fast_path is triggered when ack…

Merge pull request #40 from dinosaure/fix-utcp

Merge pull request #38 from dinosaure/avoid-unsigned-to-int

Defunctorize few modules (ARP & IP) (#37)

Merge pull request #36 from robur-coop/mc-1

require mtime 1.4.0+ for min_stamp

add mirage-crypto-rng dependency

mark as unavailable on 32 bit platforms

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 s…

mirage: remove debug printf

state: each conn carries two notify around

mirage: sleep after the timer executed

mirage: some basic metrics for the maps that are used

store only up to sndbufsize in the send queue

metrics: add rcvq and sndq size

deliver_in_3: allow outs and outs' being non-empty, and append them

metrics: also count timer invocations

record metrics about rules which have been used

State.pp: output timers with relative time when they will fire

Params: fix backoff arrays. these are factors, not numbers