Regenerate cddl files
Home /
Input Output /
cardano-ledger-specs
Dec 04, 3-4 PM (0)
Dec 04, 4-5 PM (0)
Dec 04, 5-6 PM (0)
Dec 04, 6-7 PM (0)
Dec 04, 7-8 PM (0)
Dec 04, 8-9 PM (0)
Dec 04, 9-10 PM (0)
Dec 04, 10-11 PM (0)
Dec 04, 11-12 AM (0)
Dec 05, 12-1 AM (0)
Dec 05, 1-2 AM (0)
Dec 05, 2-3 AM (0)
Dec 05, 3-4 AM (0)
Dec 05, 4-5 AM (0)
Dec 05, 5-6 AM (0)
Dec 05, 6-7 AM (0)
Dec 05, 7-8 AM (0)
Dec 05, 8-9 AM (0)
Dec 05, 9-10 AM (1)
Dec 05, 10-11 AM (0)
Dec 05, 11-12 PM (2)
Dec 05, 12-1 PM (0)
Dec 05, 1-2 PM (0)
Dec 05, 2-3 PM (16)
Dec 05, 3-4 PM (0)
Dec 05, 4-5 PM (0)
Dec 05, 5-6 PM (0)
Dec 05, 6-7 PM (0)
Dec 05, 7-8 PM (0)
Dec 05, 8-9 PM (0)
Dec 05, 9-10 PM (0)
Dec 05, 10-11 PM (0)
Dec 05, 11-12 AM (0)
Dec 06, 12-1 AM (0)
Dec 06, 1-2 AM (0)
Dec 06, 2-3 AM (0)
Dec 06, 3-4 AM (0)
Dec 06, 4-5 AM (0)
Dec 06, 5-6 AM (0)
Dec 06, 6-7 AM (0)
Dec 06, 7-8 AM (0)
Dec 06, 8-9 AM (0)
Dec 06, 9-10 AM (0)
Dec 06, 10-11 AM (0)
Dec 06, 11-12 PM (0)
Dec 06, 12-1 PM (0)
Dec 06, 1-2 PM (0)
Dec 06, 2-3 PM (0)
Dec 06, 3-4 PM (0)
Dec 06, 4-5 PM (0)
Dec 06, 5-6 PM (0)
Dec 06, 6-7 PM (0)
Dec 06, 7-8 PM (0)
Dec 06, 8-9 PM (0)
Dec 06, 9-10 PM (0)
Dec 06, 10-11 PM (0)
Dec 06, 11-12 AM (0)
Dec 07, 12-1 AM (0)
Dec 07, 1-2 AM (0)
Dec 07, 2-3 AM (0)
Dec 07, 3-4 AM (0)
Dec 07, 4-5 AM (0)
Dec 07, 5-6 AM (0)
Dec 07, 6-7 AM (0)
Dec 07, 7-8 AM (0)
Dec 07, 8-9 AM (0)
Dec 07, 9-10 AM (0)
Dec 07, 10-11 AM (0)
Dec 07, 11-12 PM (0)
Dec 07, 12-1 PM (0)
Dec 07, 1-2 PM (0)
Dec 07, 2-3 PM (0)
Dec 07, 3-4 PM (0)
Dec 07, 4-5 PM (0)
Dec 07, 5-6 PM (0)
Dec 07, 6-7 PM (0)
Dec 07, 7-8 PM (0)
Dec 07, 8-9 PM (0)
Dec 07, 9-10 PM (0)
Dec 07, 10-11 PM (0)
Dec 07, 11-12 AM (0)
Dec 08, 12-1 AM (0)
Dec 08, 1-2 AM (0)
Dec 08, 2-3 AM (0)
Dec 08, 3-4 AM (0)
Dec 08, 4-5 AM (0)
Dec 08, 5-6 AM (0)
Dec 08, 6-7 AM (0)
Dec 08, 7-8 AM (0)
Dec 08, 8-9 AM (0)
Dec 08, 9-10 AM (0)
Dec 08, 10-11 AM (0)
Dec 08, 11-12 PM (0)
Dec 08, 12-1 PM (0)
Dec 08, 1-2 PM (6)
Dec 08, 2-3 PM (2)
Dec 08, 3-4 PM (0)
Dec 08, 4-5 PM (0)
Dec 08, 5-6 PM (0)
Dec 08, 6-7 PM (0)
Dec 08, 7-8 PM (0)
Dec 08, 8-9 PM (0)
Dec 08, 9-10 PM (0)
Dec 08, 10-11 PM (0)
Dec 08, 11-12 AM (0)
Dec 09, 12-1 AM (0)
Dec 09, 1-2 AM (0)
Dec 09, 2-3 AM (0)
Dec 09, 3-4 AM (0)
Dec 09, 4-5 AM (0)
Dec 09, 5-6 AM (0)
Dec 09, 6-7 AM (0)
Dec 09, 7-8 AM (0)
Dec 09, 8-9 AM (0)
Dec 09, 9-10 AM (0)
Dec 09, 10-11 AM (0)
Dec 09, 11-12 PM (1)
Dec 09, 12-1 PM (0)
Dec 09, 1-2 PM (0)
Dec 09, 2-3 PM (0)
Dec 09, 3-4 PM (8)
Dec 09, 4-5 PM (2)
Dec 09, 5-6 PM (0)
Dec 09, 6-7 PM (0)
Dec 09, 7-8 PM (0)
Dec 09, 8-9 PM (0)
Dec 09, 9-10 PM (0)
Dec 09, 10-11 PM (0)
Dec 09, 11-12 AM (0)
Dec 10, 12-1 AM (0)
Dec 10, 1-2 AM (0)
Dec 10, 2-3 AM (0)
Dec 10, 3-4 AM (0)
Dec 10, 4-5 AM (0)
Dec 10, 5-6 AM (0)
Dec 10, 6-7 AM (0)
Dec 10, 7-8 AM (0)
Dec 10, 8-9 AM (0)
Dec 10, 9-10 AM (0)
Dec 10, 10-11 AM (3)
Dec 10, 11-12 PM (4)
Dec 10, 12-1 PM (0)
Dec 10, 1-2 PM (0)
Dec 10, 2-3 PM (0)
Dec 10, 3-4 PM (1)
Dec 10, 4-5 PM (0)
Dec 10, 5-6 PM (0)
Dec 10, 6-7 PM (0)
Dec 10, 7-8 PM (0)
Dec 10, 8-9 PM (0)
Dec 10, 9-10 PM (0)
Dec 10, 10-11 PM (0)
Dec 10, 11-12 AM (0)
Dec 11, 12-1 AM (0)
Dec 11, 1-2 AM (0)
Dec 11, 2-3 AM (0)
Dec 11, 3-4 AM (0)
Dec 11, 4-5 AM (0)
Dec 11, 5-6 AM (0)
Dec 11, 6-7 AM (0)
Dec 11, 7-8 AM (0)
Dec 11, 8-9 AM (0)
Dec 11, 9-10 AM (0)
Dec 11, 10-11 AM (0)
Dec 11, 11-12 PM (0)
Dec 11, 12-1 PM (0)
Dec 11, 1-2 PM (5)
Dec 11, 2-3 PM (0)
Dec 11, 3-4 PM (0)
51 commits this week
Dec 04, 2025
-
Dec 11, 2025
Update to cuddle version 1.1
Apply code review suggestions
Adjust cuddle usage to latest changes
Adjust to new plutus version 1.56
and add lower bound in core
Modify test to not depend on 0 threshold for CC
Apply code review suggestions
Regenerate cddl files
[wip] - SRP to cuddle version to be released
Replace with updating version number update after cuddle release
[wip] - SRP to cuddle version to be released
Replace with updating version number update after cuddle release
Regenerate cddl files
Apply code review suggestions
Adjust cuddle usage to latest changes
Add a new BBODY Imp test for Alonzo
Remove obsolete AlonzoBBODY tests from cardano-ledger-test
Adjust code to new cuddle version
CDDL: Move cddl-files to cddl/data.
Improve `writeSpec` to validate filepath.
CDDL: Replace huddle-cddl with generate-cddl
CDDL:Alonzo: exUnitPricesRule requiredSignersRule
CDDL:Mary: Export assetNameRule for reuse
CDDL:Babbage: Export more reusable rules.
* alonzoTransactionOutputRule * dataRule * datumOptionRule
CDDL:Conway: Export CDDL definition for reuse.
* dnsNameRule * urlRule * voteRule * drepCredentialRule * committeeHotCredentialRule * committeeColCredentialRule * policyHashRule * potentialLanguagesRule
CDDL:Dijkstra: Typeclasses-based definitions
Change all List to NonEmpty in predicate failures
add Haskell Benchmark (customSmallerIsBetter) benchmark result for fbab167e461f639ba4ff6469b7d24e22d09fc82d