adapt to changes after rebasing on master
Home /
IntersectMBO /
formal-ledger-specifications
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 (0)
Feb 05, 8-9 PM (0)
Feb 05, 9-10 PM (1)
Feb 05, 10-11 PM (0)
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 (0)
Feb 06, 4-5 AM (0)
Feb 06, 5-6 AM (0)
Feb 06, 6-7 AM (0)
Feb 06, 7-8 AM (0)
Feb 06, 8-9 AM (0)
Feb 06, 9-10 AM (1)
Feb 06, 10-11 AM (0)
Feb 06, 11-12 PM (0)
Feb 06, 12-1 PM (0)
Feb 06, 1-2 PM (0)
Feb 06, 2-3 PM (0)
Feb 06, 3-4 PM (0)
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 (0)
Feb 06, 9-10 PM (0)
Feb 06, 10-11 PM (0)
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 (0)
Feb 07, 5-6 AM (1)
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)
Feb 08, 12-1 AM (0)
Feb 08, 1-2 AM (0)
Feb 08, 2-3 AM (0)
Feb 08, 3-4 AM (0)
Feb 08, 4-5 AM (0)
Feb 08, 5-6 AM (0)
Feb 08, 6-7 AM (0)
Feb 08, 7-8 AM (0)
Feb 08, 8-9 AM (0)
Feb 08, 9-10 AM (0)
Feb 08, 10-11 AM (0)
Feb 08, 11-12 PM (0)
Feb 08, 12-1 PM (0)
Feb 08, 1-2 PM (0)
Feb 08, 2-3 PM (0)
Feb 08, 3-4 PM (0)
Feb 08, 4-5 PM (0)
Feb 08, 5-6 PM (0)
Feb 08, 6-7 PM (0)
Feb 08, 7-8 PM (0)
Feb 08, 8-9 PM (0)
Feb 08, 9-10 PM (0)
Feb 08, 10-11 PM (0)
Feb 08, 11-12 AM (0)
Feb 09, 12-1 AM (0)
Feb 09, 1-2 AM (0)
Feb 09, 2-3 AM (0)
Feb 09, 3-4 AM (0)
Feb 09, 4-5 AM (0)
Feb 09, 5-6 AM (0)
Feb 09, 6-7 AM (0)
Feb 09, 7-8 AM (0)
Feb 09, 8-9 AM (0)
Feb 09, 9-10 AM (0)
Feb 09, 10-11 AM (0)
Feb 09, 11-12 PM (0)
Feb 09, 12-1 PM (0)
Feb 09, 1-2 PM (0)
Feb 09, 2-3 PM (0)
Feb 09, 3-4 PM (0)
Feb 09, 4-5 PM (1)
Feb 09, 5-6 PM (0)
Feb 09, 6-7 PM (0)
Feb 09, 7-8 PM (0)
Feb 09, 8-9 PM (0)
Feb 09, 9-10 PM (0)
Feb 09, 10-11 PM (0)
Feb 09, 11-12 AM (0)
Feb 10, 12-1 AM (0)
Feb 10, 1-2 AM (0)
Feb 10, 2-3 AM (0)
Feb 10, 3-4 AM (0)
Feb 10, 4-5 AM (0)
Feb 10, 5-6 AM (0)
Feb 10, 6-7 AM (0)
Feb 10, 7-8 AM (0)
Feb 10, 8-9 AM (0)
Feb 10, 9-10 AM (0)
Feb 10, 10-11 AM (0)
Feb 10, 11-12 PM (0)
Feb 10, 12-1 PM (2)
Feb 10, 1-2 PM (0)
Feb 10, 2-3 PM (0)
Feb 10, 3-4 PM (0)
Feb 10, 4-5 PM (0)
Feb 10, 5-6 PM (0)
Feb 10, 6-7 PM (0)
Feb 10, 7-8 PM (0)
Feb 10, 8-9 PM (0)
Feb 10, 9-10 PM (0)
Feb 10, 10-11 PM (0)
Feb 10, 11-12 AM (0)
Feb 11, 12-1 AM (0)
Feb 11, 1-2 AM (0)
Feb 11, 2-3 AM (0)
Feb 11, 3-4 AM (0)
Feb 11, 4-5 AM (0)
Feb 11, 5-6 AM (0)
Feb 11, 6-7 AM (0)
Feb 11, 7-8 AM (0)
Feb 11, 8-9 AM (0)
Feb 11, 9-10 AM (0)
Feb 11, 10-11 AM (0)
Feb 11, 11-12 PM (0)
Feb 11, 12-1 PM (0)
Feb 11, 1-2 PM (0)
Feb 11, 2-3 PM (0)
Feb 11, 3-4 PM (1)
Feb 11, 4-5 PM (0)
Feb 11, 5-6 PM (0)
Feb 11, 6-7 PM (0)
Feb 11, 7-8 PM (0)
Feb 11, 8-9 PM (1)
Feb 11, 9-10 PM (5)
Feb 11, 10-11 PM (0)
13 commits this week
Feb 04, 2026
-
Feb 11, 2026
progress on UTXO Computational instance
completed Computational instance for UTXO
getting closer to Computational instance for UTXO
sketch proof of Computational instance for UTXO
computational instance for UTXOS
Rename subterms in subutxow/utxow for clarity (#1078)
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 406229678eab56ec4f49b663a66b2a75e971567b
Merge pull request #1077 from IntersectMBO/fd/needed-languages
Retrieve languages of needed scripts only in the UTXOW rule
Retrieve languages of needed scripts only in UTXOW rule
completed Computational instance for UTXO
Artifacts generated from 25ecf81a6b5fb0f79e7f8220c8cb0bc549b14e70