IntersectMBO / IntersectMBO/cardano-ledger
Constraints and properties for Conway related governance rules
Open
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
Here is a list of rules that have been introduced or changed drastically in Conway, which should be the first ones that we test. This is also the order in which tests should be implemented:
* [ ] - GOV: #3784
* [ ] - DELEG: #3813
* [ ] - GOVCERT: #3812
* [ ] - CERTS: #3814
* [ ] - RATIFY: #3815
* [ ] - ENACT: #3816
* [ ] - EPOCH: #3817
Contributor guide
Assessment
This issue has not been assessed yet.