coot

Add logging to `Ouroboros.Network.Server.Socket`

1

Log all application exceptions, accepted connections etc, errors which are thrown by `accept` call.

Write better generators for `tracePropertyInFlight`, to uncover #973 which was fixed in #1001.

Policy for limitting rate of accepted connections

1

And related abuse/DoS resistance: * limiting connections or rate of connections per IP

Add a coverage tests for MsgNoBlock and in-flight stats

1

The only remaining part of #1116 is to check that the tests involve `MsgNoBlock`. Quickcheck's [cover](https://hackage.haskell.org/package/QuickCheck-2.10.0.1/docs/Test-QuickCheck-Property.html#v:cover) can fit this purpose quite nicely.

See the todos in [Ouroboros.Network.BlockFetch](https://github.com/input-output-hk/ouroboros-network/blob/master/ouroboros-network/src/Ouroboros/Network/BlockFetch.hs#L234).

It would be nice to tests that: * [ ] `decodeMuxSDU` returns `MuxSDU`s in normal form * [ ] `Socket.recv` returns results in normal form As suggested by @dcoutts [here](https://github.com/input-output-hk/ouroboros-network/pull/1084#discussion_r329674266)...

The network-mux egress could benefit from abstracting the queuing facility that is used there. Abstracting this out would allow us to test fairness properties in isolation. Below is a snippet...

This is an extension of #1362.

Network connectivity API

1

A home user wants to see a network connection status on Daedalus so that he/she knows the state of the network connection. If the user receives a notification that they...