formal-ledger-specifications - 12 commits this week

Home / IntersectMBO / formal-ledger-specifications

Insights Pull Requests

Jul 26, 9-10 AM (0)

Jul 26, 10-11 AM (0)

Jul 26, 11-12 PM (0)

Jul 26, 12-1 PM (0)

Jul 26, 1-2 PM (0)

Jul 26, 2-3 PM (0)

Jul 26, 3-4 PM (0)

Jul 26, 4-5 PM (0)

Jul 26, 5-6 PM (0)

Jul 26, 6-7 PM (0)

Jul 26, 7-8 PM (0)

Jul 26, 8-9 PM (0)

Jul 26, 9-10 PM (0)

Jul 26, 10-11 PM (0)

Jul 26, 11-12 AM (0)

Jul 27, 12-1 AM (0)

Jul 27, 1-2 AM (0)

Jul 27, 2-3 AM (1)

Jul 27, 3-4 AM (0)

Jul 27, 4-5 AM (0)

Jul 27, 5-6 AM (0)

Jul 27, 6-7 AM (0)

Jul 27, 7-8 AM (0)

Jul 27, 8-9 AM (0)

Jul 27, 9-10 AM (0)

Jul 27, 10-11 AM (0)

Jul 27, 11-12 PM (0)

Jul 27, 12-1 PM (0)

Jul 27, 1-2 PM (0)

Jul 27, 2-3 PM (0)

Jul 27, 3-4 PM (0)

Jul 27, 4-5 PM (0)

Jul 27, 5-6 PM (0)

Jul 27, 6-7 PM (0)

Jul 27, 7-8 PM (0)

Jul 27, 8-9 PM (0)

Jul 27, 9-10 PM (0)

Jul 27, 10-11 PM (0)

Jul 27, 11-12 AM (0)

Jul 28, 12-1 AM (0)

Jul 28, 1-2 AM (0)

Jul 28, 2-3 AM (0)

Jul 28, 3-4 AM (0)

Jul 28, 4-5 AM (0)

Jul 28, 5-6 AM (0)

Jul 28, 6-7 AM (0)

Jul 28, 7-8 AM (0)

Jul 28, 8-9 AM (0)

Jul 28, 9-10 AM (0)

Jul 28, 10-11 AM (0)

Jul 28, 11-12 PM (0)

Jul 28, 12-1 PM (1)

Jul 28, 1-2 PM (0)

Jul 28, 2-3 PM (0)

Jul 28, 3-4 PM (0)

Jul 28, 4-5 PM (0)

Jul 28, 5-6 PM (0)

Jul 28, 6-7 PM (0)

Jul 28, 7-8 PM (0)

Jul 28, 8-9 PM (0)

Jul 28, 9-10 PM (0)

Jul 28, 10-11 PM (0)

Jul 28, 11-12 AM (0)

Jul 29, 12-1 AM (0)

Jul 29, 1-2 AM (0)

Jul 29, 2-3 AM (0)

Jul 29, 3-4 AM (0)

Jul 29, 4-5 AM (1)

Jul 29, 5-6 AM (0)

Jul 29, 6-7 AM (0)

Jul 29, 7-8 AM (0)

Jul 29, 8-9 AM (0)

Jul 29, 9-10 AM (0)

Jul 29, 10-11 AM (0)

Jul 29, 11-12 PM (0)

Jul 29, 12-1 PM (0)

Jul 29, 1-2 PM (0)

Jul 29, 2-3 PM (0)

Jul 29, 3-4 PM (0)

Jul 29, 4-5 PM (0)

Jul 29, 5-6 PM (0)

Jul 29, 6-7 PM (0)

Jul 29, 7-8 PM (0)

Jul 29, 8-9 PM (0)

Jul 29, 9-10 PM (0)

Jul 29, 10-11 PM (0)

Jul 29, 11-12 AM (0)

Jul 30, 12-1 AM (0)

Jul 30, 1-2 AM (0)

Jul 30, 2-3 AM (0)

Jul 30, 3-4 AM (0)

Jul 30, 4-5 AM (0)

Jul 30, 5-6 AM (0)

Jul 30, 6-7 AM (0)

Jul 30, 7-8 AM (0)

Jul 30, 8-9 AM (0)

Jul 30, 9-10 AM (0)

Jul 30, 10-11 AM (0)

Jul 30, 11-12 PM (0)

Jul 30, 12-1 PM (0)

Jul 30, 1-2 PM (0)

Jul 30, 2-3 PM (0)

Jul 30, 3-4 PM (0)

Jul 30, 4-5 PM (0)

Jul 30, 5-6 PM (0)

Jul 30, 6-7 PM (0)

Jul 30, 7-8 PM (0)

Jul 30, 8-9 PM (0)

Jul 30, 9-10 PM (0)

Jul 30, 10-11 PM (0)

Jul 30, 11-12 AM (0)

Jul 31, 12-1 AM (0)

Jul 31, 1-2 AM (0)

Jul 31, 2-3 AM (0)

Jul 31, 3-4 AM (0)

Jul 31, 4-5 AM (0)

Jul 31, 5-6 AM (0)

Jul 31, 6-7 AM (0)

Jul 31, 7-8 AM (0)

Jul 31, 8-9 AM (0)

