formal-ledger-specifications - 106 commits this week

Home / IntersectMBO / formal-ledger-specifications

Insights Pull Requests

Mar 10, 2-3 AM (13)

Mar 10, 3-4 AM (2)

Mar 10, 4-5 AM (0)

Mar 10, 5-6 AM (0)

Mar 10, 6-7 AM (0)

Mar 10, 7-8 AM (0)

Mar 10, 8-9 AM (0)

Mar 10, 9-10 AM (0)

Mar 10, 10-11 AM (0)

Mar 10, 11-12 PM (1)

Mar 10, 12-1 PM (0)

Mar 10, 1-2 PM (1)

Mar 10, 2-3 PM (0)

Mar 10, 3-4 PM (1)

Mar 10, 4-5 PM (0)

Mar 10, 5-6 PM (0)

Mar 10, 6-7 PM (0)

Mar 10, 7-8 PM (0)

Mar 10, 8-9 PM (0)

Mar 10, 9-10 PM (0)

Mar 10, 10-11 PM (0)

Mar 10, 11-12 AM (0)

Mar 11, 12-1 AM (0)

Mar 11, 1-2 AM (0)

Mar 11, 2-3 AM (0)

Mar 11, 3-4 AM (0)

Mar 11, 4-5 AM (0)

Mar 11, 5-6 AM (0)

Mar 11, 6-7 AM (0)

Mar 11, 7-8 AM (0)

Mar 11, 8-9 AM (1)

Mar 11, 9-10 AM (2)

Mar 11, 10-11 AM (0)

Mar 11, 11-12 PM (0)

Mar 11, 12-1 PM (2)

Mar 11, 1-2 PM (9)

Mar 11, 2-3 PM (4)

Mar 11, 3-4 PM (24)

Mar 11, 4-5 PM (19)

Mar 11, 5-6 PM (15)

Mar 11, 6-7 PM (0)

Mar 11, 7-8 PM (0)

Mar 11, 8-9 PM (0)

Mar 11, 9-10 PM (0)

Mar 11, 10-11 PM (0)

Mar 11, 11-12 AM (0)

Mar 12, 12-1 AM (0)

Mar 12, 1-2 AM (0)

Mar 12, 2-3 AM (0)

Mar 12, 3-4 AM (0)

Mar 12, 4-5 AM (0)

Mar 12, 5-6 AM (0)

Mar 12, 6-7 AM (0)

Mar 12, 7-8 AM (0)

Mar 12, 8-9 AM (0)

Mar 12, 9-10 AM (1)

Mar 12, 10-11 AM (1)

Mar 12, 11-12 PM (0)

Mar 12, 12-1 PM (0)

Mar 12, 1-2 PM (0)

Mar 12, 2-3 PM (1)

Mar 12, 3-4 PM (0)

Mar 12, 4-5 PM (0)

Mar 12, 5-6 PM (0)

Mar 12, 6-7 PM (0)

Mar 12, 7-8 PM (0)

Mar 12, 8-9 PM (0)

Mar 12, 9-10 PM (0)

Mar 12, 10-11 PM (0)

Mar 12, 11-12 AM (0)

Mar 13, 12-1 AM (0)

Mar 13, 1-2 AM (3)

Mar 13, 2-3 AM (4)

Mar 13, 3-4 AM (1)

Mar 13, 4-5 AM (0)

Mar 13, 5-6 AM (0)

Mar 13, 6-7 AM (0)

Mar 13, 7-8 AM (0)

Mar 13, 8-9 AM (0)

Mar 13, 9-10 AM (1)

Mar 13, 10-11 AM (0)

Mar 13, 11-12 PM (0)

Mar 13, 12-1 PM (0)

Mar 13, 1-2 PM (0)

Mar 13, 2-3 PM (5)

Mar 13, 3-4 PM (0)

Mar 13, 4-5 PM (2)

Mar 13, 5-6 PM (1)

Mar 13, 6-7 PM (0)

Mar 13, 7-8 PM (0)

Mar 13, 8-9 PM (0)

Mar 13, 9-10 PM (0)

Mar 13, 10-11 PM (0)

Mar 13, 11-12 AM (0)

Mar 14, 12-1 AM (0)

Mar 14, 1-2 AM (0)

