Generate CDDL spec from Huddle #4461
Comments
This was referenced Jul 2, 2024
nc6
added a commit
that referenced
this issue
Jul 25, 2024
This addresses issue #4461 We add two things: - A haskell tool to generate the CDDL files - A script which verifies if any Cuddle specs have changed, and invokes the tool if so. Both of these would need to be updated in case additional Cuddle specs were added. The tool can be invoked with `cabal run cardano-cddl`.
nc6
added a commit
that referenced
this issue
Jul 26, 2024
This addresses issue #4461 We add two things: - A haskell tool to generate the CDDL files - A script which verifies if any Cuddle specs have changed, and invokes the tool if so. Both of these would need to be updated in case additional Cuddle specs were added. The tool can be invoked with `cabal run cardano-cddl`.
lehins
pushed a commit
that referenced
this issue
Jul 30, 2024
This addresses issue #4461 We add two things: - A haskell tool to generate the CDDL files - A script which verifies if any Cuddle specs have changed, and invokes the tool if so. Both of these would need to be updated in case additional Cuddle specs were added. The tool can be invoked with `cabal run cardano-cddl`.
lehins
pushed a commit
that referenced
this issue
Jul 31, 2024
This addresses issue #4461 We add two things: - A haskell tool to generate the CDDL files - A script which verifies if any Cuddle specs have changed, and invokes the tool if so. Both of these would need to be updated in case additional Cuddle specs were added. The tool can be invoked with `cabal run cardano-cddl`.
|
Addressed by #4437 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
After #4125 is done we need to define an executable in
cardano-ledger-conwaythat will generatecddlspecification.Once we are confident that results match up semantically to the original CDDL specification, we can remove the manually defined CDDL spec.
The text was updated successfully, but these errors were encountered: