Check that the `requiredGuards` datums are valid
Home /
IntersectMBO /
cardano-ledger
Apr 02, 9-10 AM (1)
Apr 02, 10-11 AM (0)
Apr 02, 11-12 PM (9)
Apr 02, 12-1 PM (3)
Apr 02, 1-2 PM (12)
Apr 02, 2-3 PM (6)
Apr 02, 3-4 PM (1)
Apr 02, 4-5 PM (1)
Apr 02, 5-6 PM (4)
Apr 02, 6-7 PM (1)
Apr 02, 7-8 PM (9)
Apr 02, 8-9 PM (3)
Apr 02, 9-10 PM (0)
Apr 02, 10-11 PM (1)
Apr 02, 11-12 AM (4)
Apr 03, 12-1 AM (0)
Apr 03, 1-2 AM (0)
Apr 03, 2-3 AM (0)
Apr 03, 3-4 AM (0)
Apr 03, 4-5 AM (0)
Apr 03, 5-6 AM (1)
Apr 03, 6-7 AM (2)
Apr 03, 7-8 AM (0)
Apr 03, 8-9 AM (3)
Apr 03, 9-10 AM (0)
Apr 03, 10-11 AM (0)
Apr 03, 11-12 PM (5)
Apr 03, 12-1 PM (8)
Apr 03, 1-2 PM (5)
Apr 03, 2-3 PM (0)
Apr 03, 3-4 PM (0)
Apr 03, 4-5 PM (0)
Apr 03, 5-6 PM (0)
Apr 03, 6-7 PM (0)
Apr 03, 7-8 PM (0)
Apr 03, 8-9 PM (0)
Apr 03, 9-10 PM (0)
Apr 03, 10-11 PM (0)
Apr 03, 11-12 AM (0)
Apr 04, 12-1 AM (0)
Apr 04, 1-2 AM (0)
Apr 04, 2-3 AM (0)
Apr 04, 3-4 AM (0)
Apr 04, 4-5 AM (0)
Apr 04, 5-6 AM (0)
Apr 04, 6-7 AM (7)
Apr 04, 7-8 AM (0)
Apr 04, 8-9 AM (0)
Apr 04, 9-10 AM (1)
Apr 04, 10-11 AM (0)
Apr 04, 11-12 PM (0)
Apr 04, 12-1 PM (0)
Apr 04, 1-2 PM (0)
Apr 04, 2-3 PM (0)
Apr 04, 3-4 PM (0)
Apr 04, 4-5 PM (0)
Apr 04, 5-6 PM (0)
Apr 04, 6-7 PM (0)
Apr 04, 7-8 PM (0)
Apr 04, 8-9 PM (0)
Apr 04, 9-10 PM (0)
Apr 04, 10-11 PM (0)
Apr 04, 11-12 AM (0)
Apr 05, 12-1 AM (0)
Apr 05, 1-2 AM (0)
Apr 05, 2-3 AM (0)
Apr 05, 3-4 AM (0)
Apr 05, 4-5 AM (0)
Apr 05, 5-6 AM (0)
Apr 05, 6-7 AM (0)
Apr 05, 7-8 AM (0)
Apr 05, 8-9 AM (0)
Apr 05, 9-10 AM (0)
Apr 05, 10-11 AM (0)
Apr 05, 11-12 PM (0)
Apr 05, 12-1 PM (0)
Apr 05, 1-2 PM (0)
Apr 05, 2-3 PM (0)
Apr 05, 3-4 PM (0)
Apr 05, 4-5 PM (0)
Apr 05, 5-6 PM (0)
Apr 05, 6-7 PM (0)
Apr 05, 7-8 PM (0)
Apr 05, 8-9 PM (0)
Apr 05, 9-10 PM (0)
Apr 05, 10-11 PM (0)
Apr 05, 11-12 AM (0)
Apr 06, 12-1 AM (0)
Apr 06, 1-2 AM (0)
Apr 06, 2-3 AM (0)
Apr 06, 3-4 AM (0)
Apr 06, 4-5 AM (0)
Apr 06, 5-6 AM (2)
Apr 06, 6-7 AM (0)
Apr 06, 7-8 AM (1)
Apr 06, 8-9 AM (12)
Apr 06, 9-10 AM (0)
Apr 06, 10-11 AM (0)
Apr 06, 11-12 PM (0)
Apr 06, 12-1 PM (2)
Apr 06, 1-2 PM (13)
Apr 06, 2-3 PM (3)
Apr 06, 3-4 PM (0)
Apr 06, 4-5 PM (0)
Apr 06, 5-6 PM (3)
Apr 06, 6-7 PM (0)
Apr 06, 7-8 PM (3)
Apr 06, 8-9 PM (0)
Apr 06, 9-10 PM (0)
Apr 06, 10-11 PM (0)
Apr 06, 11-12 AM (0)
Apr 07, 12-1 AM (0)
Apr 07, 1-2 AM (0)
Apr 07, 2-3 AM (0)
Apr 07, 3-4 AM (1)
Apr 07, 4-5 AM (0)
Apr 07, 5-6 AM (6)
Apr 07, 6-7 AM (0)
Apr 07, 7-8 AM (0)
Apr 07, 8-9 AM (5)
Apr 07, 9-10 AM (11)
Apr 07, 10-11 AM (0)
Apr 07, 11-12 PM (2)
Apr 07, 12-1 PM (4)
Apr 07, 1-2 PM (1)
Apr 07, 2-3 PM (6)
Apr 07, 3-4 PM (2)
Apr 07, 4-5 PM (0)
Apr 07, 5-6 PM (1)
Apr 07, 6-7 PM (7)
Apr 07, 7-8 PM (4)
Apr 07, 8-9 PM (5)
Apr 07, 9-10 PM (0)
Apr 07, 10-11 PM (7)
Apr 07, 11-12 AM (0)
Apr 08, 12-1 AM (0)
Apr 08, 1-2 AM (0)
Apr 08, 2-3 AM (1)
Apr 08, 3-4 AM (0)
Apr 08, 4-5 AM (0)
Apr 08, 5-6 AM (0)
Apr 08, 6-7 AM (0)
Apr 08, 7-8 AM (1)
Apr 08, 8-9 AM (1)
Apr 08, 9-10 AM (1)
Apr 08, 10-11 AM (1)
Apr 08, 11-12 PM (4)
Apr 08, 12-1 PM (0)
Apr 08, 1-2 PM (1)
Apr 08, 2-3 PM (7)
Apr 08, 3-4 PM (1)
Apr 08, 4-5 PM (2)
Apr 08, 5-6 PM (0)
Apr 08, 6-7 PM (6)
Apr 08, 7-8 PM (0)
Apr 08, 8-9 PM (0)
Apr 08, 9-10 PM (0)
Apr 08, 10-11 PM (2)
Apr 08, 11-12 AM (5)
Apr 09, 12-1 AM (0)
Apr 09, 1-2 AM (0)
Apr 09, 2-3 AM (0)
Apr 09, 3-4 AM (0)
Apr 09, 4-5 AM (0)
Apr 09, 5-6 AM (0)
Apr 09, 6-7 AM (2)
Apr 09, 7-8 AM (4)
Apr 09, 8-9 AM (3)
Apr 09, 9-10 AM (4)
233 commits this week
Apr 02, 2026
-
Apr 09, 2026
Make `getScriptsProvided` recursive in Dijkstra
Implement top-level UTXOW rule with subtransactions
Check that all required guards are present in top level guards
Run scripts/gen-plutus.sh
Nix updates
Had to add a constraint to cabal.project. The latest version of the happy parser errors out when compiling hackell-src-exts.
Version bumps on byron-spec-chain and byron-spec-ledger
A lower bound on microlens was introduced.
Check that the `requiredGuards` datums are valid
Make `getScriptsProvided` recursive in Dijkstra
Check that all required guards are present in top level guards
Implement top-level UTXOW rule with subtransactions
Switch `Likelyhoods` to `Map` in order to avoid a spaceleak
Avoid VMap.map when setting `ssStakePoolsSnapShot`
Nix updates
Had to add a constraint to cabal.project. The latest version of the happy parser errors out when compiling hackell-src-exts.
Run scripts/gen-plutus.sh
Update microlens dependency
Before version 0.5 of microlens, an Internal module was being used. Now we switch to a module that is explicitly part of the microlens API.
Version bumps on byron-spec-chain and cardano-ledger-byron
A lower bound on microlens was introduced.
cabal.project: Update index-states
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 4352f11b72c8c17ff098d6051885d4801041ee5a
Merge pull request #5666 from IntersectMBO/koslambrou/refactor-test-tx-examples
Refactor transaction and transaction body of examples in Test.CardanoLedger.<era>.Examples.hs.
Make the (leios enhanced) block decoding backwards compatible
Allows to decode normal blocks as "inline txs" blocks in the Leios-enabled world. This is useful to replay old praos blocks and be able to still decode them in this (hackily patched) era.
Check that the `requiredGuards` datums are valid
Add entities/dreps/v0 namespace and related instances
Refactor transaction and transaction body of examples in Test.Cardano.Ledger.<era>.Examples.hs.
Refactor such that each example from an era is build on top of the example of the previous era. Allows: * reduced duplication * each example of each era has most fields set with values Update block and tx cbor golden files given changes in the block and transation content.
Check that all required guards are present in top level guards