Merge pull request #5476 from IntersectMBO/peras/block-cert-validation
Add Peras Certificate validation
Home /
Input Output /
cardano-ledger-specs
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)
Dec 11, 4-5 PM (0)
Dec 11, 5-6 PM (0)
Dec 11, 6-7 PM (0)
Dec 11, 7-8 PM (0)
Dec 11, 8-9 PM (0)
Dec 11, 9-10 PM (0)
Dec 11, 10-11 PM (0)
Dec 11, 11-12 AM (0)
Dec 12, 12-1 AM (0)
Dec 12, 1-2 AM (0)
Dec 12, 2-3 AM (0)
Dec 12, 3-4 AM (0)
Dec 12, 4-5 AM (0)
Dec 12, 5-6 AM (0)
Dec 12, 6-7 AM (0)
Dec 12, 7-8 AM (0)
Dec 12, 8-9 AM (1)
Dec 12, 9-10 AM (0)
Dec 12, 10-11 AM (0)
Dec 12, 11-12 PM (0)
Dec 12, 12-1 PM (0)
Dec 12, 1-2 PM (0)
Dec 12, 2-3 PM (0)
Dec 12, 3-4 PM (0)
Dec 12, 4-5 PM (0)
Dec 12, 5-6 PM (0)
Dec 12, 6-7 PM (0)
Dec 12, 7-8 PM (0)
Dec 12, 8-9 PM (0)
Dec 12, 9-10 PM (0)
Dec 12, 10-11 PM (0)
Dec 12, 11-12 AM (0)
Dec 13, 12-1 AM (0)
Dec 13, 1-2 AM (0)
Dec 13, 2-3 AM (0)
Dec 13, 3-4 AM (0)
Dec 13, 4-5 AM (0)
Dec 13, 5-6 AM (0)
Dec 13, 6-7 AM (0)
Dec 13, 7-8 AM (0)
Dec 13, 8-9 AM (0)
Dec 13, 9-10 AM (0)
Dec 13, 10-11 AM (0)
Dec 13, 11-12 PM (0)
Dec 13, 12-1 PM (0)
Dec 13, 1-2 PM (0)
Dec 13, 2-3 PM (0)
Dec 13, 3-4 PM (0)
Dec 13, 4-5 PM (0)
Dec 13, 5-6 PM (0)
Dec 13, 6-7 PM (0)
Dec 13, 7-8 PM (0)
Dec 13, 8-9 PM (0)
Dec 13, 9-10 PM (0)
Dec 13, 10-11 PM (0)
Dec 13, 11-12 AM (0)
Dec 14, 12-1 AM (0)
Dec 14, 1-2 AM (0)
Dec 14, 2-3 AM (0)
Dec 14, 3-4 AM (0)
Dec 14, 4-5 AM (0)
33 commits this week
Dec 07, 2025
-
Dec 14, 2025
Regenerate cddl files
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