Limit the number of generated subtransactions in `TxBody Arbitrary`
Home /
IntersectMBO /
cardano-ledger
Nov 12, 5-6 AM (0)
Nov 12, 6-7 AM (0)
Nov 12, 7-8 AM (2)
Nov 12, 8-9 AM (0)
Nov 12, 9-10 AM (6)
Nov 12, 10-11 AM (0)
Nov 12, 11-12 PM (0)
Nov 12, 12-1 PM (1)
Nov 12, 1-2 PM (8)
Nov 12, 2-3 PM (0)
Nov 12, 3-4 PM (1)
Nov 12, 4-5 PM (4)
Nov 12, 5-6 PM (0)
Nov 12, 6-7 PM (0)
Nov 12, 7-8 PM (0)
Nov 12, 8-9 PM (0)
Nov 12, 9-10 PM (0)
Nov 12, 10-11 PM (0)
Nov 12, 11-12 AM (0)
Nov 13, 12-1 AM (0)
Nov 13, 1-2 AM (0)
Nov 13, 2-3 AM (0)
Nov 13, 3-4 AM (0)
Nov 13, 4-5 AM (0)
Nov 13, 5-6 AM (0)
Nov 13, 6-7 AM (0)
Nov 13, 7-8 AM (4)
Nov 13, 8-9 AM (0)
Nov 13, 9-10 AM (0)
Nov 13, 10-11 AM (0)
Nov 13, 11-12 PM (3)
Nov 13, 12-1 PM (1)
Nov 13, 1-2 PM (0)
Nov 13, 2-3 PM (0)
Nov 13, 3-4 PM (6)
Nov 13, 4-5 PM (6)
Nov 13, 5-6 PM (6)
Nov 13, 6-7 PM (7)
Nov 13, 7-8 PM (0)
Nov 13, 8-9 PM (5)
Nov 13, 9-10 PM (1)
Nov 13, 10-11 PM (1)
Nov 13, 11-12 AM (0)
Nov 14, 12-1 AM (1)
Nov 14, 1-2 AM (0)
Nov 14, 2-3 AM (0)
Nov 14, 3-4 AM (0)
Nov 14, 4-5 AM (25)
Nov 14, 5-6 AM (1)
Nov 14, 6-7 AM (0)
Nov 14, 7-8 AM (0)
Nov 14, 8-9 AM (5)
Nov 14, 9-10 AM (0)
Nov 14, 10-11 AM (8)
Nov 14, 11-12 PM (1)
Nov 14, 12-1 PM (0)
Nov 14, 1-2 PM (0)
Nov 14, 2-3 PM (0)
Nov 14, 3-4 PM (1)
Nov 14, 4-5 PM (0)
Nov 14, 5-6 PM (8)
Nov 14, 6-7 PM (0)
Nov 14, 7-8 PM (4)
Nov 14, 8-9 PM (0)
Nov 14, 9-10 PM (0)
Nov 14, 10-11 PM (2)
Nov 14, 11-12 AM (3)
Nov 15, 12-1 AM (20)
Nov 15, 1-2 AM (0)
Nov 15, 2-3 AM (0)
Nov 15, 3-4 AM (0)
Nov 15, 4-5 AM (0)
Nov 15, 5-6 AM (0)
Nov 15, 6-7 AM (0)
Nov 15, 7-8 AM (0)
Nov 15, 8-9 AM (0)
Nov 15, 9-10 AM (0)
Nov 15, 10-11 AM (0)
Nov 15, 11-12 PM (0)
Nov 15, 12-1 PM (0)
Nov 15, 1-2 PM (0)
Nov 15, 2-3 PM (0)
Nov 15, 3-4 PM (0)
Nov 15, 4-5 PM (0)
Nov 15, 5-6 PM (0)
Nov 15, 6-7 PM (0)
Nov 15, 7-8 PM (0)
Nov 15, 8-9 PM (0)
Nov 15, 9-10 PM (0)
Nov 15, 10-11 PM (0)
Nov 15, 11-12 AM (0)
Nov 16, 12-1 AM (0)
Nov 16, 1-2 AM (0)
Nov 16, 2-3 AM (0)
Nov 16, 3-4 AM (0)
Nov 16, 4-5 AM (0)
Nov 16, 5-6 AM (0)
Nov 16, 6-7 AM (0)
Nov 16, 7-8 AM (0)
Nov 16, 8-9 AM (0)
Nov 16, 9-10 AM (0)
Nov 16, 10-11 AM (0)
Nov 16, 11-12 PM (0)
Nov 16, 12-1 PM (0)
Nov 16, 1-2 PM (0)
Nov 16, 2-3 PM (0)
Nov 16, 3-4 PM (0)
Nov 16, 4-5 PM (0)
Nov 16, 5-6 PM (0)
Nov 16, 6-7 PM (0)
Nov 16, 7-8 PM (0)
Nov 16, 8-9 PM (1)
Nov 16, 9-10 PM (2)
Nov 16, 10-11 PM (0)
Nov 16, 11-12 AM (0)
Nov 17, 12-1 AM (0)
Nov 17, 1-2 AM (0)
Nov 17, 2-3 AM (0)
Nov 17, 3-4 AM (0)
Nov 17, 4-5 AM (0)
Nov 17, 5-6 AM (0)
Nov 17, 6-7 AM (0)
Nov 17, 7-8 AM (0)
Nov 17, 8-9 AM (0)
Nov 17, 9-10 AM (0)
Nov 17, 10-11 AM (1)
Nov 17, 11-12 PM (1)
Nov 17, 12-1 PM (0)
Nov 17, 1-2 PM (0)
Nov 17, 2-3 PM (7)
Nov 17, 3-4 PM (0)
Nov 17, 4-5 PM (0)
Nov 17, 5-6 PM (6)
Nov 17, 6-7 PM (0)
Nov 17, 7-8 PM (0)
Nov 17, 8-9 PM (0)
Nov 17, 9-10 PM (0)
Nov 17, 10-11 PM (0)
Nov 17, 11-12 AM (0)
Nov 18, 12-1 AM (0)
Nov 18, 1-2 AM (1)
Nov 18, 2-3 AM (0)
Nov 18, 3-4 AM (2)
Nov 18, 4-5 AM (0)
Nov 18, 5-6 AM (0)
Nov 18, 6-7 AM (0)
Nov 18, 7-8 AM (1)
Nov 18, 8-9 AM (2)
Nov 18, 9-10 AM (0)
Nov 18, 10-11 AM (0)
Nov 18, 11-12 PM (1)
Nov 18, 12-1 PM (1)
Nov 18, 1-2 PM (7)
Nov 18, 2-3 PM (12)
Nov 18, 3-4 PM (2)
Nov 18, 4-5 PM (7)
Nov 18, 5-6 PM (0)
Nov 18, 6-7 PM (2)
Nov 18, 7-8 PM (0)
Nov 18, 8-9 PM (0)
Nov 18, 9-10 PM (7)
Nov 18, 10-11 PM (0)
Nov 18, 11-12 AM (0)
Nov 19, 12-1 AM (0)
Nov 19, 1-2 AM (0)
Nov 19, 2-3 AM (0)
Nov 19, 3-4 AM (0)
Nov 19, 4-5 AM (0)
Nov 19, 5-6 AM (0)
204 commits this week
Nov 12, 2025
-
Nov 19, 2025
Extract Annotator decoder for a non-empty set and reuse it
to avoid duplication
Add golden test for basic deserialization checks of subtransactions
Enable roundtrip tests in Dijkstra
Move non-`Annotator` `DecCBOR` instance for dijkstra `TxBody` to testlib
Add explicit implementation of `Annotator TxBody` dijkstra deserializer
Add `Coders` combinators for `Annotator` deserialization
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 0b5857511b79cc4d19e528c9200267e4d0aae560
Merge pull request #5425 from IntersectMBO/nm/upgrade-ruby-in-gh-ci
Upgrade the version of Ruby used in GH CI to match the nix flake
Limit the number of generated subtransactions in `TxBody Arbitrary`
Extract Annotator decoder for a non-empty set and reuse it
to avoid duplication
Enable roundtrip tests in Dijkstra
Add golden test for basic deserialization checks of subtransactions
Move non-`Annotator` `DecCBOR` instance for dijkstra `TxBody` to testlib
Add `Coders` combinators for `Annotator` deserialization
Add explicit implementation of `Annotator TxBody` dijkstra deserializer
Upgrade the version of Ruby used in GH CI to match the nix flake
Moved duplicateCertsTx to Shelley golden
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 1b03b2d18374594c877f4bf931df5f58322fde78
Restructure Conformance tests
- Import from top-level both Imp and Constrained tests - Move Conway-specific Imp tests to Imp.Conway - Move conformance hooks to Imp.Core