Remove test that is not needed anymore
May 19, 3-4 PM (51)
May 19, 4-5 PM (15)
May 19, 5-6 PM (20)
May 19, 6-7 PM (18)
May 19, 7-8 PM (9)
May 19, 8-9 PM (21)
May 19, 9-10 PM (10)
May 19, 10-11 PM (28)
May 19, 11-12 AM (13)
May 20, 12-1 AM (21)
May 20, 1-2 AM (9)
May 20, 2-3 AM (4)
May 20, 3-4 AM (5)
May 20, 4-5 AM (9)
May 20, 5-6 AM (37)
May 20, 6-7 AM (47)
May 20, 7-8 AM (53)
May 20, 8-9 AM (50)
May 20, 9-10 AM (16)
May 20, 10-11 AM (41)
May 20, 11-12 PM (28)
May 20, 12-1 PM (50)
May 20, 1-2 PM (92)
May 20, 2-3 PM (21)
May 20, 3-4 PM (326)
May 20, 4-5 PM (23)
May 20, 5-6 PM (23)
May 20, 6-7 PM (17)
May 20, 7-8 PM (23)
May 20, 8-9 PM (15)
May 20, 9-10 PM (5)
May 20, 10-11 PM (34)
May 20, 11-12 AM (16)
May 21, 12-1 AM (16)
May 21, 1-2 AM (9)
May 21, 2-3 AM (11)
May 21, 3-4 AM (7)
May 21, 4-5 AM (4)
May 21, 5-6 AM (27)
May 21, 6-7 AM (14)
May 21, 7-8 AM (22)
May 21, 8-9 AM (34)
May 21, 9-10 AM (45)
May 21, 10-11 AM (37)
May 21, 11-12 PM (27)
May 21, 12-1 PM (63)
May 21, 1-2 PM (68)
May 21, 2-3 PM (60)
May 21, 3-4 PM (53)
May 21, 4-5 PM (20)
May 21, 5-6 PM (27)
May 21, 6-7 PM (27)
May 21, 7-8 PM (25)
May 21, 8-9 PM (23)
May 21, 9-10 PM (3)
May 21, 10-11 PM (29)
May 21, 11-12 AM (10)
May 22, 12-1 AM (16)
May 22, 1-2 AM (6)
May 22, 2-3 AM (8)
May 22, 3-4 AM (4)
May 22, 4-5 AM (11)
May 22, 5-6 AM (10)
May 22, 6-7 AM (21)
May 22, 7-8 AM (13)
May 22, 8-9 AM (38)
May 22, 9-10 AM (12)
May 22, 10-11 AM (18)
May 22, 11-12 PM (25)
May 22, 12-1 PM (24)
May 22, 1-2 PM (34)
May 22, 2-3 PM (56)
May 22, 3-4 PM (13)
May 22, 4-5 PM (29)
May 22, 5-6 PM (13)
May 22, 6-7 PM (19)
May 22, 7-8 PM (20)
May 22, 8-9 PM (12)
May 22, 9-10 PM (12)
May 22, 10-11 PM (41)
May 22, 11-12 AM (12)
May 23, 12-1 AM (9)
May 23, 1-2 AM (0)
May 23, 2-3 AM (3)
May 23, 3-4 AM (1)
May 23, 4-5 AM (1)
May 23, 5-6 AM (4)
May 23, 6-7 AM (12)
May 23, 7-8 AM (1)
May 23, 8-9 AM (3)
May 23, 9-10 AM (1)
May 23, 10-11 AM (1)
May 23, 11-12 PM (5)
May 23, 12-1 PM (1)
May 23, 1-2 PM (6)
May 23, 2-3 PM (5)
May 23, 3-4 PM (5)
May 23, 4-5 PM (4)
May 23, 5-6 PM (0)
May 23, 6-7 PM (3)
May 23, 7-8 PM (23)
May 23, 8-9 PM (1)
May 23, 9-10 PM (9)
May 23, 10-11 PM (21)
May 23, 11-12 AM (27)
May 24, 12-1 AM (9)
May 24, 1-2 AM (0)
May 24, 2-3 AM (1)
May 24, 3-4 AM (1)
May 24, 4-5 AM (0)
May 24, 5-6 AM (3)
May 24, 6-7 AM (1)
May 24, 7-8 AM (2)
May 24, 8-9 AM (2)
May 24, 9-10 AM (4)
May 24, 10-11 AM (4)
May 24, 11-12 PM (1)
May 24, 12-1 PM (7)
May 24, 1-2 PM (46)
May 24, 2-3 PM (5)
May 24, 3-4 PM (3)
May 24, 4-5 PM (18)
May 24, 5-6 PM (2)
May 24, 6-7 PM (4)
May 24, 7-8 PM (13)
May 24, 8-9 PM (10)
May 24, 9-10 PM (15)
May 24, 10-11 PM (33)
May 24, 11-12 AM (42)
May 25, 12-1 AM (9)
May 25, 1-2 AM (4)
May 25, 2-3 AM (6)
May 25, 3-4 AM (1)
May 25, 4-5 AM (6)
May 25, 5-6 AM (14)
May 25, 6-7 AM (17)
May 25, 7-8 AM (17)
May 25, 8-9 AM (32)
May 25, 9-10 AM (43)
May 25, 10-11 AM (64)
May 25, 11-12 PM (33)
May 25, 12-1 PM (43)
May 25, 1-2 PM (40)
May 25, 2-3 PM (20)
May 25, 3-4 PM (27)
May 25, 4-5 PM (16)
May 25, 5-6 PM (6)
May 25, 6-7 PM (7)
May 25, 7-8 PM (11)
May 25, 8-9 PM (12)
May 25, 9-10 PM (13)
May 25, 10-11 PM (39)
May 25, 11-12 AM (25)
May 26, 12-1 AM (11)
May 26, 1-2 AM (11)
May 26, 2-3 AM (8)
May 26, 3-4 AM (11)
May 26, 4-5 AM (6)
May 26, 5-6 AM (9)
May 26, 6-7 AM (24)
May 26, 7-8 AM (39)
May 26, 8-9 AM (38)
May 26, 9-10 AM (42)
May 26, 10-11 AM (45)
May 26, 11-12 PM (59)
May 26, 12-1 PM (34)
May 26, 1-2 PM (44)
May 26, 2-3 PM (33)
May 26, 3-4 PM (0)
3,558 commits this week
May 19, 2026
-
May 26, 2026
Refactor emitNextFanoutStep to use where-bound postChainTx with guards
Remove SRP; update index-state, plutus examples
Scale down tests to make test suites run faster
Add custom validator and generator for sets
Add subtransactions custom generator
Add custom generator to constr
improve verification result handling
Remove dead links from readme
Add "Modules" hierarchy to Dijkstra mkdocs
Add missing modules to mkdocs.yaml
Illiterate Foreign* modules
Fix bug in fls-shake
mkdocs .md files weren't being generated even when .lagda.md files changed.
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 615ca1d3a356baf4d8fecc0977a463c5ed4192d6
Merge pull request #5762 from IntersectMBO/ldan/generate-cbor-exec
Add `generate-cbor` CLI tool
ghc-shim: extend native-musl LD_LIBRARY_PATH wrap to all GHCs
The musl libgcc_s lookup workaround was gated on GHC ≥ 9.10, but
the underlying cause — musl's `libstdc++.so` `DT_RUNPATH` points at
musl's libc dir, not at the gcc lib dir where `libgcc_s.so.1`
lives — applies to every native-musl GHC. GHC 9.6.7 on musl64
falls into the default "symlinks only" branch, so the
`extraLibraryPaths` prefix never gets applied and TH eval breaks
with:
Error loading shared library libgcc_s.so.1: No such file or
directory (needed by …/x86_64-unknown-linux-musl/lib/libstdc++.so)
The 9.10 gate was only correct for the unprefixed alias creation
(unlit / ghc-iserv* — earlier ghcs already ship those at the
unprefixed paths). Split the two concerns:
* `needsLibShim`: any native-musl (or ghcjs) — lndir libdir +
makeWrapper for `ghc` / `ghc-<version>` so the
`--prefix LD_LIBRARY_PATH` from `extraLibraryPaths` reaches the
iserv process.
* `nativeMuslNeedsAliases`: native-musl ≥ 9.10 — also create the
unprefixed unlit / ghc-iserv aliases.
Also drop the matching 9.10 gate around `extraLibraryPaths` in
`build-cabal-slice.nix` so musl < 9.10 actually gets a populated
path list to wrap.
Verified `tests.th-dlls.build` on `x86_64-linux.unstable.ghc967.musl64`.
Update 2026-05-26T15:24:05Z
added: * github:input-output-hk/mithril/16241f891f5b75740060713c1aafa913e184282a#mithril-client-cli * github:input-output-hk/mithril/16241f891f5b75740060713c1aafa913e184282a#mithril-signer removed: * github:input-output-hk/mithril/245e20a14f4a6bafc087302023d1668b71c56c44#mithril-client-cli * github:input-output-hk/mithril/245e20a14f4a6bafc087302023d1668b71c56c44#mithril-signer
Rename Test.Consensus.Node to Test.Consensus.DBLock
Scale down tests to make test suites run faster
Add subtransactions custom generator