Mar 14, 2-3 AM (0)

Mar 14, 3-4 AM (0)

Mar 14, 4-5 AM (0)

Mar 14, 5-6 AM (0)

Mar 14, 6-7 AM (0)

Mar 14, 7-8 AM (0)

Mar 14, 8-9 AM (0)

Mar 14, 9-10 AM (0)

Mar 14, 10-11 AM (0)

Mar 14, 11-12 PM (0)

Mar 14, 12-1 PM (0)

Mar 14, 1-2 PM (0)

Mar 14, 2-3 PM (0)

Mar 14, 3-4 PM (0)

Mar 14, 4-5 PM (0)

Mar 14, 5-6 PM (0)

Mar 14, 6-7 PM (0)

Mar 14, 7-8 PM (0)

Mar 14, 8-9 PM (0)

Mar 14, 9-10 PM (0)

Mar 14, 10-11 PM (0)

Mar 14, 11-12 AM (0)

Mar 15, 12-1 AM (0)

Mar 15, 1-2 AM (0)

Mar 15, 2-3 AM (0)

Mar 15, 3-4 AM (0)

Mar 15, 4-5 AM (0)

Mar 15, 5-6 AM (0)

Mar 15, 6-7 AM (0)

Mar 15, 7-8 AM (0)

Mar 15, 8-9 AM (0)

Mar 15, 9-10 AM (0)

Mar 15, 10-11 AM (0)

Mar 15, 11-12 PM (0)

Mar 15, 12-1 PM (0)

Mar 15, 1-2 PM (0)

Mar 15, 2-3 PM (0)

Mar 15, 3-4 PM (0)

Mar 15, 4-5 PM (0)

Mar 15, 5-6 PM (0)

Mar 15, 6-7 PM (0)

Mar 15, 7-8 PM (0)

Mar 15, 8-9 PM (0)

Mar 15, 9-10 PM (0)

Mar 15, 10-11 PM (0)

Mar 15, 11-12 AM (0)

Mar 16, 12-1 AM (0)

Mar 16, 1-2 AM (0)

Mar 16, 2-3 AM (0)

Mar 16, 3-4 AM (0)

Mar 16, 4-5 AM (0)

Mar 16, 5-6 AM (0)

Mar 16, 6-7 AM (0)

Mar 16, 7-8 AM (0)

Mar 16, 8-9 AM (1)

Mar 16, 9-10 AM (0)

Mar 16, 10-11 AM (0)

Mar 16, 11-12 PM (0)

Mar 16, 12-1 PM (0)

Mar 16, 1-2 PM (1)

Mar 16, 2-3 PM (1)

Mar 16, 3-4 PM (0)

Mar 16, 4-5 PM (1)

Mar 16, 5-6 PM (0)

Mar 16, 6-7 PM (0)

Mar 16, 7-8 PM (0)

Mar 16, 8-9 PM (0)

Mar 16, 9-10 PM (0)

Mar 16, 10-11 PM (0)

Mar 16, 11-12 AM (0)

Mar 17, 12-1 AM (0)

Mar 17, 1-2 AM (0)

Mar 17, 2-3 AM (0)

106 commits this week Mar 10, 2026 - Mar 17, 2026

github-actions[bot] · Mon, 16 Mar 26 17:20:14 +0000 · formal-ledger-specifications

Artifacts generated from 1b6ccdea1d63cc133fb3c9018b78c94adac0ef7f

7e9e7462 · carlos/version-restriction-3-artifacts · 250/118,385 ++ 117,756 --

carlostome · Mon, 16 Mar 26 15:32:31 +0000 · formal-ledger-specifications

Add wrapper type over LanguageCostModels

c5805bc5 · carlos/version-restriction-3 · 4/30 ++ 12 --

carlostome · Mon, 16 Mar 26 14:54:45 +0000 · formal-ledger-specifications

Add wrapper type over LanguageCostModels

8bfc162f · carlos/version-restriction-3 · 4/30 ++ 12 --

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

Artifacts generated from 2ea9749d7f2724d3f654b5412565b2c5a2e70849

a2bba437 · carlos/version-restriction-3-artifacts · 17/632 ++ 540 --

github-actions[bot] · Fri, 13 Mar 26 18:28:04 +0000 · formal-ledger-specifications

