Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Define CDDL via Huddle in shelley-ma #4557

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

Define CDDL via Huddle in shelley-ma #4557

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
2a9488c
Move extras and crypto types to core CDDL
nc6 Aug 13, 2024
ed05a18
Define Shelley CDDL via Huddle
nc6 Aug 13, 2024
830e1c4
Generate Shelley CDDL using Huddle.
nc6 Aug 13, 2024
529bdd3
Use common CDDL definitions from Shelley.
nc6 Aug 15, 2024
16106f4
Fourmolu
nc6 Aug 15, 2024
9c7954d
Update gen-cddl script to handle multiple eras
nc6 Aug 15, 2024
f87081c
Update hie file.
nc6 Aug 19, 2024
abeb131
Reintroduce detailed comments in CDDL.
nc6 Aug 16, 2024
bd29e18
Add a CDDL root element.
nc6 Aug 16, 2024
1759af1
Update a comment describing change in behavior of hashIntegrity
lehins Aug 20, 2024
9ea8ff4
Define CDDL for Allegra in Huddle.
nc6 Aug 21, 2024
8c36768
Define CDDL for Mary in Huddle.
nc6 Aug 21, 2024
bcd26f0
Update gen-cddl script for Mary and Allegra.
nc6 Aug 21, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions eras/allegra/impl/cardano-ledger-allegra.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -84,6 +84,7 @@ library testlib
exposed-modules:
Test.Cardano.Ledger.Allegra.Arbitrary
Test.Cardano.Ledger.Allegra.Binary.Cddl
Test.Cardano.Ledger.Allegra.CDDL
Test.Cardano.Ledger.Allegra.Imp
Test.Cardano.Ledger.Allegra.Imp.UtxowSpec
Test.Cardano.Ledger.Allegra.ImpTest
Expand All @@ -107,13 +108,29 @@ library testlib
cardano-ledger-shelley:{cardano-ledger-shelley, testlib},
cardano-strict-containers,
containers,
cuddle,
generic-random,
microlens,
mtl,
small-steps,
text,
QuickCheck

executable huddle-cddl
main-is: Main.hs
hs-source-dirs: huddle-cddl
other-modules: Paths_cardano_ledger_allegra
default-language: Haskell2010
ghc-options:
-Wall -Wcompat -Wincomplete-record-updates
-Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
-Wunused-packages -threaded -rtsopts -with-rtsopts=-N

build-depends:
base,
testlib,
cardano-ledger-binary:testlib >=1.3.4.0

test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
Expand Down
Loading
Loading