Thomas Winant
Thomas Winant
Fixes #82. `pullImage` now takes a `PullOpts` argument, which includes an optional `AuthConfig`. For more details, see: https://docs.docker.com/engine/api/v1.41/#section/Authentication
In the [latest revision](https://hackage.haskell.org/package/quickcheck-state-machine-0.7.0/revision/0.cabal) (`r0`) of `quickcheck-state-machine-0.7` on Hackage, there is a constraint `text >=1.2.4.0`, which is not present in [master](https://github.com/advancedtelematic/quickcheck-state-machine/blob/3cbf466db302235afdea91dac06a57b8fe0f0b4d/quickcheck-state-machine.cabal#L74). This constraint makes it *currently* impossible to build with...
Consensus has two ways to "apply a transaction": * `applyTx`: apply a transaction to the ledger, validating the transaction and returning the updated ledger. * [`reapplyTx`](https://github.com/input-output-hk/ouroboros-network/blob/742c5a4bbb9fe30b5473a47b460bad5d2dd8dc08/ouroboros-consensus/src/Ouroboros/Consensus/Mempool/API.hs#L71): > Re-apply a transaction...
In `Test.Shelley.Spec.Ledger.Utils`, the `mkGenKey`, `mkKeyPair`, ..., functions, which use [`mkSeedFromWords`](https://github.com/input-output-hk/cardano-ledger-specs/blob/59098c0038b30cac7f5c3c4443e6c3db98717b1c/shelley/chain-and-ledger/shelley-spec-ledger-test/src/Test/Shelley/Spec/Ledger/Utils.hs#L134) are broken *for some instantiations of crypto*. I believe they work fine for mock crypto, which is what they're mostly...
Iterators can be used to stream from the ImmutableDB. However, upon initialisation, the bounds of an iterator are fixed, even when the upper bound is open. This means that blocks...
## Background EBB headers contain a "proof" of their body, i.e., https://github.com/input-output-hk/cardano-sl/blob/34337f53764bc558396be8bc146699ba9d6e6f4e/chain/src/Pos/Chain/Block/Genesis.hs#L54: ```haskell -- | Proof of GenesisBody is just a hash of slot leaders list. data GenesisProof = GenesisProof...
## Background #598 introduced `ToCBOR` and `FromCBOR` instances for `UTxOValidationError`. However, these instances do not have tests. ## Proposed Solution Write tests.
## Background The exposed `Cardano.Chain.Update.Validation.Interface.Error` type contains `TooLarge`, which is only exported by `Cardano.Chain.Update.Validation.Registration`, which is not exposed. ## Proposed Solution Either export `TooLarge` from an exposed module or expose...
In the consensus layer, we want to know the [`TxId`](https://github.com/input-output-hk/cardano-ledger/blob/442d6ec318b07497dbb674ce9271aa1bf675f666/cardano-ledger/src/Cardano/Chain/UTxO/Tx.hs#L123) of a [`TxAux`](https://github.com/input-output-hk/cardano-ledger/blob/442d6ec318b07497dbb674ce9271aa1bf675f666/cardano-ledger/src/Cardano/Chain/UTxO/TxAux.hs#L46). [Currently](https://github.com/input-output-hk/ouroboros-network/blob/85899395f0b705a4e525bae5259e640308f9d893/ouroboros-consensus/src/Ouroboros/Consensus/Ledger/Byron.hs#L746), we compute this by hashing the `Tx` in the `TxAux`. To be future-proof, we would like...
This fixes the memory leaks identified in #137 and adds a workaround for another memory leak I don't fully understand. See the commit messages for more details.