Add Dijkstra guard function for PlutusV1-V3
For now, this only adds a guard against non-empty `subTransactionsTxBodyL`
Home /
Input Output /
cardano-ledger
Mar 16, 10-11 PM (0)
Mar 16, 11-12 AM (1)
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 (3)
Mar 17, 8-9 AM (0)
Mar 17, 9-10 AM (11)
Mar 17, 10-11 AM (0)
Mar 17, 11-12 PM (1)
Mar 17, 12-1 PM (0)
Mar 17, 1-2 PM (13)
Mar 17, 2-3 PM (0)
Mar 17, 3-4 PM (0)
Mar 17, 4-5 PM (1)
Mar 17, 5-6 PM (0)
Mar 17, 6-7 PM (1)
Mar 17, 7-8 PM (1)
Mar 17, 8-9 PM (0)
Mar 17, 9-10 PM (1)
Mar 17, 10-11 PM (1)
Mar 17, 11-12 AM (2)
Mar 18, 12-1 AM (0)
Mar 18, 1-2 AM (0)
Mar 18, 2-3 AM (0)
Mar 18, 3-4 AM (0)
Mar 18, 4-5 AM (2)
Mar 18, 5-6 AM (1)
Mar 18, 6-7 AM (0)
Mar 18, 7-8 AM (0)
Mar 18, 8-9 AM (0)
Mar 18, 9-10 AM (12)
Mar 18, 10-11 AM (1)
Mar 18, 11-12 PM (1)
Mar 18, 12-1 PM (3)
Mar 18, 1-2 PM (2)
Mar 18, 2-3 PM (12)
Mar 18, 3-4 PM (2)
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 (4)
Mar 19, 12-1 AM (0)
Mar 19, 1-2 AM (0)
Mar 19, 2-3 AM (0)
Mar 19, 3-4 AM (2)
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 (1)
Mar 19, 9-10 AM (1)
Mar 19, 10-11 AM (1)
Mar 19, 11-12 PM (11)
Mar 19, 12-1 PM (8)
Mar 19, 1-2 PM (0)
Mar 19, 2-3 PM (1)
Mar 19, 3-4 PM (5)
Mar 19, 4-5 PM (0)
Mar 19, 5-6 PM (0)
Mar 19, 6-7 PM (0)
Mar 19, 7-8 PM (1)
Mar 19, 8-9 PM (4)
Mar 19, 9-10 PM (2)
Mar 19, 10-11 PM (0)
Mar 19, 11-12 AM (1)
Mar 20, 12-1 AM (0)
Mar 20, 1-2 AM (1)
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 (0)
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 (2)
Mar 20, 2-3 PM (4)
Mar 20, 3-4 PM (0)
Mar 20, 4-5 PM (0)
Mar 20, 5-6 PM (4)
Mar 20, 6-7 PM (2)
Mar 20, 7-8 PM (0)
Mar 20, 8-9 PM (4)
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 (2)
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 (1)
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 (0)
Mar 22, 5-6 PM (1)
Mar 22, 6-7 PM (0)
Mar 22, 7-8 PM (3)
Mar 22, 8-9 PM (3)
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 (7)
Mar 23, 10-11 AM (1)
Mar 23, 11-12 PM (9)
Mar 23, 12-1 PM (10)
Mar 23, 1-2 PM (3)
Mar 23, 2-3 PM (1)
Mar 23, 3-4 PM (2)
Mar 23, 4-5 PM (7)
Mar 23, 5-6 PM (0)
Mar 23, 6-7 PM (4)
Mar 23, 7-8 PM (0)
Mar 23, 8-9 PM (2)
Mar 23, 9-10 PM (1)
Mar 23, 10-11 PM (0)
190 commits this week
Mar 16, 2026
-
Mar 23, 2026
Create a reusable `install-binary` GitHub local action
Use cleret instead of standalone scripts
Check that all scripts needed by a subtransactions are provided
Validate network in direct deposits in UTXO and SUBUTXO
Implement version of `updateUtxoState` without fee update
Update eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/Context.hs
Co-authored-by: Joosep Jääger <[email protected]>
Use original utxo in SUBUTXOW checks
Pass original utxo and validity flag from LEDGER to SUBUTXO
Run `Babbage.validateOutputTooSmallUTxO` in SUBUTXO
Run Shelley-era checks in SUBUTXO
`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`, `validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``
Update utxo state in SUBUTXO
Run Alonzo-era checks in SUBUTXO
`validateOutsideForecast`, `validateOutputTooBigUTxO`
Run `Allegra.validateOutsideValidityIntervalUTxO` in SUBUTXO
Use original utxo in SUBUTXOW checks
Refactor `missingRequiredDatums` to take `scriptsProvided` as parameter
instead of computing it
Add test to trigger conformance failure
Check that all scripts needed by a subtransactions are provided
Fix Proposal generation to generate HardForkInitiation with bounded major version
Translate all transaction building examples in our test files to use the typeclasses defined in Cardano.Ledger.Core (`EraTx`, `EraTxBody`, etc.)
Enforce metadatum size limits in the decoder
The CDDL spec requires `bytes .size (0..64)` and `text .size (0..64)` for transaction metadatum, but the decoder did not enforce these limits. This moves the size validation into `decodeMetadatum` so it aligns with the CDDL spec. The `Arbitrary Metadatum` instance is also constrained to produce valid values, and the previously disabled CDDL anti-tests are now enabled. Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>
Make plutusScriptGen generate scripts of varying sizes
Update ipv4 and ipv6 pre-Conway