-
Notifications
You must be signed in to change notification settings - Fork 15
Insights: IntersectMBO/formal-ledger-specifications
Overview
4 Pull requests merged by 3 people
-
Improve the error message when a file hasn't been type checked
#643 merged
Feb 17, 2025 -
Bump the nix channel from 21.05 to 24.05
#690 merged
Feb 17, 2025 -
408 document changes to fee calculation wr ref scripts
#685 merged
Feb 12, 2025 -
Moved action specific predicates to actionWellFormed and fix a conformance failure
#673 merged
Feb 11, 2025
2 Pull requests opened by 1 person
-
Simplify isUnregisteredDRep
#684 opened
Feb 12, 2025 -
Refactor GOV from conformance
#688 opened
Feb 14, 2025
2 Issues closed by 1 person
-
document: donation field in tx
#687 closed
Feb 14, 2025 -
document: changes to fee calculation w.r. ref scripts
#408 closed
Feb 12, 2025
4 Issues opened by 4 people
-
add entry to Makefile for generating a real Everything.agda file
#689 opened
Feb 14, 2025 -
Combine Sections 1 and 2
#686 opened
Feb 13, 2025 -
Review the Conway diff spec
#683 opened
Feb 11, 2025 -
Add links to libraries used by this spec to the README
#682 opened
Feb 11, 2025
7 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
agda2vec introduces extra empty lines
#666 commented on
Feb 17, 2025 • 6 new comments -
641-incorporate-feedback-from-the-second-audit
#662 commented on
Feb 17, 2025 • 1 new comment -
Literate Agda using markdown
#680 commented on
Feb 12, 2025 • 0 new comments -
add entry to Makefile for generating a more complete Everything.agda
#55 commented on
Feb 14, 2025 • 0 new comments -
PDF cleanup: explain sigma and pi types
#276 commented on
Feb 14, 2025 • 0 new comments -
652 remove superscripts from rec constr
#655 commented on
Feb 17, 2025 • 0 new comments -
Reference previous specifications & other material
#659 commented on
Feb 17, 2025 • 0 new comments