cardano-ledger-specs - 58 commits this week

Home / Input Output / cardano-ledger-specs

Insights Pull Requests

Mar 10, 2-3 PM (2)

Mar 10, 3-4 PM (0)

Mar 10, 4-5 PM (1)

Mar 10, 5-6 PM (0)

Mar 10, 6-7 PM (1)

Mar 10, 7-8 PM (0)

Mar 10, 8-9 PM (0)

Mar 10, 9-10 PM (2)

Mar 10, 10-11 PM (0)

Mar 10, 11-12 AM (0)

Mar 11, 12-1 AM (0)

Mar 11, 1-2 AM (0)

Mar 11, 2-3 AM (0)

Mar 11, 3-4 AM (0)

Mar 11, 4-5 AM (0)

Mar 11, 5-6 AM (0)

Mar 11, 6-7 AM (0)

Mar 11, 7-8 AM (0)

Mar 11, 8-9 AM (0)

Mar 11, 9-10 AM (0)

Mar 11, 10-11 AM (0)

Mar 11, 11-12 PM (1)

Mar 11, 12-1 PM (0)

Mar 11, 1-2 PM (0)

Mar 11, 2-3 PM (2)

Mar 11, 3-4 PM (0)

Mar 11, 4-5 PM (0)

Mar 11, 5-6 PM (1)

Mar 11, 6-7 PM (0)

Mar 11, 7-8 PM (0)

Mar 11, 8-9 PM (1)

Mar 11, 9-10 PM (0)

Mar 11, 10-11 PM (0)

Mar 11, 11-12 AM (0)

Mar 12, 12-1 AM (0)

Mar 12, 1-2 AM (0)

Mar 12, 2-3 AM (0)

Mar 12, 3-4 AM (0)

Mar 12, 4-5 AM (0)

Mar 12, 5-6 AM (2)

Mar 12, 6-7 AM (0)

Mar 12, 7-8 AM (0)

Mar 12, 8-9 AM (0)

Mar 12, 9-10 AM (3)

Mar 12, 10-11 AM (0)

Mar 12, 11-12 PM (0)

Mar 12, 12-1 PM (6)

Mar 12, 1-2 PM (0)

Mar 12, 2-3 PM (0)

Mar 12, 3-4 PM (1)

Mar 12, 4-5 PM (0)

Mar 12, 5-6 PM (3)

Mar 12, 6-7 PM (0)

Mar 12, 7-8 PM (0)

Mar 12, 8-9 PM (0)

Mar 12, 9-10 PM (0)

Mar 12, 10-11 PM (0)

Mar 12, 11-12 AM (0)

Mar 13, 12-1 AM (0)

Mar 13, 1-2 AM (0)

Mar 13, 2-3 AM (0)

Mar 13, 3-4 AM (0)

Mar 13, 4-5 AM (0)

Mar 13, 5-6 AM (0)

Mar 13, 6-7 AM (0)

Mar 13, 7-8 AM (0)

Mar 13, 8-9 AM (0)

Mar 13, 9-10 AM (4)

Mar 13, 10-11 AM (1)

Mar 13, 11-12 PM (0)

Mar 13, 12-1 PM (1)

Mar 13, 1-2 PM (1)

Mar 13, 2-3 PM (3)

Mar 13, 3-4 PM (0)

Mar 13, 4-5 PM (0)

Mar 13, 5-6 PM (0)

Mar 13, 6-7 PM (0)

Mar 13, 7-8 PM (6)

Mar 13, 8-9 PM (0)

Mar 13, 9-10 PM (0)

Mar 13, 10-11 PM (0)

Mar 13, 11-12 AM (0)

Mar 14, 12-1 AM (0)

Mar 14, 1-2 AM (0)

Mar 14, 2-3 AM (0)

Mar 14, 3-4 AM (0)

Mar 14, 4-5 AM (0)

Mar 14, 5-6 AM (0)

Mar 14, 6-7 AM (0)

Mar 14, 7-8 AM (0)

Mar 14, 8-9 AM (0)

Mar 14, 9-10 AM (0)

Mar 14, 10-11 AM (0)

Mar 14, 11-12 PM (0)

Mar 14, 12-1 PM (0)

Mar 14, 1-2 PM (0)

Mar 14, 2-3 PM (0)

Mar 14, 3-4 PM (0)

Mar 14, 4-5 PM (0)

Mar 14, 5-6 PM (0)

Mar 14, 6-7 PM (0)

Mar 14, 7-8 PM (0)

Mar 14, 8-9 PM (0)

Mar 14, 9-10 PM (0)

Mar 14, 10-11 PM (0)

Mar 14, 11-12 AM (0)

Mar 15, 12-1 AM (0)

Mar 15, 1-2 AM (0)

