-
Notifications
You must be signed in to change notification settings - Fork 15
Pull requests: IntersectMBO/formal-ledger-specifications
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Moved action specific predicates to actionWellFormed and fix a conformance failure
#673
opened Feb 4, 2025 by
Soupstraw
Loading…
4 tasks
Remove unused parameter in function stakeDistr
#670
opened Feb 3, 2025 by
carlostome
Loading…
4 tasks done
641-incorporate-feedback-from-the-second-audit
#662
opened Jan 30, 2025 by
carlostome
•
Draft
5 of 25 tasks
Reference previous specifications & other material
#659
opened Jan 30, 2025 by
williamdemeo
•
Draft
4 tasks
Make the usage of field keyword consistent
#658
opened Jan 30, 2025 by
williamdemeo
Loading…
3 of 4 tasks
Improve the error message when a file hasn't been type checked
#643
opened Jan 14, 2025 by
WhatisRT
Loading…
4 tasks done
PDF cleanup 282: hide use of
open
for records in pdf
#364
opened Feb 14, 2024 by
williamdemeo
Loading…
3 tasks done
PDF cleanup 282: remove
uncurry
from code appearing in pdf
#358
opened Feb 9, 2024 by
williamdemeo
•
Draft
3 tasks
ProTip!
Mix and match filters to narrow down what you’re looking for.