cardano-ledger-specs - 37 commits this week

Home / Input Output / cardano-ledger-specs

Insights Pull Requests

Mar 18, 5-6 AM (0)

Mar 18, 6-7 AM (0)

Mar 18, 7-8 AM (0)

Mar 18, 8-9 AM (0)

Mar 18, 9-10 AM (0)

Mar 18, 10-11 AM (0)

Mar 18, 11-12 PM (0)

Mar 18, 12-1 PM (0)

Mar 18, 1-2 PM (0)

Mar 18, 2-3 PM (0)

Mar 18, 3-4 PM (1)

Mar 18, 4-5 PM (0)

Mar 18, 5-6 PM (0)

Mar 18, 6-7 PM (0)

Mar 18, 7-8 PM (0)

Mar 18, 8-9 PM (0)

Mar 18, 9-10 PM (0)

Mar 18, 10-11 PM (0)

Mar 18, 11-12 AM (0)

Mar 19, 12-1 AM (0)

Mar 19, 1-2 AM (0)

Mar 19, 2-3 AM (0)

Mar 19, 3-4 AM (0)

Mar 19, 4-5 AM (0)

Mar 19, 5-6 AM (0)

Mar 19, 6-7 AM (0)

Mar 19, 7-8 AM (0)

Mar 19, 8-9 AM (0)

Mar 19, 9-10 AM (0)

Mar 19, 10-11 AM (0)

Mar 19, 11-12 PM (1)

Mar 19, 12-1 PM (0)

Mar 19, 1-2 PM (6)

Mar 19, 2-3 PM (0)

Mar 19, 3-4 PM (2)

Mar 19, 4-5 PM (0)

Mar 19, 5-6 PM (0)

Mar 19, 6-7 PM (0)

Mar 19, 7-8 PM (0)

Mar 19, 8-9 PM (0)

Mar 19, 9-10 PM (0)

Mar 19, 10-11 PM (0)

Mar 19, 11-12 AM (0)

Mar 20, 12-1 AM (0)

Mar 20, 1-2 AM (0)

Mar 20, 2-3 AM (0)

Mar 20, 3-4 AM (0)

Mar 20, 4-5 AM (0)

Mar 20, 5-6 AM (0)

Mar 20, 6-7 AM (0)

Mar 20, 7-8 AM (3)

Mar 20, 8-9 AM (0)

Mar 20, 9-10 AM (0)

Mar 20, 10-11 AM (0)

Mar 20, 11-12 PM (0)

Mar 20, 12-1 PM (0)

Mar 20, 1-2 PM (0)

Mar 20, 2-3 PM (1)

Mar 20, 3-4 PM (0)

Mar 20, 4-5 PM (1)

Mar 20, 5-6 PM (0)

Mar 20, 6-7 PM (0)

Mar 20, 7-8 PM (0)

Mar 20, 8-9 PM (3)

Mar 20, 9-10 PM (0)

Mar 20, 10-11 PM (0)

Mar 20, 11-12 AM (2)

Mar 21, 12-1 AM (0)

Mar 21, 1-2 AM (0)

Mar 21, 2-3 AM (0)

Mar 21, 3-4 AM (0)

Mar 21, 4-5 AM (0)

Mar 21, 5-6 AM (0)

Mar 21, 6-7 AM (0)

Mar 21, 7-8 AM (0)

Mar 21, 8-9 AM (0)

Mar 21, 9-10 AM (0)

Mar 21, 10-11 AM (0)

Mar 21, 11-12 PM (0)

Mar 21, 12-1 PM (0)

Mar 21, 1-2 PM (0)

Mar 21, 2-3 PM (0)

Mar 21, 3-4 PM (0)

Mar 21, 4-5 PM (0)

Mar 21, 5-6 PM (0)

Mar 21, 6-7 PM (0)

Mar 21, 7-8 PM (0)

Mar 21, 8-9 PM (0)

Mar 21, 9-10 PM (0)

Mar 21, 10-11 PM (0)

Mar 21, 11-12 AM (0)

Mar 22, 12-1 AM (0)

Mar 22, 1-2 AM (0)

Mar 22, 2-3 AM (0)

Mar 22, 3-4 AM (0)

Mar 22, 4-5 AM (0)

Mar 22, 5-6 AM (0)

Mar 22, 6-7 AM (0)

Mar 22, 7-8 AM (0)

Mar 22, 8-9 AM (0)

Mar 22, 9-10 AM (0)

Mar 22, 10-11 AM (0)

Mar 22, 11-12 PM (0)

Mar 22, 12-1 PM (0)

Mar 22, 1-2 PM (0)

Mar 22, 2-3 PM (0)

Mar 22, 3-4 PM (0)

Mar 22, 4-5 PM (1)

Mar 22, 5-6 PM (0)

Mar 22, 6-7 PM (0)

Mar 22, 7-8 PM (0)

Mar 22, 8-9 PM (0)

Mar 22, 9-10 PM (0)

Mar 22, 10-11 PM (0)

