Home /
Input Output /
cardano-ledger
Jan 24, 7-8 PM (0)
Jan 24, 8-9 PM (0)
Jan 24, 9-10 PM (0)
Jan 24, 10-11 PM (0)
Jan 24, 11-12 AM (0)
Jan 25, 12-1 AM (0)
Jan 25, 1-2 AM (0)
Jan 25, 2-3 AM (0)
Jan 25, 3-4 AM (0)
Jan 25, 4-5 AM (0)
Jan 25, 5-6 AM (0)
Jan 25, 6-7 AM (0)
Jan 25, 7-8 AM (0)
Jan 25, 8-9 AM (12)
Jan 25, 9-10 AM (1)
Jan 25, 10-11 AM (0)
Jan 25, 11-12 PM (0)
Jan 25, 12-1 PM (2)
Jan 25, 1-2 PM (0)
Jan 25, 2-3 PM (0)
Jan 25, 3-4 PM (0)
Jan 25, 4-5 PM (1)
Jan 25, 5-6 PM (0)
Jan 25, 6-7 PM (0)
Jan 25, 7-8 PM (0)
Jan 25, 8-9 PM (1)
Jan 25, 9-10 PM (0)
Jan 25, 10-11 PM (0)
Jan 25, 11-12 AM (0)
Jan 26, 12-1 AM (0)
Jan 26, 1-2 AM (0)
Jan 26, 2-3 AM (0)
Jan 26, 3-4 AM (0)
Jan 26, 4-5 AM (0)
Jan 26, 5-6 AM (0)
Jan 26, 6-7 AM (0)
Jan 26, 7-8 AM (0)
Jan 26, 8-9 AM (0)
Jan 26, 9-10 AM (0)
Jan 26, 10-11 AM (0)
Jan 26, 11-12 PM (0)
Jan 26, 12-1 PM (0)
Jan 26, 1-2 PM (0)
Jan 26, 2-3 PM (0)
Jan 26, 3-4 PM (0)
Jan 26, 4-5 PM (0)
Jan 26, 5-6 PM (0)
Jan 26, 6-7 PM (0)
Jan 26, 7-8 PM (0)
Jan 26, 8-9 PM (0)
Jan 26, 9-10 PM (0)
Jan 26, 10-11 PM (0)
Jan 26, 11-12 AM (0)
Jan 27, 12-1 AM (0)
Jan 27, 1-2 AM (0)
Jan 27, 2-3 AM (0)
Jan 27, 3-4 AM (0)
Jan 27, 4-5 AM (0)
Jan 27, 5-6 AM (0)
Jan 27, 6-7 AM (0)
Jan 27, 7-8 AM (0)
Jan 27, 8-9 AM (0)
Jan 27, 9-10 AM (3)
Jan 27, 10-11 AM (0)
Jan 27, 11-12 PM (0)
Jan 27, 12-1 PM (0)
Jan 27, 1-2 PM (3)
Jan 27, 2-3 PM (0)
Jan 27, 3-4 PM (1)
Jan 27, 4-5 PM (0)
Jan 27, 5-6 PM (0)
Jan 27, 6-7 PM (0)
Jan 27, 7-8 PM (4)
Jan 27, 8-9 PM (4)
Jan 27, 9-10 PM (0)
Jan 27, 10-11 PM (0)
Jan 27, 11-12 AM (0)
Jan 28, 12-1 AM (0)
Jan 28, 1-2 AM (0)
Jan 28, 2-3 AM (0)
Jan 28, 3-4 AM (0)
Jan 28, 4-5 AM (0)
Jan 28, 5-6 AM (0)
Jan 28, 6-7 AM (0)
Jan 28, 7-8 AM (0)
Jan 28, 8-9 AM (0)
Jan 28, 9-10 AM (0)
Jan 28, 10-11 AM (0)
Jan 28, 11-12 PM (0)
Jan 28, 12-1 PM (0)
Jan 28, 1-2 PM (0)
Jan 28, 2-3 PM (0)
Jan 28, 3-4 PM (0)
Jan 28, 4-5 PM (0)
Jan 28, 5-6 PM (0)
Jan 28, 6-7 PM (0)
Jan 28, 7-8 PM (0)
Jan 28, 8-9 PM (0)
Jan 28, 9-10 PM (0)
Jan 28, 10-11 PM (0)
Jan 28, 11-12 AM (0)
Jan 29, 12-1 AM (0)
Jan 29, 1-2 AM (0)
Jan 29, 2-3 AM (0)
Jan 29, 3-4 AM (0)
Jan 29, 4-5 AM (0)
Jan 29, 5-6 AM (0)
Jan 29, 6-7 AM (0)
Jan 29, 7-8 AM (0)
Jan 29, 8-9 AM (0)
Jan 29, 9-10 AM (0)
Jan 29, 10-11 AM (1)
Jan 29, 11-12 PM (0)
Jan 29, 12-1 PM (0)
Jan 29, 1-2 PM (0)
Jan 29, 2-3 PM (0)
Jan 29, 3-4 PM (0)
Jan 29, 4-5 PM (0)
Jan 29, 5-6 PM (0)
Jan 29, 6-7 PM (0)
Jan 29, 7-8 PM (0)
Jan 29, 8-9 PM (0)
Jan 29, 9-10 PM (0)
Jan 29, 10-11 PM (0)
Jan 29, 11-12 AM (0)
Jan 30, 12-1 AM (0)
Jan 30, 1-2 AM (0)
Jan 30, 2-3 AM (0)
Jan 30, 3-4 AM (0)
Jan 30, 4-5 AM (0)
Jan 30, 5-6 AM (0)
Jan 30, 6-7 AM (0)
Jan 30, 7-8 AM (0)
Jan 30, 8-9 AM (0)
Jan 30, 9-10 AM (0)
Jan 30, 10-11 AM (0)
Jan 30, 11-12 PM (2)
Jan 30, 12-1 PM (0)
Jan 30, 1-2 PM (0)
Jan 30, 2-3 PM (0)
Jan 30, 3-4 PM (2)
Jan 30, 4-5 PM (10)
Jan 30, 5-6 PM (1)
Jan 30, 6-7 PM (2)
Jan 30, 7-8 PM (0)
Jan 30, 8-9 PM (2)
Jan 30, 9-10 PM (0)
Jan 30, 10-11 PM (4)
Jan 30, 11-12 AM (3)
Jan 31, 12-1 AM (0)
Jan 31, 1-2 AM (0)
Jan 31, 2-3 AM (0)
Jan 31, 3-4 AM (0)
Jan 31, 4-5 AM (0)
Jan 31, 5-6 AM (0)
Jan 31, 6-7 AM (0)
Jan 31, 7-8 AM (0)
Jan 31, 8-9 AM (0)
Jan 31, 9-10 AM (0)
Jan 31, 10-11 AM (2)
Jan 31, 11-12 PM (1)
Jan 31, 12-1 PM (2)
Jan 31, 1-2 PM (2)
Jan 31, 2-3 PM (3)
Jan 31, 3-4 PM (3)
Jan 31, 4-5 PM (0)
Jan 31, 5-6 PM (0)
Jan 31, 6-7 PM (0)
Jan 31, 7-8 PM (0)
72 commits this week
Jan 24, 2023
-
Jan 31, 2023
add Haskell Benchmark (customSmallerIsBetter) benchmark result for ca5a6d8a9bbe0eca02e2dc96f7ab7ae8be097c19
Nicer counter examples for soundness property
Better error when fixSet fails
Fix bug where genRep tried to generate things of negative size
Fix bug in subsetFromSetWithSize
Generate subset constraints in soundness property
version the new cost model deserializers
Enforce that the cost model deserializers prior to version 9 use a list of the expected length.
Use listLen for RmdrPtr codec
Smarter generation of sized sets
Don't add/remove one element at a time. We know how many are missing/extra.
Start on QuickCheck properties for constraint language
Add `maxMajorPV` to `Constants` and use it to generate protocol version
Pass `Constants` as a parameter to `forAllChainTrace`
for more flexibility in Generators
--wip fix tests
Resolve pointer addresses in `updateStakeDistribution` conditionally
on the protocol version, namely: don't resolve pointer addresses for Conway era and later
Pass `Constants` as a parameter to `Presets.getEnv`
for more flexibility in Generators
Resolve pointer addresses in `incrementalStakeDistr` conditionally
on the protocol version, namely: don't resolve pointer addresses for Conway era and later
Update Environment of ShelleySNAP rule with access to PParams
Bring back instances for RewardProvenance
Add some constraints and fix TxWits encoder
version the new cost model deserializers
Enforce that the cost model deserializers prior to version 9 use a list of the expected length.
Add encoder/decoder for WithOrigin