Artifacts generated from f39383b4bdf6c7f12d4733fbf9f0a92e4d017a3b

7952f324 · 1113-cip-159-01-core-types-artifacts · 4/283 ++ 286 --

github-actions[bot] · Fri, 13 Mar 26 17:30:36 +0000 · formal-ledger-specifications

Artifacts generated from 404beb51076a592befbec62b39cff71bbee5cd1b

308b9b3a · 1113-cip-159-01-core-types-artifacts · 4/289 ++ 293 --

github-actions[bot] · Fri, 13 Mar 26 17:29:17 +0000 · formal-ledger-specifications

Artifacts generated from 575cb4e235528467d0dc98a4390b78a092d231d2

c8b16c1d · master-artifacts · 84/102,204 ++ 102,111 --

carlostome · Fri, 13 Mar 26 15:50:24 +0000 · formal-ledger-specifications

Add conditions on SUBUTXO

575cb4e2 · master · 5/72 ++ 58 --

williamdemeo · Fri, 13 Mar 26 15:35:19 +0000 · formal-ledger-specifications

Update src/Ledger/Dijkstra/Specification/Account.lagda.md

Co-authored-by: Carlos Tomé Cortiñas <[email protected]>

787e1ce0 · 1113-cip-159-01-core-types · 1/0 ++ 2 --

williamdemeo · Fri, 13 Mar 26 15:33:09 +0000 · formal-ledger-specifications

Update src/Ledger/Dijkstra/Specification/Account.lagda.md

Co-authored-by: Carlos Tomé Cortiñas <[email protected]>

b9f6487c · 1113-cip-159-01-core-types · 1/0 ++ 5 --

williamdemeo · Fri, 13 Mar 26 15:32:34 +0000 · formal-ledger-specifications

Update src/Ledger/Dijkstra/Specification/Account.lagda.md

Co-authored-by: Carlos Tomé Cortiñas <[email protected]>

f0bc523d · 1113-cip-159-01-core-types · 1/0 ++ 1 --

williamdemeo · Fri, 13 Mar 26 15:32:08 +0000 · formal-ledger-specifications

Update src/Ledger/Dijkstra/Specification/Account.lagda.md

Co-authored-by: Carlos Tomé Cortiñas <[email protected]>

89a2e693 · 1113-cip-159-01-core-types · 1/1 ++ 3 --

github-actions[bot] · Fri, 13 Mar 26 10:58:42 +0000 · formal-ledger-specifications

Artifacts generated from b7490f5d9a61940a6b789d7aa0dae9722e9eb5fb

43feacdb · carlos/version-restriction-3-artifacts · 300/5,885,220 ++ 0 --

github-actions[bot] · Fri, 13 Mar 26 04:19:13 +0000 · formal-ledger-specifications

Artifacts generated from 001e33a439ad30aeb2a458b299579b38e4388a83

dcdda7f0 · 1115-cip-159-03-extend-dstate-artifacts · 300/5,899,627 ++ 0 --

github-actions[bot] · Fri, 13 Mar 26 03:53:30 +0000 · formal-ledger-specifications

Artifacts generated from 849749e58da397725eaf94bdb4c3335e90988abc

ca421a39 · 1114-cip-159-02-extend-txbody-artifacts · 300/5,899,680 ++ 0 --

williamdemeo · Fri, 13 Mar 26 03:24:57 +0000 · formal-ledger-specifications

New `applyDirectDeposits` function and docs

850bef72 · 1115-cip-159-03-extend-dstate · 1/35 ++ 0 --

github-actions[bot] · Fri, 13 Mar 26 03:23:35 +0000 · formal-ledger-specifications

Artifacts generated from c853b3427814e9423e53be711a63c9353b68d4da

fb102d23 · 1113-cip-159-01-core-types-artifacts · 8/15,049 ++ 317 --

github-actions[bot] · Fri, 13 Mar 26 03:20:52 +0000 · formal-ledger-specifications

Artifacts generated from a26b4fccd743897335b0bb4ed9d2b0dc7b20ae24

25ef4b15 · 1113-cip-159-01-core-types-artifacts · 300/5,884,862 ++ 0 --

williamdemeo · Fri, 13 Mar 26 02:55:49 +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.

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