Mar 22, 11-12 AM (0)

Mar 23, 12-1 AM (0)

Mar 23, 1-2 AM (0)

Mar 23, 2-3 AM (0)

Mar 23, 3-4 AM (0)

Mar 23, 4-5 AM (0)

Mar 23, 5-6 AM (0)

Mar 23, 6-7 AM (0)

Mar 23, 7-8 AM (0)

Mar 23, 8-9 AM (0)

Mar 23, 9-10 AM (0)

Mar 23, 10-11 AM (0)

Mar 23, 11-12 PM (0)

Mar 23, 12-1 PM (0)

Mar 23, 1-2 PM (0)

Mar 23, 2-3 PM (0)

Mar 23, 3-4 PM (0)

Mar 23, 4-5 PM (0)

Mar 23, 5-6 PM (0)

Mar 23, 6-7 PM (0)

Mar 23, 7-8 PM (0)

Mar 23, 8-9 PM (0)

Mar 23, 9-10 PM (0)

Mar 23, 10-11 PM (0)

Mar 23, 11-12 AM (0)

Mar 24, 12-1 AM (0)

Mar 24, 1-2 AM (0)

Mar 24, 2-3 AM (0)

Mar 24, 3-4 AM (0)

Mar 24, 4-5 AM (0)

Mar 24, 5-6 AM (0)

Mar 24, 6-7 AM (0)

Mar 24, 7-8 AM (0)

Mar 24, 8-9 AM (0)

Mar 24, 9-10 AM (0)

Mar 24, 10-11 AM (0)

Mar 24, 11-12 PM (0)

Mar 24, 12-1 PM (0)

Mar 24, 1-2 PM (0)

Mar 24, 2-3 PM (2)

Mar 24, 3-4 PM (0)

Mar 24, 4-5 PM (0)

Mar 24, 5-6 PM (0)

Mar 24, 6-7 PM (0)

Mar 24, 7-8 PM (3)

Mar 24, 8-9 PM (0)

Mar 24, 9-10 PM (2)

Mar 24, 10-11 PM (2)

Mar 24, 11-12 AM (2)

Mar 25, 12-1 AM (0)

Mar 25, 1-2 AM (0)

Mar 25, 2-3 AM (0)

Mar 25, 3-4 AM (0)

Mar 25, 4-5 AM (5)

Mar 25, 5-6 AM (0)

37 commits this week Mar 18, 2025 - Mar 25, 2025

lehins · Tue, 25 Mar 25 05:37:57 +0000 · cardano-ledger-specs

Remove redundant memoization of bytes for `BootstrapWitness`

64f80403 · lehins/remove-bytes-memoization-from-witvkey · 7/39 ++ 101 --

lehins · Tue, 25 Mar 25 05:37:57 +0000 · cardano-ledger-specs

Remove redundant memoization of bytes for `WitVKey`

b4db2295 · lehins/remove-bytes-memoization-from-witvkey · 8/32 ++ 77 --

github · Tue, 25 Mar 25 05:32:49 +0000 · cardano-ledger-specs

add Haskell Benchmark (customSmallerIsBetter) benchmark result for 9a21512818f872efe3880e626577801a955250af

735d49ce · gh-pages · 1/73 ++ 1 --

Soupstraw · Tue, 25 Mar 25 05:30:12 +0000 · cardano-ledger-specs

Added a Github action for checking if CDDL is up-to-date

88b68644 · jj/gen-cddl · 1/77 ++ 0 --

lehins · Tue, 25 Mar 25 05:29:24 +0000 · cardano-ledger-specs

Merge pull request #4944 from IntersectMBO/nm/alonzo-imp-utxow-valid

Implement more Alonzo UTxOW Imp tests

9a215128 · jj/gen-cddl · 8/90 ++ 158 --

github · Tue, 25 Mar 25 00:31:55 +0000 · cardano-ledger-specs

add Haskell Benchmark (customSmallerIsBetter) benchmark result for d76aecbe6368962636d80a644bf7b242f289af23

87419647 · gh-pages · 2/28,945 ++ 0 --

neilmayhew · Tue, 25 Mar 25 00:31:36 +0000 · cardano-ledger-specs

Remove all existing files

70f7cbcb · gh-pages · 300/0 ++ 533,789 --

neilmayhew · Mon, 24 Mar 25 23:26:07 +0000 · cardano-ledger-specs

Implement "Multiple identical certificates" Alonzo UTxOW test

The transaction used in this test succeeds in Conway and fails in Alonzo
and Babbage.

The old test suite that this was converted from didn't run all the
rules, only the UTXOW ones. Although this transaction passes the UTXOW
rules it fails DELEG in Alonzo and Babbage, so we can't avoid it being
a failing transaction there. However, by checking that it has only a
DELEG predicate failure we can be sure that it did pass the UTXOW
rules.

Conway's DELEG rules handle the multiple certificates more gracefully,
so this test doesn't fail from Conway onwards.

2a25a8b7 · nm/alonzo-imp-utxow-valid · 7/56 ++ 83 --