-
Notifications
You must be signed in to change notification settings - Fork 13
Issues: IntersectMBO/formal-ledger-specifications
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Prove an equivalence between the two ledgers
blocked
conformance
era: conway
#585
opened Sep 30, 2024 by
WhatisRT
Rearranging some of the duplicate code
conformance
era: conway
#582
opened Sep 26, 2024 by
WhatisRT
3 tasks
Change the way SPO votes are counted
conformance
era: conway
intra-era-hardfork
#578
opened Sep 24, 2024 by
williamdemeo
Improve output of New feature or request
genErrors
conformance
enhancement
#546
opened Aug 15, 2024 by
WhatisRT
3 tasks
Convertible instance for collateral percentage parameter defaults to zero for Something isn't working
conformance
era: conway
haskell interface
from
bug
#450
opened Jun 4, 2024 by
aniketd
ProTip!
What’s not been updated in a month: updated:<2024-09-17.