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

87 Open 201 Closed
87 Open 201 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

Refactor checkTypeChecked.sh good first issue Good for newcomers 🛠️ infrastructure
#717 opened Mar 14, 2025 by carlostome
Add definitions to full ledger spec discuss in meeting Things to discuss in the next formal ledger meeting documentation Improvements or additions to documentation good first issue Good for newcomers notation Issues with notation in the PDF
#713 opened Mar 12, 2025 by williamdemeo
1
Value-TokenAlgebra cannot be instantiated
#711 opened Mar 11, 2025 by Ali-Hill
1
Clean build system and organize repo 🛠️ infrastructure
#709 opened Mar 11, 2025 by carlostome
2
Add createRUpd
#706 opened Mar 5, 2025 by HeinrichApfelmus
Refactor accepted predicate in Ratify enhancement New feature or request
#702 opened Feb 26, 2025 by carlostome
Define _~_ (in Gov.lagda) primitively enhancement New feature or request
#701 opened Feb 24, 2025 by carlostome
1
Bug in To bug Something isn't working
#700 opened Feb 24, 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
add entry to Makefile for generating a real Everything.agda file discussion
#689 opened Feb 14, 2025 by williamdemeo
1
1
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
12
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
Should we show how STS relations are inductive datatypes? discussion documentation Improvements or additions to documentation
#677 opened Feb 4, 2025 by WhatisRT
8
Remaining Shelley features/proofs
#675 opened Feb 4, 2025 by williamdemeo
6 tasks
@carlostome @williamdemeo
6
Conformance failure: Treasury withdrawal recipients must be registered conformance era: conway
#671 opened Feb 3, 2025 by Soupstraw
Internal & community feedback documentation Improvements or additions to documentation
#667 opened Jan 31, 2025 by WhatisRT
4 tasks
1
Discuss changing the well-formedness check of TreasuryWdrl era: dijkstra
#664 opened Jan 31, 2025 by WhatisRT
1
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
5
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
ProTip! Follow long discussions with comments:>50.