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

Clear current search query, filters, and sorts
85 Open 607 Closed
85 Open 607 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

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
Refactor GOV from conformance
#688 opened Feb 14, 2025 by carlostome Loading…
5 tasks done
@carlostome
3
Combine Sections 1 and 2 documentation Improvements or additions to documentation
#686 opened Feb 13, 2025 by carlostome
Review the Conway diff spec
#683 opened Feb 11, 2025 by WhatisRT
33 tasks
1
Add links to libraries used by this spec to the README
#682 opened Feb 11, 2025 by polinavino
3
Use LaTeX best practices and packages documentation Improvements or additions to documentation latex this is latex specific
#681 opened Feb 7, 2025 by carlostome
3
Literate Agda using markdown discussion documentation Improvements or additions to documentation
#680 opened Feb 5, 2025 by ch1bo
11
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
cardano-ledger.pdf improvements
#674 opened Feb 4, 2025 by williamdemeo • Draft
4 tasks
1
@williamdemeo
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
cardano-ledger.pdf clean up
#663 opened Jan 30, 2025 by williamdemeo
4 of 19 tasks
1
2
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
Add diagrams to pdf
#639 opened Jan 8, 2025 by williamdemeo • Draft
4 tasks
1
@williamdemeo
7
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
ProTip! Find all open issues with in progress development work with linked:pr.