Cardano Updates

voaltile db unit and initial q-s-m tests

volatile db initial commit

Fixes local to this branch

Pending merging PRs #301 and #302

Then this branch can be rebased and this patch eliminated.

Add runConnectedPeersPipelined driver

Similar to runConnectedPeers but with a pipelined client.

Again for tests, not yet used.

Small simplification to mvarsAsChannel impl

Add createConnectedBufferedChannels and createPipelineTestChannels

Useful for testing pipelined protocols.

Add the ReqResp prop_channel

Following PingPong version

Simplify the PingPong prop_channel using new runConnectedPeers driver

Add runConnectedPeers driver

And introduce a ‘concurrently’ utility like from async to make writing this easier. This will be replaced with the proper version once we have MonadAsync.

Also use it in runPipelinedPeer.

Simplify SocketBearer instances by deriving

The STM instance has to be redefined, but the others do not.

Rename newTVarIO to newTVarM in MonadSTM

The usual naming convenion for these things is the M suffix.

Same for newTMVarIO and newEmptyTMVarIO

Rename newTVarIO to newTVarM in MonadSTM

The usual naming convenion for these things is the M suffix.

Same for newTMVarIO and newEmptyTMVarIO

Rename newTVarIO to newTVarM in MonadSTM

The usual naming convenion for these things is the M suffix.

Same for newTMVarIO and newEmptyTMVarIO

Rename newTVarIO to newTVarM in MonadSTM

The usual naming convenion for these things is the M suffix.

Same for newTMVarIO and newEmptyTMVarIO

Extend MonadSTM with TQueue and isEmpty/Full functions

They’re all useful. Default impls provided. All instances updated.

Extend MonadSTM with TQueue and isEmpty/Full functions

They’re all useful. Default impls provided. All instances updated.

Extend MonadSTM with TQueue and isEmpty/Full functions

They’re all useful. Default impls provided. All instances updated.

Mark ‘core <-> relay <-> core’ test as failing.

I’ve tried debugging it, but I can’t see how it’s ever supposed to work.

The termination condition deadlocks, and when that’s adjusted, the resulting chains shows the two core nodes end up with different chains. But it’s unclear what this is testing because the nodes are not doing normal chain selection (they call fixupBlock).

In any case, we almost certainly are going to delete the Node and corresponding tests from the network package, since this is handled in the consensus package now (using real chain selection).

Mark ‘core <-> relay <-> core’ test as failing.

I’ve tried debugging it, but I can’t see how it’s ever supposed to work.

The termination condition deadlocks, and when that’s adjusted, the resulting chains shows the two core nodes end up with different chains. But it’s unclear what this is testing because the nodes are not doing normal chain selection (they call fixupBlock).

In any case, we almost certainly are going to delete the Node and corresponding tests from the network package, since this is handled in the consensus package now (using real chain selection).

define ByronBlockSource using index

Fixed pkgs.nix

Added doc strings in block-fetch direct functions

Added block-fetch prop_direct_pipelined tests

Added directPipelined to BlockFetch.Direct

BlockFetchClientPipelined

• enclose BlockFetchSender in a monadic action
• code style changes

fix openDB after rebase

basic README.md for byron-adapter

basic README.md for byron-adapter

slight cleanup of source files

slight cleanup of source files

Updated block-fetch tests

reorganize byron-adapter file structure

nix is happier with this: before it would try to load the library files for the executable, rather than using the library itself.

reorganize byron-adapter file structure

nix is happier with this: before it would try to load the library files for the executable, rather than using the library itself.

Mux support over Pipes

Remove MuxBearer

Replace MuxBearer typefamily with read, write functions in PerMuxSharedState.

Fix a few unrelated build warnings.

Fix a few unrelated build warnings.

Remove MonadProbe system and replace by Dynamic TraceEvent entries

It was awkward to use. It’s now needed less because we can return results from the main thread. For tracing/logging we can use this simple mechanism where we add dynamic typed values into the existing sim trace.

Remove MonadProbe system and replace by Dynamic TraceEvent entries

It was awkward to use. It’s now needed less because we can return results from the main thread. For tracing/logging we can use this simple mechanism where we add dynamic typed values into the existing sim trace.

Eliminate use of Monad{Run}Probe from ouroboros-consensus tests

Eliminate use of Monad{Run}Probe from ouroboros-consensus tests

Eliminate use of Monad{Run}Probe from ouroboros-network tests

Eliminate use of Monad{Run}Probe from ouroboros-network tests

Eliminate use of MonadProbe and MonadRunProbe from IOSim tests

Eliminate use of MonadProbe and MonadRunProbe from IOSim tests

Add Sim runSimOrThrow util

Very useful for tests where we don’t expect failure and it’s fine to throw the exception in the context of a test.

Add Sim runSimOrThrow util

Very useful for tests where we don’t expect failure and it’s fine to throw the exception in the context of a test.

Enabled -Werror on CI

Updated tests

Added example piplined block-fetch clients