Home /
IntersectMBO /
cardano-ledger
Jan 07, 7-8 AM (0)
Jan 07, 8-9 AM (0)
Jan 07, 9-10 AM (0)
Jan 07, 10-11 AM (1)
Jan 07, 11-12 PM (4)
Jan 07, 12-1 PM (0)
Jan 07, 1-2 PM (2)
Jan 07, 2-3 PM (2)
Jan 07, 3-4 PM (1)
Jan 07, 4-5 PM (0)
Jan 07, 5-6 PM (0)
Jan 07, 6-7 PM (0)
Jan 07, 7-8 PM (0)
Jan 07, 8-9 PM (0)
Jan 07, 9-10 PM (0)
Jan 07, 10-11 PM (0)
Jan 07, 11-12 AM (0)
Jan 08, 12-1 AM (0)
Jan 08, 1-2 AM (0)
Jan 08, 2-3 AM (0)
Jan 08, 3-4 AM (0)
Jan 08, 4-5 AM (0)
Jan 08, 5-6 AM (1)
Jan 08, 6-7 AM (0)
Jan 08, 7-8 AM (0)
Jan 08, 8-9 AM (0)
Jan 08, 9-10 AM (2)
Jan 08, 10-11 AM (5)
Jan 08, 11-12 PM (3)
Jan 08, 12-1 PM (0)
Jan 08, 1-2 PM (0)
Jan 08, 2-3 PM (0)
Jan 08, 3-4 PM (0)
Jan 08, 4-5 PM (2)
Jan 08, 5-6 PM (0)
Jan 08, 6-7 PM (0)
Jan 08, 7-8 PM (3)
Jan 08, 8-9 PM (0)
Jan 08, 9-10 PM (0)
Jan 08, 10-11 PM (6)
Jan 08, 11-12 AM (0)
Jan 09, 12-1 AM (2)
Jan 09, 1-2 AM (0)
Jan 09, 2-3 AM (0)
Jan 09, 3-4 AM (4)
Jan 09, 4-5 AM (5)
Jan 09, 5-6 AM (0)
Jan 09, 6-7 AM (0)
Jan 09, 7-8 AM (0)
Jan 09, 8-9 AM (0)
Jan 09, 9-10 AM (3)
Jan 09, 10-11 AM (0)
Jan 09, 11-12 PM (0)
Jan 09, 12-1 PM (0)
Jan 09, 1-2 PM (1)
Jan 09, 2-3 PM (0)
Jan 09, 3-4 PM (0)
Jan 09, 4-5 PM (2)
Jan 09, 5-6 PM (0)
Jan 09, 6-7 PM (0)
Jan 09, 7-8 PM (0)
Jan 09, 8-9 PM (0)
Jan 09, 9-10 PM (3)
Jan 09, 10-11 PM (0)
Jan 09, 11-12 AM (0)
Jan 10, 12-1 AM (0)
Jan 10, 1-2 AM (0)
Jan 10, 2-3 AM (0)
Jan 10, 3-4 AM (0)
Jan 10, 4-5 AM (0)
Jan 10, 5-6 AM (0)
Jan 10, 6-7 AM (0)
Jan 10, 7-8 AM (0)
Jan 10, 8-9 AM (0)
Jan 10, 9-10 AM (0)
Jan 10, 10-11 AM (0)
Jan 10, 11-12 PM (0)
Jan 10, 12-1 PM (0)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (0)
Jan 10, 3-4 PM (0)
Jan 10, 4-5 PM (0)
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 (0)
Jan 10, 10-11 PM (0)
Jan 10, 11-12 AM (0)
Jan 11, 12-1 AM (0)
Jan 11, 1-2 AM (0)
Jan 11, 2-3 AM (0)
Jan 11, 3-4 AM (0)
Jan 11, 4-5 AM (0)
Jan 11, 5-6 AM (0)
Jan 11, 6-7 AM (0)
Jan 11, 7-8 AM (0)
Jan 11, 8-9 AM (0)
Jan 11, 9-10 AM (0)
Jan 11, 10-11 AM (0)
Jan 11, 11-12 PM (0)
Jan 11, 12-1 PM (0)
Jan 11, 1-2 PM (0)
Jan 11, 2-3 PM (0)
Jan 11, 3-4 PM (0)
Jan 11, 4-5 PM (0)
Jan 11, 5-6 PM (0)
Jan 11, 6-7 PM (0)
Jan 11, 7-8 PM (0)
Jan 11, 8-9 PM (0)
Jan 11, 9-10 PM (0)
Jan 11, 10-11 PM (0)
Jan 11, 11-12 AM (0)
Jan 12, 12-1 AM (0)
Jan 12, 1-2 AM (0)
Jan 12, 2-3 AM (0)
Jan 12, 3-4 AM (0)
Jan 12, 4-5 AM (0)
Jan 12, 5-6 AM (0)
Jan 12, 6-7 AM (0)
Jan 12, 7-8 AM (0)
Jan 12, 8-9 AM (0)
Jan 12, 9-10 AM (0)
Jan 12, 10-11 AM (0)
Jan 12, 11-12 PM (1)
Jan 12, 12-1 PM (0)
Jan 12, 1-2 PM (1)
Jan 12, 2-3 PM (1)
Jan 12, 3-4 PM (1)
Jan 12, 4-5 PM (0)
Jan 12, 5-6 PM (0)
Jan 12, 6-7 PM (0)
Jan 12, 7-8 PM (0)
Jan 12, 8-9 PM (0)
Jan 12, 9-10 PM (7)
Jan 12, 10-11 PM (1)
Jan 12, 11-12 AM (4)
Jan 13, 12-1 AM (0)
Jan 13, 1-2 AM (0)
Jan 13, 2-3 AM (0)
Jan 13, 3-4 AM (1)
Jan 13, 4-5 AM (1)
Jan 13, 5-6 AM (0)
Jan 13, 6-7 AM (2)
Jan 13, 7-8 AM (0)
Jan 13, 8-9 AM (0)
Jan 13, 9-10 AM (1)
Jan 13, 10-11 AM (0)
Jan 13, 11-12 PM (2)
Jan 13, 12-1 PM (8)
Jan 13, 1-2 PM (14)
Jan 13, 2-3 PM (0)
Jan 13, 3-4 PM (0)
Jan 13, 4-5 PM (2)
Jan 13, 5-6 PM (0)
Jan 13, 6-7 PM (0)
Jan 13, 7-8 PM (0)
Jan 13, 8-9 PM (0)
Jan 13, 9-10 PM (0)
Jan 13, 10-11 PM (2)
Jan 13, 11-12 AM (0)
Jan 14, 12-1 AM (0)
Jan 14, 1-2 AM (0)
Jan 14, 2-3 AM (0)
Jan 14, 3-4 AM (0)
Jan 14, 4-5 AM (0)
Jan 14, 5-6 AM (0)
Jan 14, 6-7 AM (0)
Jan 14, 7-8 AM (0)
101 commits this week
Jan 07, 2026
-
Jan 14, 2026
Add stanzas to compile agains BLS PR and solve some dependencies
add Haskell Benchmark (customSmallerIsBetter) benchmark result for cb7ed20922c5444770163133fb4b1f196a293fcd
Change Version from Word64 to Word32.
* Add mkVersion32 and getVersion32 * Constrain dijkstra protocol_version minor to `uint .size 4`
Implement SUBLEDGER predicate failure mirroring LEDGER predicate failure
Implement SUBCERTS predicate failure mirroring CERTS predicate failure
Implement SUBDELEG predicate failure via DELEG predicate failure
Implement SUBGOVCERT predicate failure via GOVCERT predicate failure
Implement SUBPOOL predicate failure via POOL predicate failure
Implement SUBGOV predicate failure via GOV predicate failure
Implement SUBUTXOW predicate failure mirroring UTXOW predicate failure
Implement SUBUTXO predicate failure mirroring UTXO predicate failure
Implement SUBUTXOS predicate failure via UTXOS predicate failure
[wip] - pred failure for SubLedger
Enable Utxow tests in conformance
Update formal spec
Add Imp test to check SPO vote against tx witnesses
[wip] - pred failure for SubCerts
[wip] - pred failure for SubGovCert
[wip] - pred failure for SubDeleg
[wip] - pred failure for SubUtxo
[wip] - pred failure for SubPool
[wip] - pred failure for SubUtxow
[wip] - pred failure for SubGov
Add events for all the rules running for sub-transactions