IntersectMBO / IntersectMBO/formal-ledger-specifications
Add `REAP` STS
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
We have `POOLREAP` in Shelley, and a lot of the logic for refunding GA deposits is shared with that. So it makes sense to implement that STS, but rename it since it's not just pools anymore. I like `REAP`, but suggestions are welcome.
We'll do this after the first release of the Conway spec, except if we run out of work before.
-----
Update: after some analysis, it was deemed unnecessary to factor out code from GOVREAP. An independent specification makes easier following the shelley spec and follows the implementation closer as well.
After rebasing #719 on top of `master` we got #832, and later on #852.
By now we have hooked POOLREAP into the EPOCH transition. We are updating proofs after the change.
Contributor guide
Assessment
This issue has not been assessed yet.