Jan 09, 2-3 AM (19)
Jan 09, 3-4 AM (15)
Jan 09, 4-5 AM (19)
Jan 09, 5-6 AM (10)
Jan 09, 6-7 AM (7)
Jan 09, 7-8 AM (8)
Jan 09, 8-9 AM (34)
Jan 09, 9-10 AM (55)
Jan 09, 10-11 AM (15)
Jan 09, 11-12 PM (36)
Jan 09, 12-1 PM (33)
Jan 09, 1-2 PM (71)
Jan 09, 2-3 PM (63)
Jan 09, 3-4 PM (45)
Jan 09, 4-5 PM (25)
Jan 09, 5-6 PM (35)
Jan 09, 6-7 PM (11)
Jan 09, 7-8 PM (19)
Jan 09, 8-9 PM (32)
Jan 09, 9-10 PM (28)
Jan 09, 10-11 PM (29)
Jan 09, 11-12 AM (23)
Jan 10, 12-1 AM (1)
Jan 10, 1-2 AM (3)
Jan 10, 2-3 AM (12)
Jan 10, 3-4 AM (3)
Jan 10, 4-5 AM (0)
Jan 10, 5-6 AM (3)
Jan 10, 6-7 AM (0)
Jan 10, 7-8 AM (2)
Jan 10, 8-9 AM (2)
Jan 10, 9-10 AM (1)
Jan 10, 10-11 AM (1)
Jan 10, 11-12 PM (2)
Jan 10, 12-1 PM (1)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (1)
Jan 10, 3-4 PM (1)
Jan 10, 4-5 PM (2)
Jan 10, 5-6 PM (0)
Jan 10, 6-7 PM (0)
Jan 10, 7-8 PM (0)
Jan 10, 8-9 PM (0)
Jan 10, 9-10 PM (1)
Jan 10, 10-11 PM (26)
Jan 10, 11-12 AM (31)
Jan 11, 12-1 AM (0)
Jan 11, 1-2 AM (3)
Jan 11, 2-3 AM (0)
Jan 11, 3-4 AM (3)
Jan 11, 4-5 AM (5)
Jan 11, 5-6 AM (5)
Jan 11, 6-7 AM (2)
Jan 11, 7-8 AM (1)
Jan 11, 8-9 AM (1)
Jan 11, 9-10 AM (1)
Jan 11, 10-11 AM (0)
Jan 11, 11-12 PM (1)
Jan 11, 12-1 PM (0)
Jan 11, 1-2 PM (9)
Jan 11, 2-3 PM (0)
Jan 11, 3-4 PM (3)
Jan 11, 4-5 PM (4)
Jan 11, 5-6 PM (4)
Jan 11, 6-7 PM (3)
Jan 11, 7-8 PM (5)
Jan 11, 8-9 PM (6)
Jan 11, 9-10 PM (2)
Jan 11, 10-11 PM (19)
Jan 11, 11-12 AM (20)
Jan 12, 12-1 AM (2)
Jan 12, 1-2 AM (2)
Jan 12, 2-3 AM (2)
Jan 12, 3-4 AM (7)
Jan 12, 4-5 AM (2)
Jan 12, 5-6 AM (2)
Jan 12, 6-7 AM (11)
Jan 12, 7-8 AM (40)
Jan 12, 8-9 AM (30)
Jan 12, 9-10 AM (21)
Jan 12, 10-11 AM (49)
Jan 12, 11-12 PM (30)
Jan 12, 12-1 PM (31)
Jan 12, 1-2 PM (27)
Jan 12, 2-3 PM (25)
Jan 12, 3-4 PM (64)
Jan 12, 4-5 PM (26)
Jan 12, 5-6 PM (46)
Jan 12, 6-7 PM (22)
Jan 12, 7-8 PM (17)
Jan 12, 8-9 PM (17)
Jan 12, 9-10 PM (29)
Jan 12, 10-11 PM (30)
Jan 12, 11-12 AM (33)
Jan 13, 12-1 AM (6)
Jan 13, 1-2 AM (7)
Jan 13, 2-3 AM (11)
Jan 13, 3-4 AM (7)
Jan 13, 4-5 AM (9)
Jan 13, 5-6 AM (44)
Jan 13, 6-7 AM (7)
Jan 13, 7-8 AM (6)
Jan 13, 8-9 AM (25)
Jan 13, 9-10 AM (92)
Jan 13, 10-11 AM (25)
Jan 13, 11-12 PM (34)
Jan 13, 12-1 PM (56)
Jan 13, 1-2 PM (80)
Jan 13, 2-3 PM (57)
Jan 13, 3-4 PM (25)
Jan 13, 4-5 PM (43)
Jan 13, 5-6 PM (13)
Jan 13, 6-7 PM (13)
Jan 13, 7-8 PM (22)
Jan 13, 8-9 PM (20)
Jan 13, 9-10 PM (27)
Jan 13, 10-11 PM (31)
Jan 13, 11-12 AM (22)
Jan 14, 12-1 AM (12)
Jan 14, 1-2 AM (7)
Jan 14, 2-3 AM (11)
Jan 14, 3-4 AM (5)
Jan 14, 4-5 AM (3)
Jan 14, 5-6 AM (5)
Jan 14, 6-7 AM (4)
Jan 14, 7-8 AM (12)
Jan 14, 8-9 AM (21)
Jan 14, 9-10 AM (24)
Jan 14, 10-11 AM (29)
Jan 14, 11-12 PM (39)
Jan 14, 12-1 PM (37)
Jan 14, 1-2 PM (31)
Jan 14, 2-3 PM (59)
Jan 14, 3-4 PM (47)
Jan 14, 4-5 PM (25)
Jan 14, 5-6 PM (47)
Jan 14, 6-7 PM (15)
Jan 14, 7-8 PM (19)
Jan 14, 8-9 PM (18)
Jan 14, 9-10 PM (9)
Jan 14, 10-11 PM (25)
Jan 14, 11-12 AM (18)
Jan 15, 12-1 AM (2)
Jan 15, 1-2 AM (4)
Jan 15, 2-3 AM (10)
Jan 15, 3-4 AM (12)
Jan 15, 4-5 AM (111)
Jan 15, 5-6 AM (5)
Jan 15, 6-7 AM (16)
Jan 15, 7-8 AM (19)
Jan 15, 8-9 AM (48)
Jan 15, 9-10 AM (26)
Jan 15, 10-11 AM (32)
Jan 15, 11-12 PM (30)
Jan 15, 12-1 PM (25)
Jan 15, 1-2 PM (25)
Jan 15, 2-3 PM (65)
Jan 15, 3-4 PM (27)
Jan 15, 4-5 PM (18)
Jan 15, 5-6 PM (11)
Jan 15, 6-7 PM (9)
Jan 15, 7-8 PM (16)
Jan 15, 8-9 PM (48)
Jan 15, 9-10 PM (7)
Jan 15, 10-11 PM (26)
Jan 15, 11-12 AM (29)
Jan 16, 12-1 AM (9)
Jan 16, 1-2 AM (1)
Jan 16, 2-3 AM (0)
3,219 commits this week
Jan 09, 2026
-
Jan 16, 2026
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 72cf82416e52bc137c51671e1e09570f1d2fdefd
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 7a109d42ef5f48a8186ecce66804aa9c3e17935c
Merge pull request #5526 from IntersectMBO/td/sub-pool-implementation
SUBPOOL rule implementation
Add batch-level coin mint constraint to prevent Ada forgery (#1023)
* improvements * Initial plan * Add batchMintedCoin constraint to prevent Ada forgery Co-authored-by: williamdemeo <[email protected]> * Add documentation for batchMintedCoin security constraint Co-authored-by: williamdemeo <[email protected]> * Use consistent aggregation syntax for batchMintedCoin Co-authored-by: williamdemeo <[email protected]> --------- Co-authored-by: William DeMeo <[email protected]> Co-authored-by: copilot-swe-agent[bot] <[email protected]> Co-authored-by: williamdemeo <[email protected]>
remove duplicate typeclass instance
Remove requirement of "current treasury value" for transactions
first pass at the UTXOS rule
clean up txInfoForPurpose
Add support for batch-level validity checking
add `TxInfo.txInfoSubTxs` field
1. Introduce subTx info type (using an alias for `TxInfo` for now). 2. Extend `TxInfo` with field `txInfoSubTxs : Maybe (List SubTxInfo)`. 3. Define a purpose-built builder: + Top-level Guard scripts ⇒ `txInfoSubTxs = just (...)` + Everything else ⇒ `txInfoSubTxs = nothing` + SubTx scripts ⇒ always `nothing` (even for `Guard` at sub level)
clean up txInfoForPurpose
cleanup and explain two utxo arguments
Fix prose explaining CIP 118.
+ Remove contradiction between "ref inputs may refer to earlier tx outputs in the batch" vs "all inputs must exist before applying any tx in the batch." The new text punts the exact constraint to the UTxO rules (where it belongs). + Fix Plutus bullet (old "nor earlier versions" reads like "no Plutus at all"). + Align fees with current Agda (`txFee : InTopLevel …`), but leave room for later CIP-driven updates.
Create `cardano-strict-containers:lib:testlib`
The `Arbitrary` instances were moved from `cardano-ledger-binary`
Move `byteArrayToByteString` to `Cardano.Crypto.Util` and add `byteStringToByteArray`
Move `Arbitrary` instances from `cardano-ledger-binary` to `cardano-crypto-class`
Move `Arbitrary` instances from `cardano-ledger-binary` to `cardano-slotting`