Add missing files
Home /
Input Output /
cardano-ledger
Nov 23, 7-8 AM (0)
Nov 23, 8-9 AM (0)
Nov 23, 9-10 AM (1)
Nov 23, 10-11 AM (0)
Nov 23, 11-12 PM (1)
Nov 23, 12-1 PM (0)
Nov 23, 1-2 PM (0)
Nov 23, 2-3 PM (1)
Nov 23, 3-4 PM (0)
Nov 23, 4-5 PM (1)
Nov 23, 5-6 PM (6)
Nov 23, 6-7 PM (0)
Nov 23, 7-8 PM (0)
Nov 23, 8-9 PM (0)
Nov 23, 9-10 PM (0)
Nov 23, 10-11 PM (0)
Nov 23, 11-12 AM (0)
Nov 24, 12-1 AM (0)
Nov 24, 1-2 AM (0)
Nov 24, 2-3 AM (0)
Nov 24, 3-4 AM (0)
Nov 24, 4-5 AM (0)
Nov 24, 5-6 AM (0)
Nov 24, 6-7 AM (0)
Nov 24, 7-8 AM (0)
Nov 24, 8-9 AM (0)
Nov 24, 9-10 AM (0)
Nov 24, 10-11 AM (0)
Nov 24, 11-12 PM (0)
Nov 24, 12-1 PM (1)
Nov 24, 1-2 PM (3)
Nov 24, 2-3 PM (0)
Nov 24, 3-4 PM (0)
Nov 24, 4-5 PM (0)
Nov 24, 5-6 PM (0)
Nov 24, 6-7 PM (0)
Nov 24, 7-8 PM (0)
Nov 24, 8-9 PM (1)
Nov 24, 9-10 PM (0)
Nov 24, 10-11 PM (0)
Nov 24, 11-12 AM (0)
Nov 25, 12-1 AM (0)
Nov 25, 1-2 AM (0)
Nov 25, 2-3 AM (0)
Nov 25, 3-4 AM (0)
Nov 25, 4-5 AM (0)
Nov 25, 5-6 AM (0)
Nov 25, 6-7 AM (0)
Nov 25, 7-8 AM (0)
Nov 25, 8-9 AM (0)
Nov 25, 9-10 AM (0)
Nov 25, 10-11 AM (0)
Nov 25, 11-12 PM (0)
Nov 25, 12-1 PM (0)
Nov 25, 1-2 PM (0)
Nov 25, 2-3 PM (0)
Nov 25, 3-4 PM (0)
Nov 25, 4-5 PM (0)
Nov 25, 5-6 PM (0)
Nov 25, 6-7 PM (0)
Nov 25, 7-8 PM (0)
Nov 25, 8-9 PM (0)
Nov 25, 9-10 PM (0)
Nov 25, 10-11 PM (0)
Nov 25, 11-12 AM (0)
Nov 26, 12-1 AM (0)
Nov 26, 1-2 AM (0)
Nov 26, 2-3 AM (0)
Nov 26, 3-4 AM (0)
Nov 26, 4-5 AM (0)
Nov 26, 5-6 AM (0)
Nov 26, 6-7 AM (0)
Nov 26, 7-8 AM (0)
Nov 26, 8-9 AM (0)
Nov 26, 9-10 AM (0)
Nov 26, 10-11 AM (0)
Nov 26, 11-12 PM (0)
Nov 26, 12-1 PM (0)
Nov 26, 1-2 PM (0)
Nov 26, 2-3 PM (0)
Nov 26, 3-4 PM (0)
Nov 26, 4-5 PM (0)
Nov 26, 5-6 PM (0)
Nov 26, 6-7 PM (0)
Nov 26, 7-8 PM (0)
Nov 26, 8-9 PM (0)
Nov 26, 9-10 PM (0)
Nov 26, 10-11 PM (1)
Nov 26, 11-12 AM (0)
Nov 27, 12-1 AM (0)
Nov 27, 1-2 AM (0)
Nov 27, 2-3 AM (0)
Nov 27, 3-4 AM (0)
Nov 27, 4-5 AM (0)
Nov 27, 5-6 AM (0)
Nov 27, 6-7 AM (0)
Nov 27, 7-8 AM (0)
Nov 27, 8-9 AM (0)
Nov 27, 9-10 AM (0)
Nov 27, 10-11 AM (3)
Nov 27, 11-12 PM (0)
Nov 27, 12-1 PM (0)
Nov 27, 1-2 PM (0)
Nov 27, 2-3 PM (0)
Nov 27, 3-4 PM (1)
Nov 27, 4-5 PM (1)
Nov 27, 5-6 PM (0)
Nov 27, 6-7 PM (0)
Nov 27, 7-8 PM (0)
Nov 27, 8-9 PM (0)
Nov 27, 9-10 PM (1)
Nov 27, 10-11 PM (2)
Nov 27, 11-12 AM (1)
Nov 28, 12-1 AM (0)
Nov 28, 1-2 AM (0)
Nov 28, 2-3 AM (0)
Nov 28, 3-4 AM (0)
Nov 28, 4-5 AM (0)
Nov 28, 5-6 AM (0)
Nov 28, 6-7 AM (0)
Nov 28, 7-8 AM (0)
Nov 28, 8-9 AM (0)
Nov 28, 9-10 AM (0)
Nov 28, 10-11 AM (0)
Nov 28, 11-12 PM (0)
Nov 28, 12-1 PM (3)
Nov 28, 1-2 PM (1)
Nov 28, 2-3 PM (2)
Nov 28, 3-4 PM (1)
Nov 28, 4-5 PM (0)
Nov 28, 5-6 PM (0)
Nov 28, 6-7 PM (0)
Nov 28, 7-8 PM (0)
Nov 28, 8-9 PM (18)
Nov 28, 9-10 PM (2)
Nov 28, 10-11 PM (0)
Nov 28, 11-12 AM (0)
Nov 29, 12-1 AM (0)
Nov 29, 1-2 AM (0)
Nov 29, 2-3 AM (0)
Nov 29, 3-4 AM (2)
Nov 29, 4-5 AM (0)
Nov 29, 5-6 AM (0)
Nov 29, 6-7 AM (0)
Nov 29, 7-8 AM (0)
Nov 29, 8-9 AM (120)
Nov 29, 9-10 AM (0)
Nov 29, 10-11 AM (0)
Nov 29, 11-12 PM (8)
Nov 29, 12-1 PM (1)
Nov 29, 1-2 PM (0)
Nov 29, 2-3 PM (0)
Nov 29, 3-4 PM (1)
Nov 29, 4-5 PM (0)
Nov 29, 5-6 PM (0)
Nov 29, 6-7 PM (1)
Nov 29, 7-8 PM (1)
Nov 29, 8-9 PM (0)
Nov 29, 9-10 PM (0)
Nov 29, 10-11 PM (0)
Nov 29, 11-12 AM (1)
Nov 30, 12-1 AM (4)
Nov 30, 1-2 AM (0)
Nov 30, 2-3 AM (0)
Nov 30, 3-4 AM (0)
Nov 30, 4-5 AM (0)
Nov 30, 5-6 AM (0)
Nov 30, 6-7 AM (0)
Nov 30, 7-8 AM (0)
191 commits this week
Nov 23, 2023
-
Nov 30, 2023
Turn off warnings for now
Everything builds
cardano-ledger-test is done
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 096b772f93a376fc97783054240df533160691c4
Fixed broken test, test compared the brute force DRepDistr computation on the first MockChainState of an epoch to the Pulsed DrepDistr on the final MochChainState of the Epoch. Failed because we need the intermediate NES in the first state, since the LEDGERS rule changes the NES after the TICK rule runs.
Move `tree-diff` dependency to tests together with all instances (#3893)
* Move tree-diff dependency to tests together with all instances * Bump versions and add changelog entries * Adjust bounds on packages
Work on pool stuff + fix some warnings
Prune proposals unreachable due to enactment
Added constrained generators to conformance tests
WIP constraints for GOV state generation
Constrained generator tweaks
Adjust bounds on packages
Bump versions and add changelog entries
Move tree-diff dependency to tests together with all instances
Compiling version of Eq-only with instances for the Conway types
Still completely broken
First working generator for Conway stuff!
Working forAll on maps
Move constrained to its own package