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

81 Open 155 Closed
81 Open 155 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

Rename top-level generated module ci enhancement New feature or request
#595 opened Oct 14, 2024 by abailly-iohk
3
Properly implement isSigned
#593 opened Oct 10, 2024 by Soupstraw
Align deposit calculations in the Haskell version of the spec with the implementation
#590 opened Oct 7, 2024 by Soupstraw
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
1
@williamdemeo
Roadmap
#572 opened Sep 17, 2024 by WhatisRT
Issues discovered late during Conway development era: conway
#570 opened Sep 13, 2024 by WhatisRT
2
[FUTURE] 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
Update to Agda 2.7 enhancement New feature or request
#561 opened Aug 30, 2024 by WhatisRT Aug - Oct
1
Improve output of genErrors conformance enhancement New feature or request
#546 opened Aug 15, 2024 by WhatisRT
3 tasks
1
3
CERTS needs to do the base case first bug Something isn't working conformance era: shelley
#545 opened Aug 15, 2024 by WhatisRT Aug - Oct
Vertical vectors have too much whitespace documentation Improvements or additions to documentation
#523 opened Jul 26, 2024 by WhatisRT Aug - Oct
Cannot register and deregister (or the other way) the same stake credential in the same transaction bug Something isn't working conformance era: conway
#512 opened Jul 15, 2024 by WhatisRT
2 tasks
May - Jul
1
@UlfNorell @williamdemeo
5
Should we only allow DRep delegations to existing DReps? discussion era: dijkstra
#511 opened Jul 15, 2024 by WhatisRT
1
Fix LaTeX warnings documentation Improvements or additions to documentation
#505 opened Jul 11, 2024 by WhatisRT
6 tasks
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
Votes in the state must be by registered entities conformance era: conway
#491 opened Jul 1, 2024 by WhatisRT May - Jul
1
@javierdiaz72
Check that the cold credential exists when delegating hot credential conformance era: conway
#490 opened Jul 1, 2024 by WhatisRT May - Jul
1
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
Should we have a Composable type class? discussion documentation Improvements or additions to documentation
#436 opened May 27, 2024 by WhatisRT Aug - Oct
Nix-less instructions to build the library
#431 opened May 25, 2024 by abailly
3
ProTip! Exclude everything labeled bug with -label:bug.