![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 57a2d5421277e949c12bae9763a9f5f4fc9ece11
Home /
Input Output /
formal-ledger-specifications
Oct 25, 12-1 AM (0)
Oct 25, 1-2 AM (0)
Oct 25, 2-3 AM (0)
Oct 25, 3-4 AM (0)
Oct 25, 4-5 AM (0)
Oct 25, 5-6 AM (0)
Oct 25, 6-7 AM (0)
Oct 25, 7-8 AM (0)
Oct 25, 8-9 AM (0)
Oct 25, 9-10 AM (0)
Oct 25, 10-11 AM (0)
Oct 25, 11-12 PM (0)
Oct 25, 12-1 PM (0)
Oct 25, 1-2 PM (0)
Oct 25, 2-3 PM (0)
Oct 25, 3-4 PM (0)
Oct 25, 4-5 PM (0)
Oct 25, 5-6 PM (0)
Oct 25, 6-7 PM (0)
Oct 25, 7-8 PM (0)
Oct 25, 8-9 PM (0)
Oct 25, 9-10 PM (0)
Oct 25, 10-11 PM (0)
Oct 25, 11-12 AM (0)
Oct 26, 12-1 AM (0)
Oct 26, 1-2 AM (13)
Oct 26, 2-3 AM (0)
Oct 26, 3-4 AM (0)
Oct 26, 4-5 AM (0)
Oct 26, 5-6 AM (0)
Oct 26, 6-7 AM (0)
Oct 26, 7-8 AM (0)
Oct 26, 8-9 AM (0)
Oct 26, 9-10 AM (0)
Oct 26, 10-11 AM (0)
Oct 26, 11-12 PM (0)
Oct 26, 12-1 PM (0)
Oct 26, 1-2 PM (0)
Oct 26, 2-3 PM (0)
Oct 26, 3-4 PM (0)
Oct 26, 4-5 PM (0)
Oct 26, 5-6 PM (0)
Oct 26, 6-7 PM (0)
Oct 26, 7-8 PM (0)
Oct 26, 8-9 PM (0)
Oct 26, 9-10 PM (0)
Oct 26, 10-11 PM (0)
Oct 26, 11-12 AM (0)
Oct 27, 12-1 AM (0)
Oct 27, 1-2 AM (0)
Oct 27, 2-3 AM (0)
Oct 27, 3-4 AM (0)
Oct 27, 4-5 AM (0)
Oct 27, 5-6 AM (0)
Oct 27, 6-7 AM (0)
Oct 27, 7-8 AM (0)
Oct 27, 8-9 AM (0)
Oct 27, 9-10 AM (0)
Oct 27, 10-11 AM (1)
Oct 27, 11-12 PM (1)
Oct 27, 12-1 PM (0)
Oct 27, 1-2 PM (0)
Oct 27, 2-3 PM (0)
Oct 27, 3-4 PM (0)
Oct 27, 4-5 PM (1)
Oct 27, 5-6 PM (1)
Oct 27, 6-7 PM (0)
Oct 27, 7-8 PM (0)
Oct 27, 8-9 PM (1)
Oct 27, 9-10 PM (0)
Oct 27, 10-11 PM (0)
Oct 27, 11-12 AM (0)
Oct 28, 12-1 AM (0)
Oct 28, 1-2 AM (0)
Oct 28, 2-3 AM (2)
Oct 28, 3-4 AM (0)
Oct 28, 4-5 AM (0)
Oct 28, 5-6 AM (0)
Oct 28, 6-7 AM (0)
Oct 28, 7-8 AM (0)
Oct 28, 8-9 AM (0)
Oct 28, 9-10 AM (1)
Oct 28, 10-11 AM (2)
Oct 28, 11-12 PM (0)
Oct 28, 12-1 PM (1)
Oct 28, 1-2 PM (1)
Oct 28, 2-3 PM (0)
Oct 28, 3-4 PM (0)
Oct 28, 4-5 PM (1)
Oct 28, 5-6 PM (0)
Oct 28, 6-7 PM (0)
Oct 28, 7-8 PM (0)
Oct 28, 8-9 PM (0)
Oct 28, 9-10 PM (0)
Oct 28, 10-11 PM (0)
Oct 28, 11-12 AM (0)
Oct 29, 12-1 AM (0)
Oct 29, 1-2 AM (1)
Oct 29, 2-3 AM (0)
Oct 29, 3-4 AM (4)
Oct 29, 4-5 AM (0)
Oct 29, 5-6 AM (0)
Oct 29, 6-7 AM (1)
Oct 29, 7-8 AM (1)
Oct 29, 8-9 AM (0)
Oct 29, 9-10 AM (0)
Oct 29, 10-11 AM (0)
Oct 29, 11-12 PM (0)
Oct 29, 12-1 PM (0)
Oct 29, 1-2 PM (2)
Oct 29, 2-3 PM (1)
Oct 29, 3-4 PM (1)
Oct 29, 4-5 PM (0)
Oct 29, 5-6 PM (0)
Oct 29, 6-7 PM (0)
Oct 29, 7-8 PM (0)
Oct 29, 8-9 PM (0)
Oct 29, 9-10 PM (0)
Oct 29, 10-11 PM (0)
Oct 29, 11-12 AM (0)
Oct 30, 12-1 AM (0)
Oct 30, 1-2 AM (0)
Oct 30, 2-3 AM (0)
Oct 30, 3-4 AM (4)
Oct 30, 4-5 AM (2)
Oct 30, 5-6 AM (4)
Oct 30, 6-7 AM (2)
Oct 30, 7-8 AM (5)
Oct 30, 8-9 AM (0)
Oct 30, 9-10 AM (0)
Oct 30, 10-11 AM (0)
Oct 30, 11-12 PM (0)
Oct 30, 12-1 PM (0)
Oct 30, 1-2 PM (0)
Oct 30, 2-3 PM (0)
Oct 30, 3-4 PM (0)
Oct 30, 4-5 PM (0)
Oct 30, 5-6 PM (0)
Oct 30, 6-7 PM (2)
Oct 30, 7-8 PM (0)
Oct 30, 8-9 PM (0)
Oct 30, 9-10 PM (0)
Oct 30, 10-11 PM (0)
Oct 30, 11-12 AM (0)
Oct 31, 12-1 AM (0)
Oct 31, 1-2 AM (1)
Oct 31, 2-3 AM (1)
Oct 31, 3-4 AM (1)
Oct 31, 4-5 AM (0)
Oct 31, 5-6 AM (0)
Oct 31, 6-7 AM (0)
Oct 31, 7-8 AM (0)
Oct 31, 8-9 AM (0)
Oct 31, 9-10 AM (0)
Oct 31, 10-11 AM (0)
Oct 31, 11-12 PM (0)
Oct 31, 12-1 PM (1)
Oct 31, 1-2 PM (0)
Oct 31, 2-3 PM (0)
Oct 31, 3-4 PM (1)
Oct 31, 4-5 PM (0)
Oct 31, 5-6 PM (5)
Oct 31, 6-7 PM (7)
Oct 31, 7-8 PM (1)
Oct 31, 8-9 PM (0)
Oct 31, 9-10 PM (0)
Oct 31, 10-11 PM (0)
Oct 31, 11-12 AM (0)
Nov 01, 12-1 AM (0)
74 commits this week
Oct 25, 2025
-
Nov 01, 2025
Remove trailing spaces
Fix lem-upd-cert-ddeps and lem-upd-cert-gdeps after changing updateCertDeps
Fix ≤updateCertDeps after changing updateCertDeps
Rearrange govDepsMatch for typechecking performance
Reducing the scope of the equation in which POOLREAP is pattern matched reduces type checking time an order of magnitude.
Don't count pool deposits when reregistering
Artifacts generated from 1ab9c866152003ac5b7211277e97fb1e127e3ecf
Remove trailing spaces
Fix lem-upd-cert-ddeps and lem-upd-cert-gdeps after changing updateCertDeps
Fix ≤updateCertDeps after changing updateCertDeps
Rearrange govDepsMatch for typechecking performance
Reducing the scope of the equation in which POOLREAP is pattern matched reduces type checking time an order of magnitude.
Don't count pool deposits when reregistering
Artifacts generated from 97c28b8e8801ad81c1b3f92f6660eadf406822ab
Artifacts generated from 4d1f0c85baba99d64a8c11b45d326eb80b891533
Merge branch 'master' into 970-dry-activedreps
Fix lem-upd-cert-ddeps and lem-upd-cert-gdeps after changing updateCertDeps
Fix ≤updateCertDeps after changing updateCertDeps
Artifacts generated from dccc0ce4b562764e3960ef562f146fa6590ccb68
Artifacts generated from 32ddc257ab89a5c4dc40e968ff73143090c8b82d
Follow up to #941 (#969)
* Update ExpiredDReps.lagda.md
Merge branch 'master' into carlostome-patch-1
Artifacts generated from aedb368b9dcb143607b30922865fba285c56d248