![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 91d0667643becd1a2b99b7eac72ced0a6f55e666
Home /
Input Output /
formal-ledger-specifications
Apr 24, 4-5 AM (1)
Apr 24, 5-6 AM (0)
Apr 24, 6-7 AM (2)
Apr 24, 7-8 AM (0)
Apr 24, 8-9 AM (0)
Apr 24, 9-10 AM (1)
Apr 24, 10-11 AM (3)
Apr 24, 11-12 PM (5)
Apr 24, 12-1 PM (5)
Apr 24, 1-2 PM (2)
Apr 24, 2-3 PM (1)
Apr 24, 3-4 PM (0)
Apr 24, 4-5 PM (0)
Apr 24, 5-6 PM (0)
Apr 24, 6-7 PM (0)
Apr 24, 7-8 PM (0)
Apr 24, 8-9 PM (1)
Apr 24, 9-10 PM (0)
Apr 24, 10-11 PM (0)
Apr 24, 11-12 AM (0)
Apr 25, 12-1 AM (0)
Apr 25, 1-2 AM (0)
Apr 25, 2-3 AM (0)
Apr 25, 3-4 AM (0)
Apr 25, 4-5 AM (2)
Apr 25, 5-6 AM (1)
Apr 25, 6-7 AM (1)
Apr 25, 7-8 AM (0)
Apr 25, 8-9 AM (1)
Apr 25, 9-10 AM (0)
Apr 25, 10-11 AM (0)
Apr 25, 11-12 PM (0)
Apr 25, 12-1 PM (0)
Apr 25, 1-2 PM (3)
Apr 25, 2-3 PM (0)
Apr 25, 3-4 PM (0)
Apr 25, 4-5 PM (0)
Apr 25, 5-6 PM (0)
Apr 25, 6-7 PM (0)
Apr 25, 7-8 PM (0)
Apr 25, 8-9 PM (0)
Apr 25, 9-10 PM (4)
Apr 25, 10-11 PM (2)
Apr 25, 11-12 AM (0)
Apr 26, 12-1 AM (0)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (0)
Apr 26, 3-4 AM (0)
Apr 26, 4-5 AM (0)
Apr 26, 5-6 AM (0)
Apr 26, 6-7 AM (0)
Apr 26, 7-8 AM (0)
Apr 26, 8-9 AM (0)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (0)
Apr 26, 11-12 PM (0)
Apr 26, 12-1 PM (0)
Apr 26, 1-2 PM (0)
Apr 26, 2-3 PM (0)
Apr 26, 3-4 PM (0)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (0)
Apr 26, 6-7 PM (0)
Apr 26, 7-8 PM (0)
Apr 26, 8-9 PM (0)
Apr 26, 9-10 PM (0)
Apr 26, 10-11 PM (0)
Apr 26, 11-12 AM (0)
Apr 27, 12-1 AM (0)
Apr 27, 1-2 AM (0)
Apr 27, 2-3 AM (0)
Apr 27, 3-4 AM (0)
Apr 27, 4-5 AM (0)
Apr 27, 5-6 AM (0)
Apr 27, 6-7 AM (0)
Apr 27, 7-8 AM (0)
Apr 27, 8-9 AM (5)
Apr 27, 9-10 AM (0)
Apr 27, 10-11 AM (0)
Apr 27, 11-12 PM (2)
Apr 27, 12-1 PM (1)
Apr 27, 1-2 PM (0)
Apr 27, 2-3 PM (0)
Apr 27, 3-4 PM (0)
Apr 27, 4-5 PM (0)
Apr 27, 5-6 PM (0)
Apr 27, 6-7 PM (0)
Apr 27, 7-8 PM (0)
Apr 27, 8-9 PM (0)
Apr 27, 9-10 PM (0)
Apr 27, 10-11 PM (0)
Apr 27, 11-12 AM (0)
Apr 28, 12-1 AM (0)
Apr 28, 1-2 AM (0)
Apr 28, 2-3 AM (0)
Apr 28, 3-4 AM (0)
Apr 28, 4-5 AM (0)
Apr 28, 5-6 AM (0)
Apr 28, 6-7 AM (1)
Apr 28, 7-8 AM (0)
Apr 28, 8-9 AM (0)
Apr 28, 9-10 AM (0)
Apr 28, 10-11 AM (5)
Apr 28, 11-12 PM (1)
Apr 28, 12-1 PM (0)
Apr 28, 1-2 PM (0)
Apr 28, 2-3 PM (2)
Apr 28, 3-4 PM (1)
Apr 28, 4-5 PM (0)
Apr 28, 5-6 PM (0)
Apr 28, 6-7 PM (0)
Apr 28, 7-8 PM (2)
Apr 28, 8-9 PM (2)
Apr 28, 9-10 PM (0)
Apr 28, 10-11 PM (0)
Apr 28, 11-12 AM (0)
Apr 29, 12-1 AM (0)
Apr 29, 1-2 AM (2)
Apr 29, 2-3 AM (0)
Apr 29, 3-4 AM (0)
Apr 29, 4-5 AM (0)
Apr 29, 5-6 AM (2)
Apr 29, 6-7 AM (2)
Apr 29, 7-8 AM (0)
Apr 29, 8-9 AM (0)
Apr 29, 9-10 AM (7)
Apr 29, 10-11 AM (2)
Apr 29, 11-12 PM (1)
Apr 29, 12-1 PM (0)
Apr 29, 1-2 PM (0)
Apr 29, 2-3 PM (0)
Apr 29, 3-4 PM (0)
Apr 29, 4-5 PM (0)
Apr 29, 5-6 PM (0)
Apr 29, 6-7 PM (0)
Apr 29, 7-8 PM (0)
Apr 29, 8-9 PM (0)
Apr 29, 9-10 PM (0)
Apr 29, 10-11 PM (0)
Apr 29, 11-12 AM (0)
Apr 30, 12-1 AM (0)
Apr 30, 1-2 AM (0)
Apr 30, 2-3 AM (0)
Apr 30, 3-4 AM (0)
Apr 30, 4-5 AM (0)
Apr 30, 5-6 AM (0)
Apr 30, 6-7 AM (0)
Apr 30, 7-8 AM (2)
Apr 30, 8-9 AM (1)
Apr 30, 9-10 AM (0)
Apr 30, 10-11 AM (1)
Apr 30, 11-12 PM (3)
Apr 30, 12-1 PM (1)
Apr 30, 1-2 PM (0)
Apr 30, 2-3 PM (2)
Apr 30, 3-4 PM (0)
Apr 30, 4-5 PM (0)
Apr 30, 5-6 PM (0)
Apr 30, 6-7 PM (0)
Apr 30, 7-8 PM (0)
Apr 30, 8-9 PM (0)
Apr 30, 9-10 PM (0)
Apr 30, 10-11 PM (0)
Apr 30, 11-12 AM (0)
May 01, 12-1 AM (0)
May 01, 1-2 AM (0)
May 01, 2-3 AM (0)
May 01, 3-4 AM (0)
May 01, 4-5 AM (0)
82 commits this week
Apr 24, 2025
-
May 01, 2025
Add script to plot typechecking times (#774)
Artifacts generated from 6062650d5acc72a6005e181391d722f6422f7375
Artifacts generated from 263d6690e390814edd57b61bf80de0faec135bc0
Merge branch 'master' into carlos/add-typechecking-time-graph
Various small cleanup items (#765)
* Various small cleanup items * Remove visible \ where from case * Add instance of HasCast for GovAction to Sigma type * Remove pattern * Apply suggestions from code review Co-authored-by: William DeMeo <[email protected]> * Update sentence --------- Co-authored-by: Carlos Tomé Cortiñas <[email protected]> Co-authored-by: William DeMeo <[email protected]>
Artifacts generated from 6001f67b866f6fd97294b7c5bef7d22909171ca2
Artifacts generated from ed95ea7a50beba09cc969dd5e617bcb164ba70d0
Artifacts generated from 4958b84e32b78a0022a7c0f33c85eac0ed20f65b
Artifacts generated from 986281e62c732018807d9497b4e8d91c322f7cae
Add overview and illustration of the Reward Cycle
Move `Snapshot`, `stakeDistr` and `SNAP` to Section "Rewards"
Artifacts generated from 2c901ecb99e9f8fa3b78172e10b50a7a4fa97302
Move `Snapshot`, `stakeDistr` and `SNAP` to Section "Rewards"
Add overview and illustration of the Reward Cycle
Add `poolParameters` to `Snapshot` and use them
Move `RewardUpdate` to `Ledger.Rewards`
Add previous diagram showing flow of funds
Artifacts generated from ed95ea7a50beba09cc969dd5e617bcb164ba70d0
Fix deletion of master-artifacts (#773)
Co-authored-by: William DeMeo <[email protected]> Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Remove delete step from build.yml
Artifacts generated from 885694e2d9e508a3b3c2a22a858e4b50534361ff
Artifacts generated from 49f1c0e10eadae5d22e5acceb75a522c544f08cd