formal-ledger-specifications - 17 commits this week

Home / Input Output / formal-ledger-specifications

Insights Pull Requests

Mar 18, 10-11 PM (0)

Mar 18, 11-12 AM (0)

Mar 19, 12-1 AM (0)

Mar 19, 1-2 AM (0)

Mar 19, 2-3 AM (0)

Mar 19, 3-4 AM (0)

Mar 19, 4-5 AM (0)

Mar 19, 5-6 AM (0)

Mar 19, 6-7 AM (1)

Mar 19, 7-8 AM (0)

Mar 19, 8-9 AM (0)

Mar 19, 9-10 AM (0)

Mar 19, 10-11 AM (0)

Mar 19, 11-12 PM (0)

Mar 19, 12-1 PM (0)

Mar 19, 1-2 PM (1)

Mar 19, 2-3 PM (0)

Mar 19, 3-4 PM (0)

Mar 19, 4-5 PM (0)

Mar 19, 5-6 PM (0)

Mar 19, 6-7 PM (0)

Mar 19, 7-8 PM (0)

Mar 19, 8-9 PM (0)

Mar 19, 9-10 PM (0)

Mar 19, 10-11 PM (0)

Mar 19, 11-12 AM (0)

Mar 20, 12-1 AM (0)

Mar 20, 1-2 AM (0)

Mar 20, 2-3 AM (0)

Mar 20, 3-4 AM (1)

Mar 20, 4-5 AM (1)

Mar 20, 5-6 AM (0)

Mar 20, 6-7 AM (0)

Mar 20, 7-8 AM (0)

Mar 20, 8-9 AM (0)

Mar 20, 9-10 AM (2)

Mar 20, 10-11 AM (1)

Mar 20, 11-12 PM (1)

Mar 20, 12-1 PM (1)

Mar 20, 1-2 PM (0)

Mar 20, 2-3 PM (0)

Mar 20, 3-4 PM (1)

Mar 20, 4-5 PM (1)

Mar 20, 5-6 PM (0)

Mar 20, 6-7 PM (0)

Mar 20, 7-8 PM (0)

Mar 20, 8-9 PM (0)

Mar 20, 9-10 PM (0)

Mar 20, 10-11 PM (0)

Mar 20, 11-12 AM (0)

Mar 21, 12-1 AM (0)

Mar 21, 1-2 AM (0)

Mar 21, 2-3 AM (0)

Mar 21, 3-4 AM (0)

Mar 21, 4-5 AM (0)

Mar 21, 5-6 AM (0)

Mar 21, 6-7 AM (0)

Mar 21, 7-8 AM (0)

Mar 21, 8-9 AM (0)

Mar 21, 9-10 AM (0)

Mar 21, 10-11 AM (0)

Mar 21, 11-12 PM (0)

Mar 21, 12-1 PM (0)

Mar 21, 1-2 PM (0)

Mar 21, 2-3 PM (0)

Mar 21, 3-4 PM (0)

Mar 21, 4-5 PM (0)

Mar 21, 5-6 PM (0)

Mar 21, 6-7 PM (0)

Mar 21, 7-8 PM (0)

Mar 21, 8-9 PM (0)

Mar 21, 9-10 PM (0)

Mar 21, 10-11 PM (0)

Mar 21, 11-12 AM (0)

Mar 22, 12-1 AM (0)

Mar 22, 1-2 AM (0)

Mar 22, 2-3 AM (0)

Mar 22, 3-4 AM (0)

Mar 22, 4-5 AM (0)

Mar 22, 5-6 AM (0)

Mar 22, 6-7 AM (0)

Mar 22, 7-8 AM (0)

Mar 22, 8-9 AM (0)

Mar 22, 9-10 AM (0)

Mar 22, 10-11 AM (0)

Mar 22, 11-12 PM (0)

Mar 22, 12-1 PM (0)

Mar 22, 1-2 PM (0)

Mar 22, 2-3 PM (0)

Mar 22, 3-4 PM (0)

Mar 22, 4-5 PM (0)

Mar 22, 5-6 PM (0)

Mar 22, 6-7 PM (0)

Mar 22, 7-8 PM (0)

Mar 22, 8-9 PM (0)

Mar 22, 9-10 PM (0)

Mar 22, 10-11 PM (0)

Mar 22, 11-12 AM (0)

Mar 23, 12-1 AM (0)

Mar 23, 1-2 AM (0)

Mar 23, 2-3 AM (0)

Mar 23, 3-4 AM (0)

Mar 23, 4-5 AM (0)

Mar 23, 5-6 AM (0)

Mar 23, 6-7 AM (0)

Mar 23, 7-8 AM (0)

Mar 23, 8-9 AM (0)

Mar 23, 9-10 AM (0)

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

Mar 23, 4-5 PM (1)

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

Mar 23, 11-12 AM (0)

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

Mar 24, 12-1 PM (1)

Mar 24, 1-2 PM (0)

Mar 24, 2-3 PM (0)

Mar 24, 3-4 PM (0)

Mar 24, 4-5 PM (0)

Mar 24, 5-6 PM (0)

Mar 24, 6-7 PM (0)

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

Mar 25, 1-2 PM (0)

Mar 25, 2-3 PM (0)

Mar 25, 3-4 PM (0)

Mar 25, 4-5 PM (0)

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)

17 commits this week Mar 18, 2026 - Mar 25, 2026

carlostome · Wed, 25 Mar 26 13:20:34 +0000 · formal-ledger-specifications

Refactor UTXO; remove extra premises; fix computational instance

8058271a · carlos/refactor-utxo · 2/81 ++ 135 --

github-actions[bot] · Tue, 24 Mar 26 13:35:13 +0000 · formal-ledger-specifications

Artifacts generated from b4d743785979001a94ca95da393f75226a6a1ab2

8fe44b52 · 1114-cip-159-02-extend-txbody-artifacts · 7/300 ++ 300 --

williamdemeo · Mon, 23 Mar 26 23:43:56 +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.

2f5677f0 · 1114-cip-159-02-extend-txbody · 1/45 ++ 0 --