Mar 15, 2-3 AM (0)

Mar 15, 3-4 AM (0)

Mar 15, 4-5 AM (0)

Mar 15, 5-6 AM (0)

Mar 15, 6-7 AM (0)

Mar 15, 7-8 AM (0)

Mar 15, 8-9 AM (0)

Mar 15, 9-10 AM (0)

Mar 15, 10-11 AM (0)

Mar 15, 11-12 PM (0)

Mar 15, 12-1 PM (0)

Mar 15, 1-2 PM (1)

Mar 15, 2-3 PM (0)

Mar 15, 3-4 PM (0)

Mar 15, 4-5 PM (0)

Mar 15, 5-6 PM (0)

Mar 15, 6-7 PM (0)

Mar 15, 7-8 PM (1)

Mar 15, 8-9 PM (0)

Mar 15, 9-10 PM (0)

Mar 15, 10-11 PM (0)

Mar 15, 11-12 AM (0)

Mar 16, 12-1 AM (0)

Mar 16, 1-2 AM (0)

Mar 16, 2-3 AM (0)

Mar 16, 3-4 AM (0)

Mar 16, 4-5 AM (0)

Mar 16, 5-6 AM (0)

Mar 16, 6-7 AM (0)

Mar 16, 7-8 AM (0)

Mar 16, 8-9 AM (0)

Mar 16, 9-10 AM (1)

Mar 16, 10-11 AM (1)

Mar 16, 11-12 PM (3)

Mar 16, 12-1 PM (2)

Mar 16, 1-2 PM (0)

Mar 16, 2-3 PM (0)

Mar 16, 3-4 PM (0)

Mar 16, 4-5 PM (1)

Mar 16, 5-6 PM (0)

Mar 16, 6-7 PM (0)

Mar 16, 7-8 PM (0)

Mar 16, 8-9 PM (0)

Mar 16, 9-10 PM (0)

Mar 16, 10-11 PM (0)

Mar 16, 11-12 AM (0)

Mar 17, 12-1 AM (0)

Mar 17, 1-2 AM (0)

Mar 17, 2-3 AM (0)

Mar 17, 3-4 AM (0)

Mar 17, 4-5 AM (0)

Mar 17, 5-6 AM (0)

Mar 17, 6-7 AM (0)

Mar 17, 7-8 AM (2)

Mar 17, 8-9 AM (0)

Mar 17, 9-10 AM (2)

Mar 17, 10-11 AM (0)

Mar 17, 11-12 PM (1)

Mar 17, 12-1 PM (0)

Mar 17, 1-2 PM (3)

Mar 17, 2-3 PM (0)

58 commits this week Mar 10, 2026 - Mar 17, 2026

Lucsanszky · Tue, 17 Mar 26 14:24:36 +0000 · cardano-ledger-specs

Enable `auxiliary_data` roundtrip tests for Dijkstra

3ca23407 · ldan/plutusv4-alonzoscript-decoder · 1/3 ++ 3 --

Lucsanszky · Tue, 17 Mar 26 14:24:35 +0000 · cardano-ledger-specs

Disable `proposal_procedure` anti CBOR spec for Conway

3dd84bdb · ldan/plutusv4-alonzoscript-decoder · 1/2 ++ 1 --

carlostome · Tue, 17 Mar 26 14:22:04 +0000 · cardano-ledger-specs

