![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 6645204774f636d85e56416467281a4434c1e7d3
Home /
Input Output /
formal-ledger-specifications
Jan 21, 10-11 PM (1)
Jan 21, 11-12 AM (1)
Jan 22, 12-1 AM (1)
Jan 22, 1-2 AM (1)
Jan 22, 2-3 AM (1)
Jan 22, 3-4 AM (0)
Jan 22, 4-5 AM (0)
Jan 22, 5-6 AM (0)
Jan 22, 6-7 AM (0)
Jan 22, 7-8 AM (0)
Jan 22, 8-9 AM (0)
Jan 22, 9-10 AM (2)
Jan 22, 10-11 AM (1)
Jan 22, 11-12 PM (0)
Jan 22, 12-1 PM (0)
Jan 22, 1-2 PM (1)
Jan 22, 2-3 PM (0)
Jan 22, 3-4 PM (0)
Jan 22, 4-5 PM (0)
Jan 22, 5-6 PM (0)
Jan 22, 6-7 PM (0)
Jan 22, 7-8 PM (0)
Jan 22, 8-9 PM (2)
Jan 22, 9-10 PM (0)
Jan 22, 10-11 PM (0)
Jan 22, 11-12 AM (0)
Jan 23, 12-1 AM (0)
Jan 23, 1-2 AM (0)
Jan 23, 2-3 AM (0)
Jan 23, 3-4 AM (0)
Jan 23, 4-5 AM (3)
Jan 23, 5-6 AM (2)
Jan 23, 6-7 AM (0)
Jan 23, 7-8 AM (0)
Jan 23, 8-9 AM (0)
Jan 23, 9-10 AM (0)
Jan 23, 10-11 AM (1)
Jan 23, 11-12 PM (0)
Jan 23, 12-1 PM (0)
Jan 23, 1-2 PM (2)
Jan 23, 2-3 PM (3)
Jan 23, 3-4 PM (4)
Jan 23, 4-5 PM (1)
Jan 23, 5-6 PM (0)
Jan 23, 6-7 PM (29)
Jan 23, 7-8 PM (0)
Jan 23, 8-9 PM (0)
Jan 23, 9-10 PM (0)
Jan 23, 10-11 PM (0)
Jan 23, 11-12 AM (0)
Jan 24, 12-1 AM (0)
Jan 24, 1-2 AM (0)
Jan 24, 2-3 AM (2)
Jan 24, 3-4 AM (2)
Jan 24, 4-5 AM (3)
Jan 24, 5-6 AM (0)
Jan 24, 6-7 AM (0)
Jan 24, 7-8 AM (0)
Jan 24, 8-9 AM (0)
Jan 24, 9-10 AM (0)
Jan 24, 10-11 AM (0)
Jan 24, 11-12 PM (0)
Jan 24, 12-1 PM (0)
Jan 24, 1-2 PM (0)
Jan 24, 2-3 PM (0)
Jan 24, 3-4 PM (0)
Jan 24, 4-5 PM (0)
Jan 24, 5-6 PM (10)
Jan 24, 6-7 PM (2)
Jan 24, 7-8 PM (0)
Jan 24, 8-9 PM (0)
Jan 24, 9-10 PM (0)
Jan 24, 10-11 PM (0)
Jan 24, 11-12 AM (0)
Jan 25, 12-1 AM (0)
Jan 25, 1-2 AM (0)
Jan 25, 2-3 AM (0)
Jan 25, 3-4 AM (0)
Jan 25, 4-5 AM (0)
Jan 25, 5-6 AM (0)
Jan 25, 6-7 AM (0)
Jan 25, 7-8 AM (0)
Jan 25, 8-9 AM (0)
Jan 25, 9-10 AM (0)
Jan 25, 10-11 AM (0)
Jan 25, 11-12 PM (0)
Jan 25, 12-1 PM (0)
Jan 25, 1-2 PM (0)
Jan 25, 2-3 PM (0)
Jan 25, 3-4 PM (0)
Jan 25, 4-5 PM (0)
Jan 25, 5-6 PM (0)
Jan 25, 6-7 PM (0)
Jan 25, 7-8 PM (0)
Jan 25, 8-9 PM (0)
Jan 25, 9-10 PM (0)
Jan 25, 10-11 PM (0)
Jan 25, 11-12 AM (0)
Jan 26, 12-1 AM (0)
Jan 26, 1-2 AM (0)
Jan 26, 2-3 AM (0)
Jan 26, 3-4 AM (0)
Jan 26, 4-5 AM (0)
Jan 26, 5-6 AM (0)
Jan 26, 6-7 AM (0)
Jan 26, 7-8 AM (0)
Jan 26, 8-9 AM (0)
Jan 26, 9-10 AM (0)
Jan 26, 10-11 AM (0)
Jan 26, 11-12 PM (0)
Jan 26, 12-1 PM (0)
Jan 26, 1-2 PM (2)
Jan 26, 2-3 PM (1)
Jan 26, 3-4 PM (0)
Jan 26, 4-5 PM (0)
Jan 26, 5-6 PM (0)
Jan 26, 6-7 PM (0)
Jan 26, 7-8 PM (0)
Jan 26, 8-9 PM (0)
Jan 26, 9-10 PM (0)
Jan 26, 10-11 PM (0)
Jan 26, 11-12 AM (0)
Jan 27, 12-1 AM (3)
Jan 27, 1-2 AM (1)
Jan 27, 2-3 AM (1)
Jan 27, 3-4 AM (9)
Jan 27, 4-5 AM (1)
Jan 27, 5-6 AM (0)
Jan 27, 6-7 AM (0)
Jan 27, 7-8 AM (0)
Jan 27, 8-9 AM (0)
Jan 27, 9-10 AM (0)
Jan 27, 10-11 AM (0)
Jan 27, 11-12 PM (0)
Jan 27, 12-1 PM (0)
Jan 27, 1-2 PM (0)
Jan 27, 2-3 PM (3)
Jan 27, 3-4 PM (11)
Jan 27, 4-5 PM (2)
Jan 27, 5-6 PM (0)
Jan 27, 6-7 PM (4)
Jan 27, 7-8 PM (5)
Jan 27, 8-9 PM (0)
Jan 27, 9-10 PM (3)
Jan 27, 10-11 PM (2)
Jan 27, 11-12 AM (0)
Jan 28, 12-1 AM (0)
Jan 28, 1-2 AM (0)
Jan 28, 2-3 AM (0)
Jan 28, 3-4 AM (16)
Jan 28, 4-5 AM (15)
Jan 28, 5-6 AM (2)
Jan 28, 6-7 AM (1)
Jan 28, 7-8 AM (0)
Jan 28, 8-9 AM (0)
Jan 28, 9-10 AM (0)
Jan 28, 10-11 AM (4)
Jan 28, 11-12 PM (5)
Jan 28, 12-1 PM (1)
Jan 28, 1-2 PM (1)
Jan 28, 2-3 PM (1)
Jan 28, 3-4 PM (3)
Jan 28, 4-5 PM (3)
Jan 28, 5-6 PM (2)
Jan 28, 6-7 PM (0)
Jan 28, 7-8 PM (0)
Jan 28, 8-9 PM (0)
Jan 28, 9-10 PM (0)
Jan 28, 10-11 PM (0)
177 commits this week
Jan 21, 2026
-
Jan 28, 2026
Add premise on maxBlockExUnits to BBODY
Update changelog
Add txPOSIXTimeVldt to TxInfo
Remove unneeded EpochInfo and SystemStart abstract types
Artifacts generated from 6adb04140d7f5b25e84a83df9c0970a04bbb31c2
Artifacts generated from 2411a68f115b7e52240a07e9e2f4ff4aefcfc72d
[Dijkstra] Refine UTXO/SUBUTXO/SUBUTXOS (#1053)
* Add HasIsValidFlag and HasIsTopLevelValidFlag typeclasses * Remove evalP2Scripts from SUBUTXOS * Remove duplicate checks
Artifacts generated from e5788a8803200a45099bb429c248f3559b2d71a8
Artifacts generated from ce28afc656f3db5a502dbab820d312577b9f4e2a
Add txPOSIXTimeVldt to TxInfo
Remove unneeded EpochInfo and SystemStart abstract types
Add premise on epochInfoSlotToUTCTime to UTXO rule
Add abstract functions and types for handling time
Artifacts generated from 4e3e225aca6584f3e592142d16a123b33e7223dd
Add deposits in CERT
Remove duplicate checks
Remove evalP2Scripts from SUBUTXOS
Add HasIsValidFlag and HasIsTopLevelValidFlag typeclasses
Artifacts generated from e5cc6a24b5689106016856cf77e1380fe0805254
[Dijkstra] add refScriptsSize ≤ maxRefScriptSizePerTx premise
Artifacts generated from 1939eb8aece96b1e7ae80dd6361a18ee7c0ecfa7
Artifacts generated from 338cc3cca671becc0954e2979f7f2e4da874858e
Artifacts generated from cc8b7a6384a93cfc6a65b591e8e4dcdeda0b8fef