Cardano Updates

undo failing test example in PingPong

fixup comment

add missing file

Merge pull request #110 from input-output-hk/edsko/abstract-over-time

Abstract over time

Merge pull request #108 from input-output-hk/avieth/fix_pipe_duplex

pipeDuplex receive side close on explicit EOF

Abstract over time

This also moves a lot of responsibility that was previously in the test to the node itself, where it belongs.

pipeDuplex receive side close on explicit EOF

Integration in demo-playground

Integration in demo-playground

configuration cleanup & separate test-suite for crypto (#106)

Initial tentative version of a low-level streaming API

and again

another try…

updated pkg.nix yet again

updated pkg.nix again

updated pkg.nix

configuration cleanup & separate test-suite for crypto

Merge pull request #99 from input-output-hk/lars/praos

Continuation of #87

Merge pull request #104 from input-output-hk/avieth/fix_node

fix FIXMEs in Ouroboros.Consensus.Node

Codec coherence test, Decoder is a fold

The new decoder representation is sharper than the CBOR IDecode: if the end of the stream is given, the decoder cannot still be partial.

fix FIXMEs in Ouroboros.Consensus.Node

Merge pull request #90 from input-output-hk/adinapoli/immutable-store-poc

Data store for the immutable part of the blockchain

Removed MacOS build from travis

It timeouts, because things are missing from cache.

Second round of refactoring after Edsko review.

Second round of refactoring after Edsko review.

Fix mistake in demo script. Tests now pass

Add new demoBlockServer based on BlockFetch protocol

Don’t include a block in the initial MessageStartBatch message

It’s fewer cases to deal with if we don’t, and it will also turn out to be more useful this way for timers on the leading edge of responses if the responses are fixed size and small.

Drop use of ‘ prefix on lifted data kinds

We shouldn’t have any ambiguity, plus I can’t stand the syntax.

Merge remote-tracking branch ‘origin/coot/block-download-protocol’ into wip/block-fetch

random and sound tx generation in dynamic tests

connectThroughQueue: connect server sides through a bounded queue

WIP: Continue cleanup

Continue with the refactorings.

WIP.

WIP: Cleanup

Merge pull request #93 from input-output-hk/wip/dcoutts/doc-additions

Add the high level requirements into the protocol doc

WIP: Pipe2 style Socket

More work on fetch logic design

Starting to come together

More work on fetch logic design

Starting to come together

WIP: Move to ExceptT

Added directBlockFetchClient and directBlockFetchServer

Added directBlockFetchClient and directBlockFetchServer

BlockFetchClientProtocol and BlockFetchServerProtocol

BlockFetchClientProtocol and BlockFetchServerProtocol

refactored ‘dynamic’ tests

Another bugfix to update computation

Construct correct update in overrideBlock

bought node a watch

small improvement

Code review after Edsko’s feedback