formal-ledger-specifications - 28 commits this week

Home / Input Output / formal-ledger-specifications

Insights Pull Requests

Mar 25, 10-11 PM (0)

Mar 25, 11-12 AM (0)

Mar 26, 12-1 AM (0)

Mar 26, 1-2 AM (0)

Mar 26, 2-3 AM (0)

Mar 26, 3-4 AM (0)

Mar 26, 4-5 AM (0)

Mar 26, 5-6 AM (0)

Mar 26, 6-7 AM (0)

Mar 26, 7-8 AM (0)

Mar 26, 8-9 AM (0)

Mar 26, 9-10 AM (0)

Mar 26, 10-11 AM (0)

Mar 26, 11-12 PM (0)

Mar 26, 12-1 PM (0)

Mar 26, 1-2 PM (0)

Mar 26, 2-3 PM (0)

Mar 26, 3-4 PM (2)

Mar 26, 4-5 PM (0)

Mar 26, 5-6 PM (0)

Mar 26, 6-7 PM (0)

Mar 26, 7-8 PM (0)

Mar 26, 8-9 PM (0)

Mar 26, 9-10 PM (0)

Mar 26, 10-11 PM (0)

Mar 26, 11-12 AM (0)

Mar 27, 12-1 AM (0)

Mar 27, 1-2 AM (0)

Mar 27, 2-3 AM (0)

Mar 27, 3-4 AM (0)

Mar 27, 4-5 AM (0)

Mar 27, 5-6 AM (0)

Mar 27, 6-7 AM (3)

Mar 27, 7-8 AM (0)

Mar 27, 8-9 AM (0)

Mar 27, 9-10 AM (0)

Mar 27, 10-11 AM (0)

Mar 27, 11-12 PM (0)

Mar 27, 12-1 PM (0)

Mar 27, 1-2 PM (0)

Mar 27, 2-3 PM (0)

Mar 27, 3-4 PM (0)

Mar 27, 4-5 PM (0)

Mar 27, 5-6 PM (0)

Mar 27, 6-7 PM (0)

Mar 27, 7-8 PM (0)

Mar 27, 8-9 PM (0)

Mar 27, 9-10 PM (0)

Mar 27, 10-11 PM (0)

Mar 27, 11-12 AM (0)

Mar 28, 12-1 AM (0)

Mar 28, 1-2 AM (0)

Mar 28, 2-3 AM (0)

Mar 28, 3-4 AM (0)

Mar 28, 4-5 AM (0)

Mar 28, 5-6 AM (0)

Mar 28, 6-7 AM (0)

Mar 28, 7-8 AM (0)

Mar 28, 8-9 AM (0)

Mar 28, 9-10 AM (0)

Mar 28, 10-11 AM (0)

Mar 28, 11-12 PM (0)

Mar 28, 12-1 PM (0)

Mar 28, 1-2 PM (0)

Mar 28, 2-3 PM (0)

Mar 28, 3-4 PM (0)

Mar 28, 4-5 PM (0)

Mar 28, 5-6 PM (0)

Mar 28, 6-7 PM (0)

Mar 28, 7-8 PM (0)

Mar 28, 8-9 PM (0)

Mar 28, 9-10 PM (0)

Mar 28, 10-11 PM (0)

Mar 28, 11-12 AM (0)

Mar 29, 12-1 AM (0)

Mar 29, 1-2 AM (0)

Mar 29, 2-3 AM (0)

Mar 29, 3-4 AM (0)

Mar 29, 4-5 AM (0)

Mar 29, 5-6 AM (0)

Mar 29, 6-7 AM (0)

Mar 29, 7-8 AM (0)

Mar 29, 8-9 AM (0)

Mar 29, 9-10 AM (0)

Mar 29, 10-11 AM (0)

Mar 29, 11-12 PM (0)

Mar 29, 12-1 PM (0)

Mar 29, 1-2 PM (0)

Mar 29, 2-3 PM (0)

Mar 29, 3-4 PM (0)

Mar 29, 4-5 PM (0)

Mar 29, 5-6 PM (0)

Mar 29, 6-7 PM (0)

Mar 29, 7-8 PM (0)

Mar 29, 8-9 PM (0)

Mar 29, 9-10 PM (0)

Mar 29, 10-11 PM (0)

Mar 29, 11-12 AM (0)

Mar 30, 12-1 AM (0)

Mar 30, 1-2 AM (0)

Mar 30, 2-3 AM (0)

Mar 30, 3-4 AM (0)

Mar 30, 4-5 AM (0)

Mar 30, 5-6 AM (0)

Mar 30, 6-7 AM (0)

Mar 30, 7-8 AM (0)

Mar 30, 8-9 AM (0)

Mar 30, 9-10 AM (0)

Mar 30, 10-11 AM (2)

