Dec 12, 7-8 AM (32)
Dec 12, 8-9 AM (86)
Dec 12, 9-10 AM (36)
Dec 12, 10-11 AM (70)
Dec 12, 11-12 PM (48)
Dec 12, 12-1 PM (75)
Dec 12, 1-2 PM (66)
Dec 12, 2-3 PM (43)
Dec 12, 3-4 PM (34)
Dec 12, 4-5 PM (32)
Dec 12, 5-6 PM (19)
Dec 12, 6-7 PM (20)
Dec 12, 7-8 PM (14)
Dec 12, 8-9 PM (7)
Dec 12, 9-10 PM (22)
Dec 12, 10-11 PM (28)
Dec 12, 11-12 AM (24)
Dec 13, 12-1 AM (5)
Dec 13, 1-2 AM (6)
Dec 13, 2-3 AM (5)
Dec 13, 3-4 AM (13)
Dec 13, 4-5 AM (0)
Dec 13, 5-6 AM (1)
Dec 13, 6-7 AM (1)
Dec 13, 7-8 AM (9)
Dec 13, 8-9 AM (1)
Dec 13, 9-10 AM (7)
Dec 13, 10-11 AM (4)
Dec 13, 11-12 PM (5)
Dec 13, 12-1 PM (8)
Dec 13, 1-2 PM (0)
Dec 13, 2-3 PM (4)
Dec 13, 3-4 PM (3)
Dec 13, 4-5 PM (1)
Dec 13, 5-6 PM (6)
Dec 13, 6-7 PM (14)
Dec 13, 7-8 PM (4)
Dec 13, 8-9 PM (8)
Dec 13, 9-10 PM (14)
Dec 13, 10-11 PM (39)
Dec 13, 11-12 AM (34)
Dec 14, 12-1 AM (6)
Dec 14, 1-2 AM (5)
Dec 14, 2-3 AM (0)
Dec 14, 3-4 AM (6)
Dec 14, 4-5 AM (6)
Dec 14, 5-6 AM (6)
Dec 14, 6-7 AM (0)
Dec 14, 7-8 AM (0)
Dec 14, 8-9 AM (8)
Dec 14, 9-10 AM (5)
Dec 14, 10-11 AM (33)
Dec 14, 11-12 PM (9)
Dec 14, 12-1 PM (13)
Dec 14, 1-2 PM (4)
Dec 14, 2-3 PM (5)
Dec 14, 3-4 PM (9)
Dec 14, 4-5 PM (6)
Dec 14, 5-6 PM (10)
Dec 14, 6-7 PM (13)
Dec 14, 7-8 PM (23)
Dec 14, 8-9 PM (12)
Dec 14, 9-10 PM (32)
Dec 14, 10-11 PM (36)
Dec 14, 11-12 AM (27)
Dec 15, 12-1 AM (16)
Dec 15, 1-2 AM (16)
Dec 15, 2-3 AM (15)
Dec 15, 3-4 AM (9)
Dec 15, 4-5 AM (5)
Dec 15, 5-6 AM (5)
Dec 15, 6-7 AM (2)
Dec 15, 7-8 AM (75)
Dec 15, 8-9 AM (36)
Dec 15, 9-10 AM (43)
Dec 15, 10-11 AM (29)
Dec 15, 11-12 PM (44)
Dec 15, 12-1 PM (49)
Dec 15, 1-2 PM (54)
Dec 15, 2-3 PM (41)
Dec 15, 3-4 PM (39)
Dec 15, 4-5 PM (31)
Dec 15, 5-6 PM (22)
Dec 15, 6-7 PM (55)
Dec 15, 7-8 PM (13)
Dec 15, 8-9 PM (33)
Dec 15, 9-10 PM (14)
Dec 15, 10-11 PM (26)
Dec 15, 11-12 AM (38)
Dec 16, 12-1 AM (17)
Dec 16, 1-2 AM (2)
Dec 16, 2-3 AM (6)
Dec 16, 3-4 AM (4)
Dec 16, 4-5 AM (2)
Dec 16, 5-6 AM (9)
Dec 16, 6-7 AM (13)
Dec 16, 7-8 AM (25)
Dec 16, 8-9 AM (36)
Dec 16, 9-10 AM (49)
Dec 16, 10-11 AM (53)
Dec 16, 11-12 PM (46)
Dec 16, 12-1 PM (71)
Dec 16, 1-2 PM (54)
Dec 16, 2-3 PM (40)
Dec 16, 3-4 PM (25)
Dec 16, 4-5 PM (33)
Dec 16, 5-6 PM (30)
Dec 16, 6-7 PM (20)
Dec 16, 7-8 PM (20)
Dec 16, 8-9 PM (41)
Dec 16, 9-10 PM (18)
Dec 16, 10-11 PM (65)
Dec 16, 11-12 AM (26)
Dec 17, 12-1 AM (10)
Dec 17, 1-2 AM (5)
Dec 17, 2-3 AM (6)
Dec 17, 3-4 AM (1)
Dec 17, 4-5 AM (4)
Dec 17, 5-6 AM (5)
Dec 17, 6-7 AM (13)
Dec 17, 7-8 AM (14)
Dec 17, 8-9 AM (26)
Dec 17, 9-10 AM (22)
Dec 17, 10-11 AM (56)
Dec 17, 11-12 PM (38)
Dec 17, 12-1 PM (39)
Dec 17, 1-2 PM (49)
Dec 17, 2-3 PM (35)
Dec 17, 3-4 PM (27)
Dec 17, 4-5 PM (21)
Dec 17, 5-6 PM (26)
Dec 17, 6-7 PM (9)
Dec 17, 7-8 PM (26)
Dec 17, 8-9 PM (6)
Dec 17, 9-10 PM (11)
Dec 17, 10-11 PM (26)
Dec 17, 11-12 AM (20)
Dec 18, 12-1 AM (44)
Dec 18, 1-2 AM (11)
Dec 18, 2-3 AM (10)
Dec 18, 3-4 AM (14)
Dec 18, 4-5 AM (4)
Dec 18, 5-6 AM (8)
Dec 18, 6-7 AM (7)
Dec 18, 7-8 AM (10)
Dec 18, 8-9 AM (21)
Dec 18, 9-10 AM (26)
Dec 18, 10-11 AM (40)
Dec 18, 11-12 PM (29)
Dec 18, 12-1 PM (49)
Dec 18, 1-2 PM (38)
Dec 18, 2-3 PM (47)
Dec 18, 3-4 PM (58)
Dec 18, 4-5 PM (31)
Dec 18, 5-6 PM (43)
Dec 18, 6-7 PM (27)
Dec 18, 7-8 PM (11)
Dec 18, 8-9 PM (17)
Dec 18, 9-10 PM (9)
Dec 18, 10-11 PM (40)
Dec 18, 11-12 AM (31)
Dec 19, 12-1 AM (2)
Dec 19, 1-2 AM (6)
Dec 19, 2-3 AM (2)
Dec 19, 3-4 AM (17)
Dec 19, 4-5 AM (4)
Dec 19, 5-6 AM (4)
Dec 19, 6-7 AM (0)
Dec 19, 7-8 AM (0)
3,690 commits this week Dec 12, 2025 - Dec 19, 2025
williamdemeo
williamdemeo · · formal-ledger-specifications
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.
ef6ea241 · 1001-dijkstra-subtxbody-redesign · 1/92 ++ 44 --
Showing 25 of 3690 recent commits.