Jul 31, 9-10 AM (0)

Jul 31, 10-11 AM (4)

Jul 31, 11-12 PM (0)

Jul 31, 12-1 PM (0)

Jul 31, 1-2 PM (0)

Jul 31, 2-3 PM (0)

Jul 31, 3-4 PM (1)

Jul 31, 4-5 PM (0)

Jul 31, 5-6 PM (0)

Jul 31, 6-7 PM (0)

Jul 31, 7-8 PM (0)

Jul 31, 8-9 PM (0)

Jul 31, 9-10 PM (1)

Jul 31, 10-11 PM (0)

Jul 31, 11-12 AM (0)

Aug 01, 12-1 AM (0)

Aug 01, 1-2 AM (0)

Aug 01, 2-3 AM (0)

Aug 01, 3-4 AM (0)

Aug 01, 4-5 AM (1)

Aug 01, 5-6 AM (0)

Aug 01, 6-7 AM (0)

Aug 01, 7-8 AM (0)

Aug 01, 8-9 AM (0)

Aug 01, 9-10 AM (0)

Aug 01, 10-11 AM (0)

Aug 01, 11-12 PM (1)

Aug 01, 12-1 PM (0)

Aug 01, 1-2 PM (0)

Aug 01, 2-3 PM (0)

Aug 01, 3-4 PM (0)

Aug 01, 4-5 PM (0)

Aug 01, 5-6 PM (0)

Aug 01, 6-7 PM (0)

Aug 01, 7-8 PM (0)

Aug 01, 8-9 PM (0)

Aug 01, 9-10 PM (0)

Aug 01, 10-11 PM (0)

Aug 01, 11-12 AM (0)

Aug 02, 12-1 AM (0)

Aug 02, 1-2 AM (1)

Aug 02, 2-3 AM (0)

Aug 02, 3-4 AM (0)

Aug 02, 4-5 AM (0)

Aug 02, 5-6 AM (0)

Aug 02, 6-7 AM (0)

Aug 02, 7-8 AM (0)

Aug 02, 8-9 AM (0)

Aug 02, 9-10 AM (0)

12 commits this week Jul 26, 2025 - Aug 02, 2025

williamdemeo · Sat, 02 Aug 25 02:12:51 +0000 · formal-ledger-specifications

minor improvements

c94a2d19 · 834-markdown-migration-mkdocs-site-problems · 2/4 ++ 1 --

williamdemeo · Fri, 01 Aug 25 12:56:54 +0000 · formal-ledger-specifications

more .lagda.md files and font change

4d7ae23d · 834-markdown-migration-mkdocs-site-problems · 3/55 ++ 57 --

williamdemeo · Fri, 01 Aug 25 05:24:57 +0000 · formal-ledger-specifications

Merge branch 'master' into 834-markdown-migration-mkdocs-site-problems

f5b29bae · 834-markdown-migration-mkdocs-site-problems · 3/87 ++ 34 --

facundominguez · Thu, 31 Jul 25 22:48:12 +0000 · formal-ledger-specifications

wip: Make more explicit the structure of EPOCH-govDepsMatch

3c4b3b16 · fd/poolreap · 1/15 ++ 3 --

github-actions[bot] · Thu, 31 Jul 25 16:15:07 +0000 · formal-ledger-specifications

Artifacts generated from db47fe13eb1dc64c99f03566312a4a5e75ba22aa

49d367b3 · HeinrichApfelmus/complete-stakeDistr-artifacts · 300/477,600 ++ 381,406 --

facundominguez · Thu, 31 Jul 25 11:52:27 +0000 · formal-ledger-specifications

Open module with update bindings in the EPOCH transition

930920e4 · fd/poolreap · 2/10 ++ 74 --

facundominguez · Thu, 31 Jul 25 11:52:26 +0000 · formal-ledger-specifications

Update EPOCH-complete and EPOCH-total

ac9a3d71 · fd/poolreap · 2/153 ++ 38 --

facundominguez · Thu, 31 Jul 25 11:42:12 +0000 · formal-ledger-specifications

s/Reap/POOLREAP s/PlReapState/PoolReapState

7a856803 · fd/poolreap · 1/7 ++ 7 --

facundominguez · Thu, 31 Jul 25 11:42:11 +0000 · formal-ledger-specifications

Remove outdated comment about map filtering operations

d90e426f · fd/poolreap · 1/0 ++ 11 --

williamdemeo · Tue, 29 Jul 25 05:30:14 +0000 · formal-ledger-specifications

finalize .lagda.md versions

8c1134f8 · 834-markdown-migration-mkdocs-site-problems · 7/249 ++ 236 --

facundominguez · Mon, 28 Jul 25 13:30:50 +0000 · formal-ledger-specifications

wip: Partial update of EPOCH-complete and EPOCH-total

8afe552e · fd/poolreap · 2/78 ++ 20 --

github-actions[bot] · Sun, 27 Jul 25 03:00:13 +0000 · formal-ledger-specifications

Artifacts generated from 71a3f5699a361c8af7511d0f0c46ce4aa5eea170

fe432bce · 834-markdown-migration-mkdocs-site-problems-artifacts · 150/399 ++ 788 --

Showing 12 of 12 recent commits. Check out IntersectMBO on GitHub to see more.