Mar 30, 11-12 PM (0)

Mar 30, 12-1 PM (0)

Mar 30, 1-2 PM (0)

Mar 30, 2-3 PM (0)

Mar 30, 3-4 PM (0)

Mar 30, 4-5 PM (0)

Mar 30, 5-6 PM (0)

Mar 30, 6-7 PM (0)

Mar 30, 7-8 PM (0)

Mar 30, 8-9 PM (0)

Mar 30, 9-10 PM (0)

Mar 30, 10-11 PM (0)

Mar 30, 11-12 AM (0)

Mar 31, 12-1 AM (0)

Mar 31, 1-2 AM (0)

Mar 31, 2-3 AM (0)

Mar 31, 3-4 AM (0)

Mar 31, 4-5 AM (0)

Mar 31, 5-6 AM (0)

Mar 31, 6-7 AM (0)

Mar 31, 7-8 AM (0)

Mar 31, 8-9 AM (0)

Mar 31, 9-10 AM (0)

Mar 31, 10-11 AM (0)

Mar 31, 11-12 PM (2)

Mar 31, 12-1 PM (0)

Mar 31, 1-2 PM (2)

Mar 31, 2-3 PM (5)

Mar 31, 3-4 PM (2)

Mar 31, 4-5 PM (0)

Mar 31, 5-6 PM (0)

Mar 31, 6-7 PM (0)

Mar 31, 7-8 PM (0)

Mar 31, 8-9 PM (0)

Mar 31, 9-10 PM (0)

Mar 31, 10-11 PM (0)

Mar 31, 11-12 AM (0)

Apr 01, 12-1 AM (0)

Apr 01, 1-2 AM (0)

Apr 01, 2-3 AM (0)

Apr 01, 3-4 AM (0)

Apr 01, 4-5 AM (0)

Apr 01, 5-6 AM (0)

Apr 01, 6-7 AM (0)

Apr 01, 7-8 AM (1)

Apr 01, 8-9 AM (2)

Apr 01, 9-10 AM (2)

Apr 01, 10-11 AM (0)

Apr 01, 11-12 PM (0)

Apr 01, 12-1 PM (0)

Apr 01, 1-2 PM (0)

Apr 01, 2-3 PM (4)

Apr 01, 3-4 PM (1)

Apr 01, 4-5 PM (0)

Apr 01, 5-6 PM (0)

Apr 01, 6-7 PM (0)

Apr 01, 7-8 PM (0)

Apr 01, 8-9 PM (0)

Apr 01, 9-10 PM (0)

Apr 01, 10-11 PM (0)

28 commits this week Mar 25, 2026 - Apr 01, 2026

github-actions[bot] · Wed, 01 Apr 26 16:38:54 +0000 · formal-ledger-specifications

Artifacts generated from dee04c4243f5b2c0e6d01222e158e0ee7757f30e

99b5e6ca · carlos/dijkstra-script-purpose-artifacts · 300/6,108,225 ++ 0 --

github-actions[bot] · Wed, 01 Apr 26 15:57:45 +0000 · formal-ledger-specifications

Artifacts generated from 5f85fa06e0643bc7093a7aa19161aea99793332c

5ff6fca8 · carlos/required-datum-for-P1-P2-scripts-artifacts · 21/429 ++ 427 --

github-actions[bot] · Wed, 01 Apr 26 15:31:35 +0000 · formal-ledger-specifications

Artifacts generated from ffbfcf382510b708065f33af267ccc8d8ab96b52

2bd5e79c · carlos/required-datum-for-P1-P2-scripts-artifacts · 2/251 ++ 253 --

carlostome · Wed, 01 Apr 26 15:21:54 +0000 · formal-ledger-specifications

Unify ScriptPurpose and Tag

50f62763 · carlos/dijkstra-script-purpose · 4/51 ++ 131 --

carlostome · Wed, 01 Apr 26 15:03:25 +0000 · formal-ledger-specifications

Add premises to UTXOW that check missing datahash/datum for spending scripts

60785fca · carlos/required-datum-for-P1-P2-scripts · 5/59 ++ 20 --

github-actions[bot] · Wed, 01 Apr 26 10:41:36 +0000 · formal-ledger-specifications

Artifacts generated from 3d2d076bc791432f901045a7a527216a826051ab

d266d810 · carlos/required-datum-for-P1-P2-scripts-artifacts · 14/774 ++ 780 --

github-actions[bot] · Wed, 01 Apr 26 10:39:50 +0000 · formal-ledger-specifications

Artifacts generated from 1b10e73a1917a0891bedf3038dc97cff3b449ee5

ab1d274e · 1110-dijkstra-collateral-check-precondition-on-utxo-doesnt-take-into-account-subtxs-artifacts · 14/783 ++ 789 --

