Reorganize CddlSpec hierarchy
Home /
IntersectMBO /
cardano-ledger
May 11, 10-11 AM (4)
May 11, 11-12 PM (2)
May 11, 12-1 PM (0)
May 11, 1-2 PM (4)
May 11, 2-3 PM (0)
May 11, 3-4 PM (5)
May 11, 4-5 PM (11)
May 11, 5-6 PM (6)
May 11, 6-7 PM (9)
May 11, 7-8 PM (0)
May 11, 8-9 PM (10)
May 11, 9-10 PM (0)
May 11, 10-11 PM (0)
May 11, 11-12 AM (0)
May 12, 12-1 AM (0)
May 12, 1-2 AM (0)
May 12, 2-3 AM (0)
May 12, 3-4 AM (0)
May 12, 4-5 AM (0)
May 12, 5-6 AM (3)
May 12, 6-7 AM (0)
May 12, 7-8 AM (1)
May 12, 8-9 AM (0)
May 12, 9-10 AM (2)
May 12, 10-11 AM (18)
May 12, 11-12 PM (0)
May 12, 12-1 PM (1)
May 12, 1-2 PM (7)
May 12, 2-3 PM (9)
May 12, 3-4 PM (6)
May 12, 4-5 PM (32)
May 12, 5-6 PM (0)
May 12, 6-7 PM (11)
May 12, 7-8 PM (5)
May 12, 8-9 PM (7)
May 12, 9-10 PM (2)
May 12, 10-11 PM (11)
May 12, 11-12 AM (0)
May 13, 12-1 AM (0)
May 13, 1-2 AM (0)
May 13, 2-3 AM (0)
May 13, 3-4 AM (0)
May 13, 4-5 AM (0)
May 13, 5-6 AM (0)
May 13, 6-7 AM (0)
May 13, 7-8 AM (15)
May 13, 8-9 AM (1)
May 13, 9-10 AM (1)
May 13, 10-11 AM (0)
May 13, 11-12 PM (9)
May 13, 12-1 PM (3)
May 13, 1-2 PM (8)
May 13, 2-3 PM (5)
May 13, 3-4 PM (13)
May 13, 4-5 PM (0)
May 13, 5-6 PM (0)
May 13, 6-7 PM (0)
May 13, 7-8 PM (11)
May 13, 8-9 PM (1)
May 13, 9-10 PM (1)
May 13, 10-11 PM (0)
May 13, 11-12 AM (0)
May 14, 12-1 AM (0)
May 14, 1-2 AM (0)
May 14, 2-3 AM (0)
May 14, 3-4 AM (0)
May 14, 4-5 AM (0)
May 14, 5-6 AM (0)
May 14, 6-7 AM (5)
May 14, 7-8 AM (0)
May 14, 8-9 AM (1)
May 14, 9-10 AM (19)
May 14, 10-11 AM (2)
May 14, 11-12 PM (0)
May 14, 12-1 PM (10)
May 14, 1-2 PM (0)
May 14, 2-3 PM (0)
May 14, 3-4 PM (0)
May 14, 4-5 PM (0)
May 14, 5-6 PM (0)
May 14, 6-7 PM (0)
May 14, 7-8 PM (2)
May 14, 8-9 PM (0)
May 14, 9-10 PM (2)
May 14, 10-11 PM (2)
May 14, 11-12 AM (0)
May 15, 12-1 AM (0)
May 15, 1-2 AM (0)
May 15, 2-3 AM (0)
May 15, 3-4 AM (0)
May 15, 4-5 AM (0)
May 15, 5-6 AM (2)
May 15, 6-7 AM (3)
May 15, 7-8 AM (1)
May 15, 8-9 AM (4)
May 15, 9-10 AM (0)
May 15, 10-11 AM (2)
May 15, 11-12 PM (1)
May 15, 12-1 PM (9)
May 15, 1-2 PM (23)
May 15, 2-3 PM (1)
May 15, 3-4 PM (2)
May 15, 4-5 PM (1)
May 15, 5-6 PM (1)
May 15, 6-7 PM (0)
May 15, 7-8 PM (0)
May 15, 8-9 PM (0)
May 15, 9-10 PM (9)
May 15, 10-11 PM (0)
May 15, 11-12 AM (0)
May 16, 12-1 AM (0)
May 16, 1-2 AM (0)
May 16, 2-3 AM (0)
May 16, 3-4 AM (0)
May 16, 4-5 AM (0)
May 16, 5-6 AM (0)
May 16, 6-7 AM (0)
May 16, 7-8 AM (0)
May 16, 8-9 AM (0)
May 16, 9-10 AM (0)
May 16, 10-11 AM (0)
May 16, 11-12 PM (0)
May 16, 12-1 PM (0)
May 16, 1-2 PM (0)
May 16, 2-3 PM (6)
May 16, 3-4 PM (3)
May 16, 4-5 PM (0)
May 16, 5-6 PM (2)
May 16, 6-7 PM (0)
May 16, 7-8 PM (2)
May 16, 8-9 PM (0)
May 16, 9-10 PM (0)
May 16, 10-11 PM (1)
May 16, 11-12 AM (0)
May 17, 12-1 AM (0)
May 17, 1-2 AM (0)
May 17, 2-3 AM (0)
May 17, 3-4 AM (0)
May 17, 4-5 AM (0)
May 17, 5-6 AM (0)
May 17, 6-7 AM (0)
May 17, 7-8 AM (0)
May 17, 8-9 AM (0)
May 17, 9-10 AM (0)
May 17, 10-11 AM (0)
May 17, 11-12 PM (0)
May 17, 12-1 PM (0)
May 17, 1-2 PM (0)
May 17, 2-3 PM (0)
May 17, 3-4 PM (0)
May 17, 4-5 PM (0)
May 17, 5-6 PM (1)
May 17, 6-7 PM (0)
May 17, 7-8 PM (0)
May 17, 8-9 PM (0)
May 17, 9-10 PM (0)
May 17, 10-11 PM (0)
May 17, 11-12 AM (0)
May 18, 12-1 AM (0)
May 18, 1-2 AM (0)
May 18, 2-3 AM (0)
May 18, 3-4 AM (0)
May 18, 4-5 AM (0)
May 18, 5-6 AM (0)
May 18, 6-7 AM (2)
May 18, 7-8 AM (10)
May 18, 8-9 AM (2)
May 18, 9-10 AM (27)
May 18, 10-11 AM (3)
394 commits this week
May 11, 2026
-
May 18, 2026
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 3d366a9ee08bfc3be929b5ad4da2247ec9a42872
Merge pull request #5804 from IntersectMBO/td/apply-state-annotated-tx
Use precomputed data from state-annotated transactions
Scale down tests to make test suites run faster
Make gen*Term helpers respect the twiddle flag
fixed voting_procedures failure by generating correct arbitrary values
Add custom generator and validator for sets
Add custom generator and validator to constr
Change return type of translationOuput to SpecTransM
Change return type of translateInputs to SpecTransM
Cleanup and tighten imports
Move SpecNormalize instances from Orphans
Add era type parameter to SpecTranslate; instantiate for Conway
Update fls; change imported modules
Add custom generator and validator for sets
fixed voting_procedures failure by generating correct arbitrary values
Add custom generator and validator to constr
Scale down tests to make test suites run faster
Make gen*Term helpers respect the twiddle flag