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

74 Open 184 Closed
74 Open 184 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Make the usage of field keyword consistent
#656 opened Jan 29, 2025 by carlostome
Conformance failure: Empty withdrawals are valid in the spec but not in the implementation conformance era: conway
#654 opened Jan 28, 2025 by Soupstraw
1
agda2vec introduces extra empty lines bug Something isn't working
#653 opened Jan 28, 2025 by carlostome
Remove superscripts from ⟦_,...,_⟧ (probably via a typeclass)
#652 opened Jan 27, 2025 by carlostome
1
@carlostome
Upstream lemmas from Ledger.Conway.Conformance.Equivalence.Map good first issue Good for newcomers
#644 opened Jan 14, 2025 by WhatisRT
Conformance failure: Spec reports that pool is not registered for voting bug Something isn't working conformance era: conway investigation
#642 opened Jan 10, 2025 by aniketd
2
Incorporate feedback from the second audit documentation Improvements or additions to documentation era: conway
#641 opened Jan 9, 2025 by WhatisRT
@carlostome
Complete the implementation of stake pools and their scheduled retirement bug Something isn't working conformance era: shelley
#640 opened Jan 8, 2025 by aniketd
Conformance failure: DRep delegations are not removed after the DRep is deregistered bug Something isn't working conformance era: conway
#635 opened Jan 6, 2025 by Soupstraw
1
Check committee member on cold-key resignation in GOVCERT rule conformance era: conway
#634 opened Dec 20, 2024 by teodanciu
@williamdemeo
4
Rename BaseAddr
#625 opened Dec 5, 2024 by WhatisRT
Pass Globals externally to the executable spec instead of hardcoding conformance era: conway
#624 opened Dec 5, 2024 by Soupstraw
Add diagrams to pdf documentation Improvements or additions to documentation
#621 opened Dec 3, 2024 by williamdemeo
1
@williamdemeo
1
Give proper implmementations to the functions in AbstractFunctions conformance era: conway
#620 opened Dec 3, 2024 by Soupstraw
PDF Cleanup: figure formatting problems documentation Improvements or additions to documentation easy era: conway
#602 opened Nov 1, 2024 by williamdemeo
7 tasks
@williamdemeo
Rename top-level generated module ci enhancement New feature or request good first issue Good for newcomers
#595 opened Oct 14, 2024 by ghost
3
Roadmap
#572 opened Sep 17, 2024 by WhatisRT
Downstream agda-stdlib changes (related to lemmas about lists) enhancement New feature or request good first issue Good for newcomers
#563 opened Sep 10, 2024 by omelkonian
Improve output of genErrors conformance enhancement New feature or request
#546 opened Aug 15, 2024 by WhatisRT
3 tasks
1
3
Vertical vectors have too much whitespace documentation Improvements or additions to documentation
#523 opened Jul 26, 2024 by WhatisRT Aug - Oct
Investigate LaTeX issue documentation Improvements or additions to documentation investigation upstream bug
#499 opened Jul 5, 2024 by WhatisRT
1
Update the color of names that have been moved to type classes documentation Improvements or additions to documentation
#497 opened Jul 4, 2024 by WhatisRT
3 tasks
Aug - Oct
Prove that all delegations are to existing pools era: shelley property
#468 opened Jun 13, 2024 by WhatisRT Aug - Oct
Add REAP STS enhancement New feature or request era: conway era: shelley
#455 opened Jun 5, 2024 by WhatisRT
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
ProTip! Adding no:label will show everything without a label.