![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from ee678fc27c4288192ccbba4d2c35d940a7628704
Home /
Input Output /
formal-ledger-specifications
Jan 14, 9-10 PM (0)
Jan 14, 10-11 PM (0)
Jan 14, 11-12 AM (0)
Jan 15, 12-1 AM (0)
Jan 15, 1-2 AM (0)
Jan 15, 2-3 AM (3)
Jan 15, 3-4 AM (2)
Jan 15, 4-5 AM (0)
Jan 15, 5-6 AM (0)
Jan 15, 6-7 AM (0)
Jan 15, 7-8 AM (0)
Jan 15, 8-9 AM (0)
Jan 15, 9-10 AM (0)
Jan 15, 10-11 AM (0)
Jan 15, 11-12 PM (0)
Jan 15, 12-1 PM (0)
Jan 15, 1-2 PM (0)
Jan 15, 2-3 PM (1)
Jan 15, 3-4 PM (0)
Jan 15, 4-5 PM (0)
Jan 15, 5-6 PM (0)
Jan 15, 6-7 PM (0)
Jan 15, 7-8 PM (0)
Jan 15, 8-9 PM (0)
Jan 15, 9-10 PM (1)
Jan 15, 10-11 PM (2)
Jan 15, 11-12 AM (11)
Jan 16, 12-1 AM (5)
Jan 16, 1-2 AM (0)
Jan 16, 2-3 AM (0)
Jan 16, 3-4 AM (0)
Jan 16, 4-5 AM (1)
Jan 16, 5-6 AM (1)
Jan 16, 6-7 AM (0)
Jan 16, 7-8 AM (0)
Jan 16, 8-9 AM (0)
Jan 16, 9-10 AM (0)
Jan 16, 10-11 AM (1)
Jan 16, 11-12 PM (2)
Jan 16, 12-1 PM (5)
Jan 16, 1-2 PM (0)
Jan 16, 2-3 PM (1)
Jan 16, 3-4 PM (1)
Jan 16, 4-5 PM (0)
Jan 16, 5-6 PM (0)
Jan 16, 6-7 PM (0)
Jan 16, 7-8 PM (0)
Jan 16, 8-9 PM (0)
Jan 16, 9-10 PM (0)
Jan 16, 10-11 PM (0)
Jan 16, 11-12 AM (0)
Jan 17, 12-1 AM (0)
Jan 17, 1-2 AM (0)
Jan 17, 2-3 AM (0)
Jan 17, 3-4 AM (0)
Jan 17, 4-5 AM (0)
Jan 17, 5-6 AM (0)
Jan 17, 6-7 AM (0)
Jan 17, 7-8 AM (0)
Jan 17, 8-9 AM (0)
Jan 17, 9-10 AM (0)
Jan 17, 10-11 AM (0)
Jan 17, 11-12 PM (0)
Jan 17, 12-1 PM (0)
Jan 17, 1-2 PM (0)
Jan 17, 2-3 PM (0)
Jan 17, 3-4 PM (0)
Jan 17, 4-5 PM (0)
Jan 17, 5-6 PM (0)
Jan 17, 6-7 PM (0)
Jan 17, 7-8 PM (0)
Jan 17, 8-9 PM (0)
Jan 17, 9-10 PM (0)
Jan 17, 10-11 PM (0)
Jan 17, 11-12 AM (0)
Jan 18, 12-1 AM (0)
Jan 18, 1-2 AM (0)
Jan 18, 2-3 AM (0)
Jan 18, 3-4 AM (0)
Jan 18, 4-5 AM (0)
Jan 18, 5-6 AM (0)
Jan 18, 6-7 AM (0)
Jan 18, 7-8 AM (0)
Jan 18, 8-9 AM (0)
Jan 18, 9-10 AM (0)
Jan 18, 10-11 AM (0)
Jan 18, 11-12 PM (0)
Jan 18, 12-1 PM (0)
Jan 18, 1-2 PM (0)
Jan 18, 2-3 PM (0)
Jan 18, 3-4 PM (0)
Jan 18, 4-5 PM (0)
Jan 18, 5-6 PM (0)
Jan 18, 6-7 PM (0)
Jan 18, 7-8 PM (0)
Jan 18, 8-9 PM (0)
Jan 18, 9-10 PM (0)
Jan 18, 10-11 PM (0)
Jan 18, 11-12 AM (0)
Jan 19, 12-1 AM (0)
Jan 19, 1-2 AM (0)
Jan 19, 2-3 AM (10)
Jan 19, 3-4 AM (7)
Jan 19, 4-5 AM (1)
Jan 19, 5-6 AM (0)
Jan 19, 6-7 AM (0)
Jan 19, 7-8 AM (0)
Jan 19, 8-9 AM (0)
Jan 19, 9-10 AM (4)
Jan 19, 10-11 AM (0)
Jan 19, 11-12 PM (1)
Jan 19, 12-1 PM (1)
Jan 19, 1-2 PM (0)
Jan 19, 2-3 PM (4)
Jan 19, 3-4 PM (1)
Jan 19, 4-5 PM (1)
Jan 19, 5-6 PM (1)
Jan 19, 6-7 PM (2)
Jan 19, 7-8 PM (0)
Jan 19, 8-9 PM (0)
Jan 19, 9-10 PM (0)
Jan 19, 10-11 PM (0)
Jan 19, 11-12 AM (0)
Jan 20, 12-1 AM (0)
Jan 20, 1-2 AM (0)
Jan 20, 2-3 AM (0)
Jan 20, 3-4 AM (0)
Jan 20, 4-5 AM (0)
Jan 20, 5-6 AM (0)
Jan 20, 6-7 AM (0)
Jan 20, 7-8 AM (0)
Jan 20, 8-9 AM (0)
Jan 20, 9-10 AM (0)
Jan 20, 10-11 AM (0)
Jan 20, 11-12 PM (0)
Jan 20, 12-1 PM (0)
Jan 20, 1-2 PM (3)
Jan 20, 2-3 PM (1)
Jan 20, 3-4 PM (0)
Jan 20, 4-5 PM (0)
Jan 20, 5-6 PM (0)
Jan 20, 6-7 PM (0)
Jan 20, 7-8 PM (0)
Jan 20, 8-9 PM (0)
Jan 20, 9-10 PM (0)
Jan 20, 10-11 PM (0)
Jan 20, 11-12 AM (0)
Jan 21, 12-1 AM (0)
Jan 21, 1-2 AM (1)
Jan 21, 2-3 AM (1)
Jan 21, 3-4 AM (1)
Jan 21, 4-5 AM (0)
Jan 21, 5-6 AM (0)
Jan 21, 6-7 AM (0)
Jan 21, 7-8 AM (0)
Jan 21, 8-9 AM (0)
Jan 21, 9-10 AM (2)
Jan 21, 10-11 AM (0)
Jan 21, 11-12 PM (0)
Jan 21, 12-1 PM (0)
Jan 21, 1-2 PM (7)
Jan 21, 2-3 PM (1)
Jan 21, 3-4 PM (0)
Jan 21, 4-5 PM (0)
Jan 21, 5-6 PM (0)
Jan 21, 6-7 PM (0)
Jan 21, 7-8 PM (0)
Jan 21, 8-9 PM (0)
Jan 21, 9-10 PM (0)
87 commits this week
Jan 14, 2026
-
Jan 21, 2026
Implement the hash integrity check
Require all scripts to have a cost model
Update CHANGELOG with the costmdls type change
Bind costmdlsAssoc type and its Show instance with a type alias
Provide a more specific show instance for the costmldsAssoc field
Fix Show instance of PParams
Make costmdls a map
Artifacts generated from a52ee785b6e035e022ad0509ef7ce65a213e5a1a
Artifacts generated from 08f786877f1d89b97429e6a8201ef9b20dc279b1
Require all scripts to have a cost model
Refactor for presentation
Add WIP allowedLanguages
Implement the hash integrity check
Update CHANGELOG with the costmdls type change
Artifacts generated from b293b2c25eca0cea15bd2d021f3672d5e33a4ba2
clean up and correct consumed/produced accounting
Artifacts generated from 35596ab859531286f60d5a171dd2f9bbbc4a9be7
Artifacts generated from aa0a545a6cba9872f7c3a052192acbd80ef318f3
Address PR review comments.
Update src/Ledger/Dijkstra/Specification/Utxo.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>