Skip to content

Issues: IntersectMBO/formal-ledger-specifications

Beta
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

88 Open 224 Closed
88 Open 224 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

Discussion: Levels of detail in human-readable document discussion
#779 opened May 9, 2025 by HeinrichApfelmus
1
Align naming with the implementation
#778 opened May 8, 2025 by Soupstraw
Preparing the repo for Dijkstra era era: dijkstra
#777 opened May 7, 2025 by carlostome
1
2
What to do with the module reference discussion documentation Improvements or additions to documentation
#775 opened Apr 30, 2025 by WhatisRT
Refactor some inconsistent field names discuss in meeting Things to discuss in the next formal ledger meeting easy refactor
#766 opened Apr 25, 2025 by williamdemeo
1
Use lenses for accessing/updating record fields enhancement New feature or request
#763 opened Apr 22, 2025 by carlostome
Implement FFI for ValueVector
#762 opened Apr 22, 2025 by carlostome
Rethink Token Algebra discussion
#761 opened Apr 22, 2025 by carlostome
Confusing section links documentation Improvements or additions to documentation
#756 opened Apr 14, 2025 by WhatisRT
@williamdemeo
2
LaTeX error — Alignment of Agda code fails
#753 opened Apr 10, 2025 by HeinrichApfelmus
1
Fix TODO in governance actions enhancement New feature or request
#737 opened Mar 27, 2025 by carlostome
Fix bug introduced by doing CERTBASE first bug Something isn't working
#726 opened Mar 24, 2025 by williamdemeo
@williamdemeo
1
Remaining Babbage features/proofs
#724 opened Mar 21, 2025 by javierdiaz72
12 tasks
@javierdiaz72
1
Remaining Alonzo features/proofs
#723 opened Mar 21, 2025 by Ali-Hill
20 tasks
1
Value-TokenAlgebra cannot be instantiated
#711 opened Mar 11, 2025 by Ali-Hill
1
Add createRUpd
#706 opened Mar 5, 2025 by HeinrichApfelmus
1
Refactor accepted predicate in Ratify enhancement New feature or request
#702 opened Feb 26, 2025 by carlostome
Magic numbers in the specification
#699 opened Feb 24, 2025 by WhatisRT
1
Use positive (nonzero) natural numbers
#694 opened Feb 21, 2025 by carlostome
1
Should we use dependent sum and product types visibly?
#691 opened Feb 18, 2025 by WhatisRT
Combine Sections 1 and 2 documentation Improvements or additions to documentation
#686 opened Feb 13, 2025 by carlostome
Add links to libraries used by this spec to the README
#682 opened Feb 11, 2025 by polinavino
3
Literate Agda using markdown discussion documentation Improvements or additions to documentation
#680 opened Feb 5, 2025 by ch1bo
14
Complete the implementation of stakeDistr
#679 opened Feb 5, 2025 by carlostome
Use dependent types for PParams enhancement New feature or request
#678 opened Feb 4, 2025 by carlostome
1
ProTip! Updated in the last three days: updated:>2025-05-10.