carlostome · Wed, 01 Apr 26 09:41:54 +0000 · formal-ledger-specifications

Add premises to UTXOW that check missing datahash/datum for spending scripts

5b0e35ff · carlos/required-datum-for-P1-P2-scripts · 5/59 ++ 20 --

carlostome · Wed, 01 Apr 26 09:41:46 +0000 · formal-ledger-specifications

Refine precondition for collateral to take subtransactions into account

86c20828 · 1110-dijkstra-collateral-check-precondition-on-utxo-doesnt-take-into-account-subtxs · 1/3 ++ 1 --

github-actions[bot] · Wed, 01 Apr 26 08:26:38 +0000 · formal-ledger-specifications

Artifacts generated from 40294807ded28a9f409991e5a66e24665c38cc0e

f829eb2f · master-artifacts · 14/785 ++ 794 --

github-actions[bot] · Tue, 31 Mar 26 16:09:28 +0000 · formal-ledger-specifications

Artifacts generated from e0cafdaedace34a6153394643ac0791374534784

5866787d · carlos/required-datum-for-P1-P2-scripts-artifacts · 2/245 ++ 245 --

github-actions[bot] · Tue, 31 Mar 26 16:03:42 +0000 · formal-ledger-specifications

Artifacts generated from d1eb920d8a8750b54627308181e488cefa0b4e10

fc674ae7 · 1110-dijkstra-collateral-check-precondition-on-utxo-doesnt-take-into-account-subtxs-artifacts · 300/6,108,354 ++ 0 --

github-actions[bot] · Tue, 31 Mar 26 15:44:43 +0000 · formal-ledger-specifications

Artifacts generated from 8920fbb6002ee250193df98143db7bdcdc990cef

64cba765 · carlos/required-datum-for-P1-P2-scripts-artifacts · 300/6,109,487 ++ 0 --

carlostome · Tue, 31 Mar 26 15:40:33 +0000 · formal-ledger-specifications

Get data only from trasnaction witnesses

40294807 · master · 3/10 ++ 13 --

github-actions[bot] · Tue, 31 Mar 26 15:10:19 +0000 · formal-ledger-specifications

Artifacts generated from cea5ae675b741f77e630962aadf70d6d47a0dba6

a907917a · 1094-dijkstra-change-getalldata-to-account-only-for-tx-witnesses-artifacts · 1/7 ++ 7 --

carlostome · Tue, 31 Mar 26 15:04:35 +0000 · formal-ledger-specifications

Add premises to UTXOW that check missing datahash/datum for spending scripts

224ba9cc · carlos/required-datum-for-P1-P2-scripts · 5/59 ++ 20 --

github-actions[bot] · Tue, 31 Mar 26 15:03:15 +0000 · formal-ledger-specifications

Artifacts generated from d1800267668767d7394955bb19968a1a93205c41

ed98f4fb · master-artifacts · 12/681 ++ 896 --

carlostome · Tue, 31 Mar 26 14:59:19 +0000 · formal-ledger-specifications

Refine precondition for collateral to take subtransactions into account

fe732a2c · 1110-dijkstra-collateral-check-precondition-on-utxo-doesnt-take-into-account-subtxs · 1/3 ++ 1 --

github-actions[bot] · Tue, 31 Mar 26 14:58:16 +0000 · formal-ledger-specifications

Artifacts generated from 60cb6949eeea677095d37645f01757b37a1d3aa8

4ec74647 · 1094-dijkstra-change-getalldata-to-account-only-for-tx-witnesses-artifacts · 1/7 ++ 7 --

carlostome · Tue, 31 Mar 26 12:24:51 +0000 · formal-ledger-specifications

Get data only from trasnaction witnesses

ac559d00 · 1094-dijkstra-change-getalldata-to-account-only-for-tx-witnesses · 3/10 ++ 13 --

carlostome · Tue, 31 Mar 26 12:23:27 +0000 · formal-ledger-specifications

Cleanup WitnessLogic

d1800267 · 1094-dijkstra-change-getalldata-to-account-only-for-tx-witnesses · 1/0 ++ 109 --

carlostome · Mon, 30 Mar 26 11:56:10 +0000 · formal-ledger-specifications

Get data only from trasnaction witnesses

3b717a40 · 1094-dijkstra-change-getalldata-to-account-only-for-tx-witnesses · 2/7 ++ 10 --

carlostome · Mon, 30 Mar 26 11:00:05 +0000 · formal-ledger-specifications

Get data only from trasnaction witnesses

0755ec5a · 1094-dijkstra-change-getalldata-to-account-only-for-tx-witnesses · 1/6 ++ 9 --

williamdemeo · Fri, 27 Mar 26 07:44:57 +0000 · formal-ledger-specifications

update CHANGELOG

7b96db84 · pull/1125/head~2 · 1/1 ++ 0 --