Nicolas Frisby

Results 77 issues of Nicolas Frisby

In their downstream uses in `ouroboros-consensus`, we've found the Shelley transaction generators are slow. From this excerpt from the `.prof` summary, it looks like they're allocating a lot and hence...

:credit_card: technical-debt

GHC parses it, but stylish crashes on it. ``` $ diff .stylish-haskell.yaml

My team at my job is considering expanding our use of `stylish-haskell`. But we have some _sections_ of code that we don't want to style. I'm not seeing anyway to...

PR #3920 added an HPC report. We realized that impossible case alternatives are inflating the amount of red in the report. This issue is to consider how to mitigate that....

:handshake: consensus

If you set the following flag and run the test suite, most `TVar`s -- including all critical ones, unless we have a bug -- will check their contents for thunks...

:cake: good first issue
:handshake: consensus
technical debt

DO NOT MERGE

WIP

DO NOT MERGE

WIP

General mismatches - These three objects are somewhat out-of-sync. * The `ProtocolParameters` data type definition * The high-level code that uses `ProtocolParameters` (excluding low-level code such as pretty-printing, serialization, etc)...

technical-debt
spec-alignment

https://github.com/input-output-hk/cardano-ledger/blob/172b49ff1b6456851f10ae18f920fbfa733be0b0/cardano-ledger/src/Cardano/Chain/Block/Header.hs#L145-L146 That comment is incorrect. The field is only used to endorse parameter update proposals, not to document how the current block was forged. (I'm not sure if the corresponding...

documentation

This PR is draft because - it's experimental - it targets an old commit; I used all upstream commits that the `master` tip of `cardano-node` refers to Fixes #4052

:handshake: consensus