Add ‘HasCallStack’ to other locations in the generators
Home /
Input Output /
cardano-ledger-specs
Apr 02, 1-2 PM (0)
Apr 02, 2-3 PM (0)
Apr 02, 3-4 PM (4)
Apr 02, 4-5 PM (0)
Apr 02, 5-6 PM (0)
Apr 02, 6-7 PM (1)
Apr 02, 7-8 PM (0)
Apr 02, 8-9 PM (0)
Apr 02, 9-10 PM (0)
Apr 02, 10-11 PM (0)
Apr 02, 11-12 AM (1)
Apr 03, 12-1 AM (0)
Apr 03, 1-2 AM (0)
Apr 03, 2-3 AM (0)
Apr 03, 3-4 AM (0)
Apr 03, 4-5 AM (0)
Apr 03, 5-6 AM (0)
Apr 03, 6-7 AM (0)
Apr 03, 7-8 AM (0)
Apr 03, 8-9 AM (0)
Apr 03, 9-10 AM (0)
Apr 03, 10-11 AM (0)
Apr 03, 11-12 PM (1)
Apr 03, 12-1 PM (3)
Apr 03, 1-2 PM (1)
Apr 03, 2-3 PM (1)
Apr 03, 3-4 PM (0)
Apr 03, 4-5 PM (1)
Apr 03, 5-6 PM (0)
Apr 03, 6-7 PM (0)
Apr 03, 7-8 PM (0)
Apr 03, 8-9 PM (0)
Apr 03, 9-10 PM (0)
Apr 03, 10-11 PM (0)
Apr 03, 11-12 AM (0)
Apr 04, 12-1 AM (0)
Apr 04, 1-2 AM (0)
Apr 04, 2-3 AM (0)
Apr 04, 3-4 AM (0)
Apr 04, 4-5 AM (0)
Apr 04, 5-6 AM (0)
Apr 04, 6-7 AM (0)
Apr 04, 7-8 AM (0)
Apr 04, 8-9 AM (0)
Apr 04, 9-10 AM (0)
Apr 04, 10-11 AM (0)
Apr 04, 11-12 PM (0)
Apr 04, 12-1 PM (0)
Apr 04, 1-2 PM (0)
Apr 04, 2-3 PM (0)
Apr 04, 3-4 PM (0)
Apr 04, 4-5 PM (0)
Apr 04, 5-6 PM (0)
Apr 04, 6-7 PM (0)
Apr 04, 7-8 PM (0)
Apr 04, 8-9 PM (0)
Apr 04, 9-10 PM (0)
Apr 04, 10-11 PM (0)
Apr 04, 11-12 AM (0)
Apr 05, 12-1 AM (0)
Apr 05, 1-2 AM (0)
Apr 05, 2-3 AM (0)
Apr 05, 3-4 AM (0)
Apr 05, 4-5 AM (0)
Apr 05, 5-6 AM (0)
Apr 05, 6-7 AM (0)
Apr 05, 7-8 AM (0)
Apr 05, 8-9 AM (0)
Apr 05, 9-10 AM (0)
Apr 05, 10-11 AM (0)
Apr 05, 11-12 PM (0)
Apr 05, 12-1 PM (0)
Apr 05, 1-2 PM (0)
Apr 05, 2-3 PM (0)
Apr 05, 3-4 PM (0)
Apr 05, 4-5 PM (0)
Apr 05, 5-6 PM (0)
Apr 05, 6-7 PM (0)
Apr 05, 7-8 PM (0)
Apr 05, 8-9 PM (0)
Apr 05, 9-10 PM (0)
Apr 05, 10-11 PM (0)
Apr 05, 11-12 AM (0)
Apr 06, 12-1 AM (0)
Apr 06, 1-2 AM (0)
Apr 06, 2-3 AM (0)
Apr 06, 3-4 AM (0)
Apr 06, 4-5 AM (0)
Apr 06, 5-6 AM (0)
Apr 06, 6-7 AM (0)
Apr 06, 7-8 AM (0)
Apr 06, 8-9 AM (1)
Apr 06, 9-10 AM (0)
Apr 06, 10-11 AM (1)
Apr 06, 11-12 PM (0)
Apr 06, 12-1 PM (0)
Apr 06, 1-2 PM (0)
Apr 06, 2-3 PM (0)
Apr 06, 3-4 PM (0)
Apr 06, 4-5 PM (0)
Apr 06, 5-6 PM (0)
Apr 06, 6-7 PM (0)
Apr 06, 7-8 PM (0)
Apr 06, 8-9 PM (0)
Apr 06, 9-10 PM (0)
Apr 06, 10-11 PM (0)
Apr 06, 11-12 AM (0)
Apr 07, 12-1 AM (0)
Apr 07, 1-2 AM (0)
Apr 07, 2-3 AM (0)
Apr 07, 3-4 AM (0)
Apr 07, 4-5 AM (0)
Apr 07, 5-6 AM (0)
Apr 07, 6-7 AM (0)
Apr 07, 7-8 AM (0)
Apr 07, 8-9 AM (0)
Apr 07, 9-10 AM (0)
Apr 07, 10-11 AM (0)
Apr 07, 11-12 PM (0)
Apr 07, 12-1 PM (3)
Apr 07, 1-2 PM (2)
Apr 07, 2-3 PM (6)
Apr 07, 3-4 PM (0)
Apr 07, 4-5 PM (0)
Apr 07, 5-6 PM (0)
Apr 07, 6-7 PM (0)
Apr 07, 7-8 PM (0)
Apr 07, 8-9 PM (0)
Apr 07, 9-10 PM (0)
Apr 07, 10-11 PM (0)
Apr 07, 11-12 AM (0)
Apr 08, 12-1 AM (0)
Apr 08, 1-2 AM (0)
Apr 08, 2-3 AM (0)
Apr 08, 3-4 AM (0)
Apr 08, 4-5 AM (0)
Apr 08, 5-6 AM (5)
Apr 08, 6-7 AM (0)
Apr 08, 7-8 AM (0)
Apr 08, 8-9 AM (0)
Apr 08, 9-10 AM (0)
Apr 08, 10-11 AM (0)
Apr 08, 11-12 PM (0)
Apr 08, 12-1 PM (2)
Apr 08, 1-2 PM (1)
Apr 08, 2-3 PM (2)
Apr 08, 3-4 PM (3)
Apr 08, 4-5 PM (0)
Apr 08, 5-6 PM (0)
Apr 08, 6-7 PM (0)
Apr 08, 7-8 PM (0)
Apr 08, 8-9 PM (0)
Apr 08, 9-10 PM (1)
Apr 08, 10-11 PM (0)
Apr 08, 11-12 AM (0)
Apr 09, 12-1 AM (0)
Apr 09, 1-2 AM (0)
Apr 09, 2-3 AM (0)
Apr 09, 3-4 AM (0)
Apr 09, 4-5 AM (0)
Apr 09, 5-6 AM (0)
Apr 09, 6-7 AM (0)
Apr 09, 7-8 AM (0)
Apr 09, 8-9 AM (0)
Apr 09, 9-10 AM (0)
Apr 09, 10-11 AM (0)
Apr 09, 11-12 PM (0)
Apr 09, 12-1 PM (0)
Apr 09, 1-2 PM (1)
41 commits this week
Apr 02, 2020 -
Apr 09, 2020
update rest of default.nix files for ca2cdd29e380087b5901e3e5b6c5925e8baa71af
clarify which tau in Praos reference
There are at least two taus in the Praos paper: one is a parameter of the Chain Growth property and the other is a parameter of the Resettable Leaky Beacon Functionality. The SlotsPrior global constant refers to the RLB Functionality parameter.
Merge pull request #1356 from input-output-hk/nc/fix-nix
Fixup nix stuff
Bump dependency on cardano-base
This brings in https://github.com/input-output-hk/cardano-base/pull/87
Introduce StrictMaybe and use it
Wherever we have !(Maybe x), the bang won’t forced x, just Nothing or
Just _, so we need a strict variant of Maybe. In consensus, we typically
introduce a new isomorphic type (up to strictness) for each such Maybe, but
there were simply too many, so I succumbed and introduced StrictMaybe.
Introduce OBftSlot
To fix the thunk in the overlay schedule (map), replace Maybe (GenKeyHash
crypto) with a new isomorphic (up to strictness) type.
In consensus, we have to deal with the result of the lookup in this map, i.e.,
Maybe (Maybe GenKeyHash crypto). As nested Maybes can be confusing,
replacing the inner Maybe with a new type also helps with code clarity.
Make types stored in consensus state strict
This is to avoid space leaks and to pass the NoUnexpectedThunks test.
We add bangs where needed and use StrictSeq instead of Seq.
clarify which tau in Praos reference
There are at least two taus in the Praos paper: one is a parameter of the Chain Growth property and the other is a parameter of the Resettable Leaky Beacon Functionality. The SlotsPrior global constant refers to the RLB Functionality parameter.
Bump dependency on cardano-base
This brings in https://github.com/input-output-hk/cardano-base/pull/87
Introduce StrictMaybe and use it
Wherever we have !(Maybe x), the bang won’t forced x, just Nothing or
Just _, so we need a strict variant of Maybe. In consensus, we typically
introduce a new isomorphic type (up to strictness) for each such Maybe, but
there were simply too many, so I succumbed and introduced StrictMaybe.
Introduce OBftSlot
To fix the thunk in the overlay schedule (map), replace Maybe (GenKeyHash
crypto) with a new isomorphic (up to strictness) type.
In consensus, we have to deal with the result of the lookup in this map, i.e.,
Maybe (Maybe GenKeyHash crypto). As nested Maybes can be confusing,
replacing the inner Maybe with a new type also helps with code clarity.
Make types stored in consensus state strict
This is to avoid space leaks and to pass the NoUnexpectedThunks test.
We add bangs where needed and use StrictSeq instead of Seq.