Inline some hot path functions. The old NOINLINE pragmas where a leftover from V1, and not applicable to V2 since we don't run unsafeNoThunks between states.
The mempool reader is not used anymore.
Merge prop_handleReceivedTxs_buffersAndDropsOmitted, prop_handleReceivedTxs_dropsLateBodies, prop_handleReceivedTxs_penalizesOmittedAfterPrune into prop_handleReceivedTxs. Improve tests to use arbitrary shared state, local state and a list of TXs.
Merge prop_handleReceivedTxIds_newEntries, prop_handleReceivedTxIds_knownToMempool and prop_handleReceivedTxIds_retainedIsLocalOnly into a single property based test that exercise all cases.
ChurnMode refactored
This way it's consistent with `PraosFetchMode` constructor.
Use a newtype for `ChurnMode`. ChurnMode follows `FetchMode`, hence a newtype actually makes more sense than a separate data type.
Bump maxNumTxIdsToRequest to 6 and maxOutstandingTxBatchesPerPeer to 4.
Karknu/bots
Fix the cabal examples so that they work
Handle fd/fdfind differense in run-stylish-haskell.sh just as the other scripts do.
Use a newtype for `ChurnMode`. ChurnMode follows `FetchMode`, hence a newtype actually makes more sense than a separate data type.
Move cleanup of expired retained TXs and orphaned TXs to the counter thread.
Use a newtype for `ChurnMode`. ChurnMode follows `FetchMode`, hence a newtype actually makes more sense than a separate data type.
Mark TXs as beeing submitted to the mempool in applySubmitChoice. With this change the immoral check to see if a TX is already in the mempool can be removed and we don't have to create an extra snapshot.
The provided Eq/Ord instance for txid allocates memory. HasRawTxId lets the network layer convert to a type without that problems for our interal data structures. XXX Waiting on feedback from consensus.
build(deps): bump actions/deploy-pages from 4 to 5
build(deps): bump actions/upload-pages-artifact from 4 to 5
