Rearranging some of the duplicated code (#582)

IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

Rearranging some of the duplicated code (#582) #598

Closed UlfNorell closed 1 month ago

UlfNorell commented 1 month ago

Fixes #582

Lucsanszky commented 1 month ago

Great, thank you! The removal of the duplicate GlobalConstants and TransactionStructure seems to already have caught a difference!

@Soupstraw can you check that this does not break any conformance tests?

As Joosep is currently on holiday, I'll have a look soon.