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

Fix duplication introduced by #659
#692 by WhatisRT was merged Feb 20, 2025 Loading…
4 tasks done
1
Bump the nix channel from 21.05 to 24.05
#690 by WhatisRT was merged Feb 17, 2025 Loading…
4 tasks done
408 document changes to fee calculation wr ref scripts
#685 by carlostome was merged Feb 12, 2025 Loading…
4 tasks done
1
2
Simplify isUnregisteredDRep
#684 by carlostome was merged Feb 19, 2025 Loading…
4 tasks done
1
document: donation field in tx
#687 by ashisherc was closed Feb 14, 2025
1
Small typo on page 11
#676 by williamdemeo was merged Feb 4, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
1
Moved action specific predicates to actionWellFormed and fix a conformance failure
#673 by Soupstraw was merged Feb 11, 2025 Loading…
4 tasks
6
Use cleveref package documentation Improvements or additions to documentation latex this is latex specific
#672 by carlostome was closed Feb 10, 2025
1
Remove unused parameter in function stakeDistr
#670 by carlostome was closed Feb 5, 2025 • Draft
4 tasks done
@carlostome
1
Empty withdrawals condition fix
#669 by Soupstraw was merged Feb 4, 2025 Loading…
4 tasks
1
Small typo on page 11 documentation Improvements or additions to documentation easy
#668 by Quantumplation was closed Feb 4, 2025
1
agda2vec introduces extra empty lines
#666 by williamdemeo was merged Feb 18, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
8
Address feedback from Audit 6
#665 by williamdemeo was closed Jan 31, 2025
6 tasks
1
1
641-incorporate-feedback-from-the-second-audit
#662 by carlostome was merged Feb 18, 2025 Loading…
25 tasks done
2
@carlostome
8
Disallow empty withdrawal proposals
#661 by Soupstraw was merged Jan 31, 2025 Loading…
4 tasks
1
7
Added some protocol parameters to the security group
#660 by Soupstraw was merged Jan 31, 2025 Loading…
4 tasks
1
Reference previous specifications & other material
#659 by williamdemeo was merged Feb 20, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
46
Make the usage of field keyword consistent
#658 by williamdemeo was merged Feb 6, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
11
Adding Structured Contracts Framework
#657 by polinavino was merged Jan 31, 2025 Loading…
4 tasks
@WhatisRT @Ali-Hill
11
Make the usage of field keyword consistent
#656 by carlostome was closed Feb 6, 2025
1
@williamdemeo
652 remove superscripts from rec constr
#655 by carlostome was merged Feb 19, 2025 Loading…
3 of 4 tasks
1
@carlostome
36
Conformance failure: Empty withdrawals are valid in the spec but not in the implementation conformance era: conway
#654 by Soupstraw was closed Jan 31, 2025
1
@Soupstraw
2
agda2vec introduces extra empty lines bug Something isn't working
#653 by carlostome was closed Feb 18, 2025
1
@williamdemeo
1
Remove superscripts from ⟦_,...,_⟧ (probably via a typeclass)
#652 by carlostome was closed Feb 19, 2025
1
@carlostome
Fix indentation of record fields in PDF
#651 by carlostome was merged Jan 24, 2025 Loading…
4 tasks done
2
ProTip! Updated in the last three days: updated:>2025-02-17.