Constrained generator tweaks
Home /
Input Output /
cardano-ledger
Jul 26, 9-10 AM (0)
Jul 26, 10-11 AM (0)
Jul 26, 11-12 PM (0)
Jul 26, 12-1 PM (0)
Jul 26, 1-2 PM (0)
Jul 26, 2-3 PM (0)
Jul 26, 3-4 PM (0)
Jul 26, 4-5 PM (0)
Jul 26, 5-6 PM (0)
Jul 26, 6-7 PM (0)
Jul 26, 7-8 PM (0)
Jul 26, 8-9 PM (0)
Jul 26, 9-10 PM (0)
Jul 26, 10-11 PM (0)
Jul 26, 11-12 AM (0)
Jul 27, 12-1 AM (0)
Jul 27, 1-2 AM (0)
Jul 27, 2-3 AM (0)
Jul 27, 3-4 AM (0)
Jul 27, 4-5 AM (0)
Jul 27, 5-6 AM (0)
Jul 27, 6-7 AM (0)
Jul 27, 7-8 AM (0)
Jul 27, 8-9 AM (0)
Jul 27, 9-10 AM (0)
Jul 27, 10-11 AM (0)
Jul 27, 11-12 PM (0)
Jul 27, 12-1 PM (0)
Jul 27, 1-2 PM (0)
Jul 27, 2-3 PM (0)
Jul 27, 3-4 PM (0)
Jul 27, 4-5 PM (0)
Jul 27, 5-6 PM (0)
Jul 27, 6-7 PM (0)
Jul 27, 7-8 PM (0)
Jul 27, 8-9 PM (0)
Jul 27, 9-10 PM (0)
Jul 27, 10-11 PM (0)
Jul 27, 11-12 AM (0)
Jul 28, 12-1 AM (0)
Jul 28, 1-2 AM (0)
Jul 28, 2-3 AM (0)
Jul 28, 3-4 AM (0)
Jul 28, 4-5 AM (0)
Jul 28, 5-6 AM (0)
Jul 28, 6-7 AM (0)
Jul 28, 7-8 AM (0)
Jul 28, 8-9 AM (0)
Jul 28, 9-10 AM (0)
Jul 28, 10-11 AM (0)
Jul 28, 11-12 PM (0)
Jul 28, 12-1 PM (0)
Jul 28, 1-2 PM (0)
Jul 28, 2-3 PM (1)
Jul 28, 3-4 PM (0)
Jul 28, 4-5 PM (0)
Jul 28, 5-6 PM (0)
Jul 28, 6-7 PM (0)
Jul 28, 7-8 PM (0)
Jul 28, 8-9 PM (0)
Jul 28, 9-10 PM (0)
Jul 28, 10-11 PM (0)
Jul 28, 11-12 AM (0)
Jul 29, 12-1 AM (0)
Jul 29, 1-2 AM (0)
Jul 29, 2-3 AM (0)
Jul 29, 3-4 AM (0)
Jul 29, 4-5 AM (0)
Jul 29, 5-6 AM (0)
Jul 29, 6-7 AM (0)
Jul 29, 7-8 AM (0)
Jul 29, 8-9 AM (0)
Jul 29, 9-10 AM (0)
Jul 29, 10-11 AM (0)
Jul 29, 11-12 PM (0)
Jul 29, 12-1 PM (0)
Jul 29, 1-2 PM (0)
Jul 29, 2-3 PM (0)
Jul 29, 3-4 PM (0)
Jul 29, 4-5 PM (0)
Jul 29, 5-6 PM (0)
Jul 29, 6-7 PM (0)
Jul 29, 7-8 PM (0)
Jul 29, 8-9 PM (0)
Jul 29, 9-10 PM (0)
Jul 29, 10-11 PM (0)
Jul 29, 11-12 AM (0)
Jul 30, 12-1 AM (0)
Jul 30, 1-2 AM (0)
Jul 30, 2-3 AM (0)
Jul 30, 3-4 AM (0)
Jul 30, 4-5 AM (0)
Jul 30, 5-6 AM (0)
Jul 30, 6-7 AM (0)
Jul 30, 7-8 AM (0)
Jul 30, 8-9 AM (2)
Jul 30, 9-10 AM (4)
Jul 30, 10-11 AM (1)
Jul 30, 11-12 PM (0)
Jul 30, 12-1 PM (0)
Jul 30, 1-2 PM (0)
Jul 30, 2-3 PM (10)
Jul 30, 3-4 PM (0)
Jul 30, 4-5 PM (0)
Jul 30, 5-6 PM (0)
Jul 30, 6-7 PM (0)
Jul 30, 7-8 PM (0)
Jul 30, 8-9 PM (0)
Jul 30, 9-10 PM (0)
Jul 30, 10-11 PM (0)
Jul 30, 11-12 AM (0)
Jul 31, 12-1 AM (0)
Jul 31, 1-2 AM (0)
Jul 31, 2-3 AM (0)
Jul 31, 3-4 AM (0)
Jul 31, 4-5 AM (0)
Jul 31, 5-6 AM (0)
Jul 31, 6-7 AM (0)
Jul 31, 7-8 AM (0)
Jul 31, 8-9 AM (0)
Jul 31, 9-10 AM (0)
Jul 31, 10-11 AM (0)
Jul 31, 11-12 PM (0)
Jul 31, 12-1 PM (1)
Jul 31, 1-2 PM (0)
Jul 31, 2-3 PM (0)
Jul 31, 3-4 PM (0)
Jul 31, 4-5 PM (0)
Jul 31, 5-6 PM (0)
Jul 31, 6-7 PM (0)
Jul 31, 7-8 PM (0)
Jul 31, 8-9 PM (0)
Jul 31, 9-10 PM (0)
Jul 31, 10-11 PM (0)
Jul 31, 11-12 AM (0)
Aug 01, 12-1 AM (0)
Aug 01, 1-2 AM (0)
Aug 01, 2-3 AM (0)
Aug 01, 3-4 AM (0)
Aug 01, 4-5 AM (0)
Aug 01, 5-6 AM (0)
Aug 01, 6-7 AM (0)
Aug 01, 7-8 AM (0)
Aug 01, 8-9 AM (0)
Aug 01, 9-10 AM (0)
Aug 01, 10-11 AM (0)
Aug 01, 11-12 PM (0)
Aug 01, 12-1 PM (0)
Aug 01, 1-2 PM (14)
Aug 01, 2-3 PM (1)
Aug 01, 3-4 PM (0)
Aug 01, 4-5 PM (0)
Aug 01, 5-6 PM (0)
Aug 01, 6-7 PM (0)
Aug 01, 7-8 PM (0)
Aug 01, 8-9 PM (0)
Aug 01, 9-10 PM (0)
Aug 01, 10-11 PM (0)
Aug 01, 11-12 AM (0)
Aug 02, 12-1 AM (0)
Aug 02, 1-2 AM (0)
Aug 02, 2-3 AM (0)
Aug 02, 3-4 AM (0)
Aug 02, 4-5 AM (0)
Aug 02, 5-6 AM (0)
Aug 02, 6-7 AM (0)
Aug 02, 7-8 AM (0)
Aug 02, 8-9 AM (0)
Aug 02, 9-10 AM (0)
34 commits this week
Jul 26, 2025
-
Aug 02, 2025
WIP - Add `EraSpecificSpec` class
WIP - improve imptest organisation
Separate tests without certificate deposits
Removed generators from cardano-ledger-conformance
Simplified some ExecSpecRule instances
Rename SpecTranslate.Core to SpecTranslate.Base
Fix fourmolu warnings
Fix fourmolu (last)
Move Haskell-types instances of SpecTranslate from Conway.Base to Base
Fix cabal-format warning
Move Core instances from Conway.Base to Core
Fix fourmolu warning
Fix fourmolu warning
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 3fa847bd67a6d1c3c2d5960578c993487e9883b0