completed Computational instance for UTXO
Home /
Input Output /
formal-ledger-specifications
Jan 31, 11-12 AM (0)
Feb 01, 12-1 AM (0)
Feb 01, 1-2 AM (0)
Feb 01, 2-3 AM (0)
Feb 01, 3-4 AM (0)
Feb 01, 4-5 AM (0)
Feb 01, 5-6 AM (0)
Feb 01, 6-7 AM (0)
Feb 01, 7-8 AM (0)
Feb 01, 8-9 AM (0)
Feb 01, 9-10 AM (0)
Feb 01, 10-11 AM (0)
Feb 01, 11-12 PM (0)
Feb 01, 12-1 PM (0)
Feb 01, 1-2 PM (0)
Feb 01, 2-3 PM (0)
Feb 01, 3-4 PM (0)
Feb 01, 4-5 PM (0)
Feb 01, 5-6 PM (0)
Feb 01, 6-7 PM (0)
Feb 01, 7-8 PM (0)
Feb 01, 8-9 PM (0)
Feb 01, 9-10 PM (0)
Feb 01, 10-11 PM (0)
Feb 01, 11-12 AM (0)
Feb 02, 12-1 AM (0)
Feb 02, 1-2 AM (0)
Feb 02, 2-3 AM (0)
Feb 02, 3-4 AM (0)
Feb 02, 4-5 AM (0)
Feb 02, 5-6 AM (0)
Feb 02, 6-7 AM (0)
Feb 02, 7-8 AM (0)
Feb 02, 8-9 AM (0)
Feb 02, 9-10 AM (0)
Feb 02, 10-11 AM (0)
Feb 02, 11-12 PM (2)
Feb 02, 12-1 PM (0)
Feb 02, 1-2 PM (0)
Feb 02, 2-3 PM (0)
Feb 02, 3-4 PM (1)
Feb 02, 4-5 PM (0)
Feb 02, 5-6 PM (0)
Feb 02, 6-7 PM (1)
Feb 02, 7-8 PM (0)
Feb 02, 8-9 PM (0)
Feb 02, 9-10 PM (0)
Feb 02, 10-11 PM (0)
Feb 02, 11-12 AM (0)
Feb 03, 12-1 AM (0)
Feb 03, 1-2 AM (1)
Feb 03, 2-3 AM (1)
Feb 03, 3-4 AM (0)
Feb 03, 4-5 AM (0)
Feb 03, 5-6 AM (0)
Feb 03, 6-7 AM (0)
Feb 03, 7-8 AM (0)
Feb 03, 8-9 AM (0)
Feb 03, 9-10 AM (0)
Feb 03, 10-11 AM (0)
Feb 03, 11-12 PM (0)
Feb 03, 12-1 PM (0)
Feb 03, 1-2 PM (3)
Feb 03, 2-3 PM (2)
Feb 03, 3-4 PM (0)
Feb 03, 4-5 PM (0)
Feb 03, 5-6 PM (0)
Feb 03, 6-7 PM (0)
Feb 03, 7-8 PM (4)
Feb 03, 8-9 PM (7)
Feb 03, 9-10 PM (0)
Feb 03, 10-11 PM (0)
Feb 03, 11-12 AM (0)
Feb 04, 12-1 AM (0)
Feb 04, 1-2 AM (0)
Feb 04, 2-3 AM (1)
Feb 04, 3-4 AM (1)
Feb 04, 4-5 AM (0)
Feb 04, 5-6 AM (0)
Feb 04, 6-7 AM (0)
Feb 04, 7-8 AM (0)
Feb 04, 8-9 AM (1)
Feb 04, 9-10 AM (0)
Feb 04, 10-11 AM (3)
Feb 04, 11-12 PM (1)
Feb 04, 12-1 PM (0)
Feb 04, 1-2 PM (0)
Feb 04, 2-3 PM (3)
Feb 04, 3-4 PM (4)
Feb 04, 4-5 PM (1)
Feb 04, 5-6 PM (0)
Feb 04, 6-7 PM (0)
Feb 04, 7-8 PM (0)
Feb 04, 8-9 PM (0)
Feb 04, 9-10 PM (0)
Feb 04, 10-11 PM (0)
Feb 04, 11-12 AM (0)
Feb 05, 12-1 AM (0)
Feb 05, 1-2 AM (0)
Feb 05, 2-3 AM (0)
Feb 05, 3-4 AM (0)
Feb 05, 4-5 AM (0)
Feb 05, 5-6 AM (0)
Feb 05, 6-7 AM (0)
Feb 05, 7-8 AM (0)
Feb 05, 8-9 AM (0)
Feb 05, 9-10 AM (0)
Feb 05, 10-11 AM (0)
Feb 05, 11-12 PM (0)
Feb 05, 12-1 PM (0)
Feb 05, 1-2 PM (0)
Feb 05, 2-3 PM (0)
Feb 05, 3-4 PM (0)
Feb 05, 4-5 PM (0)
Feb 05, 5-6 PM (0)
Feb 05, 6-7 PM (0)
Feb 05, 7-8 PM (3)
Feb 05, 8-9 PM (0)
Feb 05, 9-10 PM (0)
Feb 05, 10-11 PM (3)
Feb 05, 11-12 AM (0)
Feb 06, 12-1 AM (0)
Feb 06, 1-2 AM (0)
Feb 06, 2-3 AM (0)
Feb 06, 3-4 AM (1)
Feb 06, 4-5 AM (2)
Feb 06, 5-6 AM (0)
Feb 06, 6-7 AM (0)
Feb 06, 7-8 AM (0)
Feb 06, 8-9 AM (2)
Feb 06, 9-10 AM (1)
Feb 06, 10-11 AM (0)
Feb 06, 11-12 PM (2)
Feb 06, 12-1 PM (5)
Feb 06, 1-2 PM (1)
Feb 06, 2-3 PM (1)
Feb 06, 3-4 PM (4)
Feb 06, 4-5 PM (0)
Feb 06, 5-6 PM (0)
Feb 06, 6-7 PM (0)
Feb 06, 7-8 PM (0)
Feb 06, 8-9 PM (1)
Feb 06, 9-10 PM (2)
Feb 06, 10-11 PM (1)
Feb 06, 11-12 AM (0)
Feb 07, 12-1 AM (0)
Feb 07, 1-2 AM (0)
Feb 07, 2-3 AM (0)
Feb 07, 3-4 AM (0)
Feb 07, 4-5 AM (1)
Feb 07, 5-6 AM (0)
Feb 07, 6-7 AM (0)
Feb 07, 7-8 AM (0)
Feb 07, 8-9 AM (0)
Feb 07, 9-10 AM (0)
Feb 07, 10-11 AM (0)
Feb 07, 11-12 PM (0)
Feb 07, 12-1 PM (0)
Feb 07, 1-2 PM (0)
Feb 07, 2-3 PM (0)
Feb 07, 3-4 PM (0)
Feb 07, 4-5 PM (0)
Feb 07, 5-6 PM (0)
Feb 07, 6-7 PM (0)
Feb 07, 7-8 PM (0)
Feb 07, 8-9 PM (0)
Feb 07, 9-10 PM (0)
Feb 07, 10-11 PM (0)
Feb 07, 11-12 AM (0)
67 commits this week
Feb 01, 2026
-
Feb 08, 2026
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from ed43e4f1b2edfdca21d6c964ec7749b477aa8267
Artifacts generated from f5210eaf5b2286f5c2cf9742c14455f1e1c1b8b4
getting closer to Computational instance for UTXO
progress on UTXO Computational instance
Artifacts generated from b759896ed8e87f3de1ab0df87ed0bceeeee3c5a2
Merge pull request #1056 from IntersectMBO/fd/maxBlockExUnits
Add premise on maxBlockExUnits to BBODY
Artifacts generated from 68691b4f9a1ddd8321ed92577d2d2f0ad62a80ab
Artifacts generated from 10ca312b114fb1516d77637016280d3d77140fac
Add Maybe Datum argument for Guards
Artifacts generated from 5065e3e7b500a34226ad2ba853c8f30902a9be04
Change conditions on allowedLanaguagesLegacy
Change indentation of conditional state for better rendering
Make DepositsChange into a record type
Add legacy-mode for UTXOW
Artifacts generated from ca5821177e4c4d2f55e31ac455cd53b172aa9ffd
RequiredTopLevelGuards
- Rename - Move to UTXOW - Required guards as part of UTXOW
Refactor comments to follow Haddock style
Artifacts generated from 43266446acf03af1e2b197f9ddfc0a9056b8f224
Add premise on maxBlockExUnits to BBODY
[Dijkstra] Computational instance for GOV (#1066)
Artifacts generated from f65d3de9e47a9d7c29c87d8db424c1c9568bc768
Artifacts generated from 6f48c37e5612add6f07c89e2b718bc18f287dfbf
sketch proof of Computational instance for UTXO
Artifacts generated from fb90a180aac845340147fec8360b3f7d711e2492