Skip to content

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.

Sign up for GitHub

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

80 Open 104 Closed
80 Open 104 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Conway spec proofreading documentation Improvements or additions to documentation era: conway
#457 opened Jun 7, 2024 by WhatisRT May - Jul
Add stake distribution calculation enhancement New feature or request era: conway era: shelley
#456 opened Jun 5, 2024 by WhatisRT May - Jul
Add REAP STS enhancement New feature or request era: conway era: shelley
#455 opened Jun 5, 2024 by WhatisRT
Add reward calculation bug Something isn't working conformance documentation Improvements or additions to documentation
#453 opened Jun 5, 2024 by WhatisRT May - Jul
document: how are the existing stake key deposits are tracked? documentation Improvements or additions to documentation era: conway
#452 opened Jun 5, 2024 by ashisherc May - Jul
1
1
document: is the stake key deposit counted towards staked ADA? documentation Improvements or additions to documentation era: conway
#451 opened Jun 5, 2024 by ashisherc May - Jul
1
Convertible instance for collateral percentage parameter defaults to zero for from bug Something isn't working conformance era: conway haskell interface
#450 opened Jun 4, 2024 by aniketd
Notation for (co)restriction notation Issues with notation in the PDF
#447 opened Jun 4, 2024 by WhatisRT May - Jul
1
1
Naming of mapPartial discussion notation Issues with notation in the PDF
#446 opened Jun 4, 2024 by WhatisRT May - Jul
1
4
What to do about Set in the PDF? documentation Improvements or additions to documentation notation Issues with notation in the PDF
#444 opened Jun 3, 2024 by WhatisRT May - Jul
1
6
Remove add field and constructor keywords from the PDF documentation Improvements or additions to documentation
#441 opened Jun 3, 2024 by WhatisRT May - Jul
\hldiff for Agda code documentation Improvements or additions to documentation
#437 opened May 28, 2024 by WhatisRT May - Jul
Should we have a Composable type class? discussion documentation Improvements or additions to documentation
#436 opened May 27, 2024 by WhatisRT May - Jul
Nix-less instructions to build the library
#431 opened May 25, 2024 by abailly
3
Match RATIFY logic with the implementation bug Something isn't working conformance era: conway
#430 opened May 24, 2024 by WhatisRT May - Jul
Remove unenactable governance actions in EPOCH bug Something isn't working conformance era: conway
#429 opened May 24, 2024 by WhatisRT May - Jul
Ratify governance actions in the correct order bug Something isn't working conformance era: conway
#427 opened May 21, 2024 by WhatisRT May - Jul
Property: allEnactable is an invariant of CHAIN blocked era: conway property
#419 opened May 6, 2024 by WhatisRT May - Jul
Properties about the rewards map property
#418 opened May 6, 2024 by WhatisRT May - Jul
Property: When a voter votes, that vote is applied to the GA era: conway property
#417 opened May 6, 2024 by WhatisRT May - Jul
Add the ability to talk about Plutus versions enhancement New feature or request
#416 opened May 6, 2024 by WhatisRT May - Jul
Property: The voting power of stake credentials doesn't decrease on GA proposals blocked era: conway property
#415 opened May 6, 2024 by WhatisRT
Property: GA deposits are eventually refunded era: conway possibly difficult property
#414 opened May 6, 2024 by WhatisRT May - Jul
Property: If a transaction contains k proposals, the deposit pot for governance actions grows by k * govDeposit. easy era: conway property
#413 opened May 6, 2024 by WhatisRT May - Jul
Property: EnactState only changes when governance actions are enacted era: conway property
#412 opened May 3, 2024 by WhatisRT May - Jul
ProTip! Add no:assignee to see everything that’s not assigned.