Update formal-ledger-spec and enable Utxos conformance tests (#5620)

* Update formal-ledger-specifications

* Add externalFunctions parameter to Ledger and Ledgers

* Add Language to Plutus scripts in conformance

* Enable Utxos tests

* Remove OVERLAPPING and use sortOn fst for LanguageCostModels

ad27fc04 · ldan/plutusv4-alonzoscript-decoder · 10/69 ++ 18 --

Soupstraw · Tue, 17 Mar 26 12:19:19 +0000 · cardano-ledger-specs

Make plutusScriptGen generate scripts of varying sizes

2c9536a8 · jj/cddl-fixes · 1/2 ++ 2 --

Soupstraw · Tue, 17 Mar 26 10:00:54 +0000 · cardano-ledger-specs

Fourmolize

9e5877a3 · jj/cddl-fixes · 1/6 ++ 3 --

Soupstraw · Tue, 17 Mar 26 10:00:54 +0000 · cardano-ledger-specs

Remove distinct_bytes

844968be · jj/cddl-fixes · 10/39 ++ 128 --

carlostome · Tue, 17 Mar 26 08:49:08 +0000 · cardano-ledger-specs

Add Language to Plutus scripts in conformance

448f4666 · carlos/conf-failure-prot-ver-hf · 4/31 ++ 6 --

carlostome · Tue, 17 Mar 26 08:49:08 +0000 · cardano-ledger-specs

Update formal-ledger-specifications

df8b823f · carlos/conf-failure-prot-ver-hf · 2/4 ++ 4 --

qnikst · Mon, 16 Mar 26 17:51:28 +0000 · cardano-ledger-specs

Support snapshots/v0 canonical interface

eef5c05b · qnikst/canonical/snapshots/v0 · 7/221 ++ 3 --

Soupstraw · Mon, 16 Mar 26 13:36:16 +0000 · cardano-ledger-specs

Add bounds to ipv4 and ipv6 pre-Conway

79b46936 · jj/cddl-fixes · 8/113 ++ 50 --

Soupstraw · Mon, 16 Mar 26 13:17:42 +0000 · cardano-ledger-specs

Update ipv4 and ipv6 pre-Conway

9bc4e271 · jj/cddl-fixes · 6/18 ++ 14 --

Soupstraw · Mon, 16 Mar 26 12:53:25 +0000 · cardano-ledger-specs

Add bounds to ipv4 and ipv6 pre-Conway

d9466e28 · jj/cddl-fixes · 9/112 ++ 51 --

koslambrou · Mon, 16 Mar 26 12:46:38 +0000 · cardano-ledger-specs

Remove default implementation of `fromPlutusData` in `ToPlutusData` typeclass.

We do should *not* provide a default implementation for 'fromPlutusData'
because types should always be invertible from 'PlutusData'. Therefore,
we force the user to make a conscious decision to not provide an
implementation for this function.

9d81c593 · koslambrou/5161-remove-default-implementation-from-fromplutusdata · 4/28 ++ 18 --

koslambrou · Mon, 16 Mar 26 12:46:14 +0000 · cardano-ledger-specs

Implement custom `ToExpr` instance for `Mismatch` datatype.

The `Show` instance for Mismatch was modified to show type level information.
The same thing needs to be done for the `TreeDiff` instance.

Example of the `Expr`:

```
ghci> toExpr (Mismatch @RelEQ (42 :: Int) 100)
Rec "Mismatch (RelEQ)" (fromList [("supplied",App "42" []),("expected",App "100" [])])
```

4a807b5b · koslambrou/improve-treediff-for-mismatch · 2/16 ++ 3 --

lehins · Mon, 16 Mar 26 11:34:46 +0000 · cardano-ledger-specs

Fixup formatting and add changelogs

69f1c024 · lehins/script-purpose-aware-memoized-txinfo · 10/65 ++ 46 --

teodanciu · Mon, 16 Mar 26 10:14:44 +0000 · cardano-ledger-specs

Remove redundant `SubOutputTooSmallUTxO` predicate failure

da4fc052 · td/remove-redundant-utxo-pred-failure · 2/11 ++ 15 --

lehins · Sun, 15 Mar 26 20:02:27 +0000 · cardano-ledger-specs

Avoid unnecessary computation of PlutusWithContext

Remove PlutusContext translation computation, when executed without
validation.

a9c4c1c5 · lehins/remove-redundant-computation-on-static-validation · 2/29 ++ 18 --

lehins · Sun, 15 Mar 26 14:54:14 +0000 · cardano-ledger-specs

WIP StAnnTx. Alonzo is done

9b536506 · lehins/memoize-transaction-validation · 35/495 ++ 166 --

lehins · Fri, 13 Mar 26 20:44:55 +0000 · cardano-ledger-specs

Make TxInfo compatible with multiple levels

7ed3e852 · lehins/script-purpose-aware-memoized-txinfo · 9/144 ++ 125 --

lehins · Fri, 13 Mar 26 20:44:55 +0000 · cardano-ledger-specs

Simplify PlutusPurpose translation

da852b4e · lehins/script-purpose-aware-memoized-txinfo · 4/34 ++ 81 --

lehins · Fri, 13 Mar 26 20:44:54 +0000 · cardano-ledger-specs

Implement TxInfo construction that depends on ScriptPurpose

fc745625 · lehins/script-purpose-aware-memoized-txinfo · 17/493 ++ 373 --

teodanciu · Fri, 13 Mar 26 20:09:35 +0000 · cardano-ledger-specs

Run `Babbage.validateOutputTooSmallUTxO` in SUBUTXO

03e2ce9c · td/implement-subutxo · 6/25 ++ 4 --

teodanciu · Fri, 13 Mar 26 20:09:35 +0000 · cardano-ledger-specs

Run `validateWrongNetwork` checks in SUBUTXO

94f43e9f · td/implement-subutxo · 1/8 ++ 0 --

teodanciu · Fri, 13 Mar 26 20:09:34 +0000 · cardano-ledger-specs

Run Shelley-era checks in SUBUTXO

`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`,
`validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``

2c89dae8 · td/implement-subutxo · 6/43 ++ 4 --