Cardano Updates

apply specialisation in doc/default.nix

make demo-playground build

block fetch uses BlockPoint

This makes more sense. Prior to this patch, you would never fetch SlotNo 0 with GenesisHash. That block is never (according to the model) a valid extension of any chain. Now, the fact that you never fetch this is in the type: BlockPoint does not include Origin.

better Point type factoring part 2

ouroboros-consensus builds and tests pass

Ouroboros.Network.Chain.validExtension has been changed. Previously it did not allow any block to have SlotNo 0, reserving this as the slot occupied by the genesis block, which is not a block at all.

DEV demo-playground: traces all around

DEV demo-playground: traces all around

Rename the up and nodeId to peer type variable

All three are used in various places to indicate the same notion. Let’s use peer as defined in block fetch logic consistently across consensus, demo-playground and test-consensus.

conditional compilation of WIP and relase version of network-pdf

conditional compilation of WIP and relase version of network-pdf

demo-playground: update proposal/vote submission PoC

demo-playground: update proposal/vote submission PoC

demo-playground: update proposal/vote submission PoC

demo-playground: update proposal/vote submission PoC

Merge #637

637: Split the node network layer out of the node kernel r=coot a=dcoutts

This should be a pure refactoring, with no changes. It takes the network interface initialisation out of the NodeKernel and moves it into its own layer which can be constructed from the NodeKernel.

This is another step in the direction of fully integrating the remaining network layer features (mux, version negotiation etc).

Remove versions type variable from consensusNetworkApps

Versions wrapper can be reintroduced using the functor instance of ‘SharedState’.

Use different bytes for each consensus mini-protocol

add handshake protocol to documentation and rebase on master

Merge #639

639: Add handshake protocol to cddl tests r=MarcFontaine a=MarcFontaine

This PR adds the handshake protocol to messages.cddl and the cddl tests.

add ihaskell-notebook to the CI builds

demo-playground: make spawnListener go on forever

demo-playground: make spawnListener go on forever

demo-playground: make spawnListener go on forever

DEV demo-playground: traces all around

DEV demo-playground: traces all around

demo-playground: trace US stimuli processing around forging

fixup! Add: Bump a number of upstream dependencies.

fixup! Add: Bump a number of upstream dependencies.

add a variant with explicit building the kernel file (tweag-based)

WIP debug

demo-playground: update proposal/vote submission PoC

demo-playground: update proposal/vote submission PoC

DEV demo-playground: trace forging

DEV demo-playground: trace forging

DEV demo-playground: trace forging

DEV demo-playground: trace forging

DEV demo-playground: trace forging

DEV demo-playground: trace forging

demo-playground: make logging configurable

demo-playground: make logging configurable

demo-playground: make logging configurable

demo-playground: make logging configurable

demo-playground: make logging configurable

demo-playground: make logging configurable

demo-playground: factor Tx submission

demo-playground: factor Tx submission

demo-playground: factor Tx submission

demo-playground: factor Tx submission

demo-playground: factor Tx submission

demo-playground: factor Tx submission

demo-playground: more named pipe fns