Refactor `missingRequiredDatums` to take `scriptsProvided` as parameter
instead of computing it
Home /
Input Output /
cardano-ledger-specs
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 (4)
Mar 17, 2-3 PM (0)
Mar 17, 3-4 PM (1)
Mar 17, 4-5 PM (0)
Mar 17, 5-6 PM (0)
Mar 17, 6-7 PM (0)
Mar 17, 7-8 PM (0)
Mar 17, 8-9 PM (0)
Mar 17, 9-10 PM (1)
Mar 17, 10-11 PM (1)
Mar 17, 11-12 AM (0)
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 (0)
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 (1)
Mar 18, 10-11 AM (0)
Mar 18, 11-12 PM (0)
Mar 18, 12-1 PM (1)
Mar 18, 1-2 PM (0)
Mar 18, 2-3 PM (0)
Mar 18, 3-4 PM (0)
Mar 18, 4-5 PM (0)
Mar 18, 5-6 PM (1)
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 (1)
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 (3)
Mar 19, 12-1 PM (1)
Mar 19, 1-2 PM (0)
Mar 19, 2-3 PM (0)
Mar 19, 3-4 PM (2)
Mar 19, 4-5 PM (0)
Mar 19, 5-6 PM (1)
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 (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 (0)
Mar 20, 2-3 PM (0)
Mar 20, 3-4 PM (0)
Mar 20, 4-5 PM (0)
Mar 20, 5-6 PM (2)
Mar 20, 6-7 PM (1)
Mar 20, 7-8 PM (0)
Mar 20, 8-9 PM (3)
Mar 20, 9-10 PM (1)
Mar 20, 10-11 PM (0)
Mar 20, 11-12 AM (0)
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 (1)
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 (2)
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 (2)
Mar 23, 10-11 AM (0)
Mar 23, 11-12 PM (3)
Mar 23, 12-1 PM (2)
Mar 23, 1-2 PM (1)
Mar 23, 2-3 PM (0)
Mar 23, 3-4 PM (0)
Mar 23, 4-5 PM (3)
Mar 23, 5-6 PM (0)
Mar 23, 6-7 PM (0)
45 commits this week
Mar 16, 2026
-
Mar 23, 2026
Generalize `updateUtxoState` for any transaction level
Run `validateWrongNetwork` checks in SUBUTXO
add Haskell Benchmark (customSmallerIsBetter) benchmark result for b71e324c4a64bdeee19c4b569dcddcc2d7cd8ab0
Update spec for script_n_of_k
Validate network in direct deposits in UTXO and SUBUTXO
Generalize `updateUtxoState` for any transaction level
Validate network in direct deposits in UTXO and SUBUTXO
Convert `TwoPools` test to an `ImpTest`
This also requires setting the decentralisation parameter `ppD` to `< 1` so pools can produce blocks as well. We set it to `minBound` which means that the network is full decentralised.
Enable and disable tests
Add bounds to ipv4 and ipv6 pre-Conway
Remove legacy `TwoPools` `CHAIN` example test
Add reproducer for `db-sync` `simpleRewards` test
Remove legacy `TwoPools` `CHAIN` example test
Add ToJSON/FromJSON instances for `NonEmptyMap` and `NonEmptySet`
Added the following tests:
* JSON roundtrip property test
* Unit test for trying to decode an empty object `{}` for the
`NonEmptyMap`, and an empty list `[]` for the `NonEmptySet`. These
scenarios are expected to fail with a specific error message.
leios: More compilation fixes
Add ToJSON/FromJSON instances for `NonEmptyMap` and `NonEmptySet`
Added the following tests:
* JSON roundtrip property test
* Unit test for trying to decode an empty object `{}` for the
`NonEmptyMap`, and an empty list `[]` for the `NonEmptySet`. These
scenarios are expected to fail with a specific error message.
Add `cabal-gild` and `shellcheck` as part of the pre-commit hook in our Nix devShell.
Using `pre-commit run --all-files` will now run `fourmolu`, `cabal-gild` and `shellcheck` on all modified files. Did not add `hlint` for now because there are *lots* of warnings that will take time to fix.
Use cleret instead of standalone scripts
Merge pull request #5647 from IntersectMBO/koslambrou/5640-use-bytearray-in-metadata
Change `B` constructor of `Metadatum` from `ByteString` to `ByteArray`
Optimize String length check in metadata and other places
Add `cabal-gild`, `shellcheck` and `nixpkgs-fmt` as part of the pre-commit hook in our Nix devShell.
Using `pre-commit run --all-files` will now run `fourmolu`, `cabal-gild`, `shellcheck` and `nixpkgs-fmt` on all modified files. Did not add `hlint` for now because there are *lots* of warnings that will take time to fix.
Use cleret instead of standalone scripts
Run Shelley-era checks in SUBUTXO
`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`, `validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``
Validate network in direct deposits in UTXO and SUBUTXO