Artifacts generated from 1f917c0e8ed11130fdd2171b18675912ba577d09
Home /
IntersectMBO /
formal-ledger-specifications
Sep 09, 3-4 PM (0)
Sep 09, 4-5 PM (0)
Sep 09, 5-6 PM (0)
Sep 09, 6-7 PM (0)
Sep 09, 7-8 PM (0)
Sep 09, 8-9 PM (0)
Sep 09, 9-10 PM (0)
Sep 09, 10-11 PM (1)
Sep 09, 11-12 AM (0)
Sep 10, 12-1 AM (0)
Sep 10, 1-2 AM (0)
Sep 10, 2-3 AM (0)
Sep 10, 3-4 AM (0)
Sep 10, 4-5 AM (0)
Sep 10, 5-6 AM (1)
Sep 10, 6-7 AM (1)
Sep 10, 7-8 AM (0)
Sep 10, 8-9 AM (0)
Sep 10, 9-10 AM (2)
Sep 10, 10-11 AM (0)
Sep 10, 11-12 PM (0)
Sep 10, 12-1 PM (0)
Sep 10, 1-2 PM (1)
Sep 10, 2-3 PM (0)
Sep 10, 3-4 PM (0)
Sep 10, 4-5 PM (0)
Sep 10, 5-6 PM (0)
Sep 10, 6-7 PM (0)
Sep 10, 7-8 PM (2)
Sep 10, 8-9 PM (1)
Sep 10, 9-10 PM (0)
Sep 10, 10-11 PM (0)
Sep 10, 11-12 AM (0)
Sep 11, 12-1 AM (0)
Sep 11, 1-2 AM (0)
Sep 11, 2-3 AM (0)
Sep 11, 3-4 AM (0)
Sep 11, 4-5 AM (0)
Sep 11, 5-6 AM (0)
Sep 11, 6-7 AM (0)
Sep 11, 7-8 AM (0)
Sep 11, 8-9 AM (0)
Sep 11, 9-10 AM (0)
Sep 11, 10-11 AM (1)
Sep 11, 11-12 PM (2)
Sep 11, 12-1 PM (2)
Sep 11, 1-2 PM (1)
Sep 11, 2-3 PM (2)
Sep 11, 3-4 PM (0)
Sep 11, 4-5 PM (1)
Sep 11, 5-6 PM (0)
Sep 11, 6-7 PM (0)
Sep 11, 7-8 PM (0)
Sep 11, 8-9 PM (1)
Sep 11, 9-10 PM (0)
Sep 11, 10-11 PM (0)
Sep 11, 11-12 AM (0)
Sep 12, 12-1 AM (0)
Sep 12, 1-2 AM (1)
Sep 12, 2-3 AM (0)
Sep 12, 3-4 AM (0)
Sep 12, 4-5 AM (1)
Sep 12, 5-6 AM (0)
Sep 12, 6-7 AM (0)
Sep 12, 7-8 AM (0)
Sep 12, 8-9 AM (0)
Sep 12, 9-10 AM (0)
Sep 12, 10-11 AM (0)
Sep 12, 11-12 PM (0)
Sep 12, 12-1 PM (0)
Sep 12, 1-2 PM (0)
Sep 12, 2-3 PM (0)
Sep 12, 3-4 PM (1)
Sep 12, 4-5 PM (0)
Sep 12, 5-6 PM (0)
Sep 12, 6-7 PM (0)
Sep 12, 7-8 PM (0)
Sep 12, 8-9 PM (0)
Sep 12, 9-10 PM (0)
Sep 12, 10-11 PM (0)
Sep 12, 11-12 AM (0)
Sep 13, 12-1 AM (0)
Sep 13, 1-2 AM (0)
Sep 13, 2-3 AM (0)
Sep 13, 3-4 AM (0)
Sep 13, 4-5 AM (0)
Sep 13, 5-6 AM (0)
Sep 13, 6-7 AM (0)
Sep 13, 7-8 AM (0)
Sep 13, 8-9 AM (0)
Sep 13, 9-10 AM (0)
Sep 13, 10-11 AM (0)
Sep 13, 11-12 PM (0)
Sep 13, 12-1 PM (0)
Sep 13, 1-2 PM (0)
Sep 13, 2-3 PM (0)
Sep 13, 3-4 PM (0)
Sep 13, 4-5 PM (0)
Sep 13, 5-6 PM (0)
Sep 13, 6-7 PM (0)
Sep 13, 7-8 PM (0)
Sep 13, 8-9 PM (0)
Sep 13, 9-10 PM (0)
Sep 13, 10-11 PM (0)
Sep 13, 11-12 AM (0)
Sep 14, 12-1 AM (0)
Sep 14, 1-2 AM (0)
Sep 14, 2-3 AM (0)
Sep 14, 3-4 AM (0)
Sep 14, 4-5 AM (0)
Sep 14, 5-6 AM (0)
Sep 14, 6-7 AM (0)
Sep 14, 7-8 AM (0)
Sep 14, 8-9 AM (0)
Sep 14, 9-10 AM (0)
Sep 14, 10-11 AM (0)
Sep 14, 11-12 PM (0)
Sep 14, 12-1 PM (0)
Sep 14, 1-2 PM (0)
Sep 14, 2-3 PM (0)
Sep 14, 3-4 PM (0)
Sep 14, 4-5 PM (0)
Sep 14, 5-6 PM (0)
Sep 14, 6-7 PM (0)
Sep 14, 7-8 PM (0)
Sep 14, 8-9 PM (0)
Sep 14, 9-10 PM (0)
Sep 14, 10-11 PM (0)
Sep 14, 11-12 AM (0)
Sep 15, 12-1 AM (0)
Sep 15, 1-2 AM (0)
Sep 15, 2-3 AM (0)
Sep 15, 3-4 AM (0)
Sep 15, 4-5 AM (0)
Sep 15, 5-6 AM (0)
Sep 15, 6-7 AM (0)
Sep 15, 7-8 AM (0)
Sep 15, 8-9 AM (0)
Sep 15, 9-10 AM (0)
Sep 15, 10-11 AM (0)
Sep 15, 11-12 PM (0)
Sep 15, 12-1 PM (0)
Sep 15, 1-2 PM (0)
Sep 15, 2-3 PM (0)
Sep 15, 3-4 PM (0)
Sep 15, 4-5 PM (0)
Sep 15, 5-6 PM (0)
Sep 15, 6-7 PM (0)
Sep 15, 7-8 PM (0)
Sep 15, 8-9 PM (1)
Sep 15, 9-10 PM (0)
Sep 15, 10-11 PM (0)
Sep 15, 11-12 AM (0)
Sep 16, 12-1 AM (0)
Sep 16, 1-2 AM (0)
Sep 16, 2-3 AM (0)
Sep 16, 3-4 AM (0)
Sep 16, 4-5 AM (0)
Sep 16, 5-6 AM (0)
Sep 16, 6-7 AM (0)
Sep 16, 7-8 AM (0)
Sep 16, 8-9 AM (0)
Sep 16, 9-10 AM (0)
Sep 16, 10-11 AM (1)
Sep 16, 11-12 PM (0)
Sep 16, 12-1 PM (0)
Sep 16, 1-2 PM (0)
Sep 16, 2-3 PM (0)
Sep 16, 3-4 PM (0)
24 commits this week
Sep 09, 2025
-
Sep 16, 2025
Add calculatePoolDelegatedStake to the conformance model
Artifacts generated from eb2720de62dd78caa49366d0819981a0c0106f97
retire hiding of `data` convention; other improvements
restore anchor lost during migration
Artifacts generated from 2c0ef150a13cd938f173ef75944e7a083d12b761
Fix rules of ci.yml
Build the extracted Haskell code in CI
Merge remote-tracking branch 'origin/master' into HEAD
Artifacts generated from 26fa81e999b30661f7d69d655e345255c66c8684
Add prefix to disambiguate fields in DelegEnv for conf. test
Build the extracted Haskell code in CI
Artifacts generated from d77eb78fbf6a5c8f685bcebe481b793600d82990
Artifacts generated from 0e211d056f5b9eddb3b0cc76c6f4a80b5279b9d2
Fix layout; move Rel combinators to Prelude
Artifacts generated from 2fa37753a24d701f03270a3909aab2bc628e92d3
Final cleanup.
+ made use of some new type classes to improve readability + moved some prose to below the figure/code it references since this improves flow once the pipeline converts the figures into sections
Merge branch 'master' into fd/rupd
Refactor into using mkStakeDistrs
Rename Epoch.lagda to Epoch.lagda.md
Remove mdbook ecosystem from nix
fix links and improve Properties section
remove file that was accidentally added