IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

Improved performance when adding epochs #554

Closed Soupstraw closed 3 months ago

Soupstraw commented 3 months ago

Description

Adding Epochs using _+ᵉ_ is currently very slow because it's operating on Peano numbers. This PR adds a more efficient addition function for adding epochs.

Checklist

[ ] Commit sequence broadly makes sense and commits have useful messages
[ ] Code is formatted according to CONTRIBUTING.md
[ ] Self-reviewed the diff