formal-ledger-specifications - 27 commits this week

Home / IntersectMBO / formal-ledger-specifications

Insights Pull Requests

Mar 23, 7-8 AM (0)

Mar 23, 8-9 AM (0)

Mar 23, 9-10 AM (1)

Mar 23, 10-11 AM (0)

Mar 23, 11-12 PM (0)

Mar 23, 12-1 PM (0)

Mar 23, 1-2 PM (0)

Mar 23, 2-3 PM (0)

Mar 23, 3-4 PM (2)

Mar 23, 4-5 PM (0)

Mar 23, 5-6 PM (0)

Mar 23, 6-7 PM (0)

Mar 23, 7-8 PM (0)

Mar 23, 8-9 PM (0)

Mar 23, 9-10 PM (0)

Mar 23, 10-11 PM (1)

Mar 23, 11-12 AM (1)

Mar 24, 12-1 AM (0)

Mar 24, 1-2 AM (0)

Mar 24, 2-3 AM (0)

Mar 24, 3-4 AM (0)

Mar 24, 4-5 AM (0)

Mar 24, 5-6 AM (0)

Mar 24, 6-7 AM (0)

Mar 24, 7-8 AM (0)

Mar 24, 8-9 AM (0)

Mar 24, 9-10 AM (0)

Mar 24, 10-11 AM (0)

Mar 24, 11-12 PM (1)

Mar 24, 12-1 PM (0)

Mar 24, 1-2 PM (0)

Mar 24, 2-3 PM (0)

Mar 24, 3-4 PM (1)

Mar 24, 4-5 PM (0)

Mar 24, 5-6 PM (0)

Mar 24, 6-7 PM (1)

Mar 24, 7-8 PM (0)

Mar 24, 8-9 PM (0)

Mar 24, 9-10 PM (0)

Mar 24, 10-11 PM (0)

Mar 24, 11-12 AM (0)

Mar 25, 12-1 AM (0)

Mar 25, 1-2 AM (0)

Mar 25, 2-3 AM (0)

Mar 25, 3-4 AM (0)

Mar 25, 4-5 AM (0)

Mar 25, 5-6 AM (0)

Mar 25, 6-7 AM (0)

Mar 25, 7-8 AM (0)

Mar 25, 8-9 AM (0)

Mar 25, 9-10 AM (0)

Mar 25, 10-11 AM (0)

Mar 25, 11-12 PM (0)

Mar 25, 12-1 PM (0)

Mar 25, 1-2 PM (1)

Mar 25, 2-3 PM (0)

Mar 25, 3-4 PM (1)

Mar 25, 4-5 PM (1)

Mar 25, 5-6 PM (0)

Mar 25, 6-7 PM (0)

Mar 25, 7-8 PM (0)

Mar 25, 8-9 PM (0)

Mar 25, 9-10 PM (0)

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 (1)

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 (3)

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 (1)

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 (2)

Mar 27, 7-8 AM (6)

Mar 27, 8-9 AM (2)

Mar 27, 9-10 AM (1)

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)

27 commits this week Mar 23, 2026 - Mar 30, 2026

github-actions[bot] · Fri, 27 Mar 26 10:39:26 +0000 · formal-ledger-specifications

Artifacts generated from c8ac49f21cd6b4fa1a2f885963822d82482bed76

744723c7 · 1129-dijkstra-we-should-not-need-witnesslogicsubtx-artifacts · 300/6,108,350 ++ 0 --

carlostome · Fri, 27 Mar 26 09:40:46 +0000 · formal-ledger-specifications

Cleanup WitnessLogic

7be6767b · 1129-dijkstra-we-should-not-need-witnesslogicsubtx · 1/0 ++ 109 --

github-actions[bot] · Fri, 27 Mar 26 09:16:54 +0000 · formal-ledger-specifications

Artifacts generated from a631fdccaea8dc904cca84fc6a09412225c3cf13

574d76a2 · master-artifacts · 35/1,962 ++ 1,863 --

github-actions[bot] · Fri, 27 Mar 26 08:47:00 +0000 · formal-ledger-specifications

Artifacts generated from 71678a21adfdbdb26a4e2c928fe2a3d0f87fb6af

0836fcab · 1114-cip-159-02-extend-txbody-artifacts · 300/6,108,563 ++ 0 --

github-actions[bot] · Fri, 27 Mar 26 08:18:14 +0000 · formal-ledger-specifications

Artifacts generated from 2a1852cdf7d5ead5e5769a5321e7a65906b99dbf

1a68dd71 · master-artifacts · 33/1,088 ++ 968 --

williamdemeo · Fri, 27 Mar 26 08:15:38 +0000 · formal-ledger-specifications

address PR review comments

a631fdcc · master · 2/15 ++ 9 --

williamdemeo · Fri, 27 Mar 26 08:15:38 +0000 · formal-ledger-specifications

suggestions from review of #1124

0f1d081b · master · 1/28 ++ 26 --

williamdemeo · Fri, 27 Mar 26 08:15:38 +0000 · formal-ledger-specifications

[Dijkstra] CIP-159-02: Extend TxBody

Closes #1114 by adding the two new transaction body fields required by [CIP-159](https://github.com/cardano-foundation/CIPs/tree/master/CIP-0159) (Account Address Enhancement) to the Dijkstra-era `TxBody` record, along with type class accessors and batch-wide aggregation helpers.

76cf4e0b · master · 1/45 ++ 0 --

williamdemeo · Fri, 27 Mar 26 08:15:38 +0000 · formal-ledger-specifications

update CHANGELOG

289b64f9 · master · 1/1 ++ 0 --

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

[Dijkstra] CIP-159-02: Extend TxBody

Closes #1114 by adding the two new transaction body fields required by [CIP-159](https://github.com/cardano-foundation/CIPs/tree/master/CIP-0159) (Account Address Enhancement) to the Dijkstra-era `TxBody` record, along with type class accessors and batch-wide aggregation helpers.

2d203536 · pull/1125/head~3 · 1/45 ++ 0 --

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

address PR review comments

355d63c0 · pull/1125/head · 2/15 ++ 9 --

github-actions[bot] · Thu, 26 Mar 26 23:26:44 +0000 · formal-ledger-specifications

Artifacts generated from 3b1f528fc5c3458cf8c3e96b433e5d6d376cf588

87369988 · carlos/refactor-utxow-artifacts · 300/6,108,469 ++ 0 --

williamdemeo · Thu, 26 Mar 26 16:19:41 +0000 · formal-ledger-specifications

[Dijkstra] CIP-159-02: Extend TxBody

Closes #1114 by adding the two new transaction body fields required by [CIP-159](https://github.com/cardano-foundation/CIPs/tree/master/CIP-0159) (Account Address Enhancement) to the Dijkstra-era `TxBody` record, along with type class accessors and batch-wide aggregation helpers.

104d8658 · 1114-cip-159-02-extend-txbody · 1/45 ++ 0 --