search

IntersectMBO / cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.
Apache License 2.0
250 stars 157 forks source link

Generate CDDL spec from Huddle #4461

Open lehins opened 1 week ago

lehins commented 1 week ago

After #4125 is done we need to define an executable in cardano-ledger-conway that will generate cddl specification.

Once we are confident that results match up semantically to the original CDDL specification, we can remove the manually defined CDDL spec.