fix(amaru): use stake forecast producer image
Apr 29, 11-12 PM (51)
Apr 29, 12-1 PM (39)
Apr 29, 1-2 PM (21)
Apr 29, 2-3 PM (67)
Apr 29, 3-4 PM (25)
Apr 29, 4-5 PM (36)
Apr 29, 5-6 PM (16)
Apr 29, 6-7 PM (10)
Apr 29, 7-8 PM (14)
Apr 29, 8-9 PM (13)
Apr 29, 9-10 PM (17)
Apr 29, 10-11 PM (25)
Apr 29, 11-12 AM (29)
Apr 30, 12-1 AM (6)
Apr 30, 1-2 AM (8)
Apr 30, 2-3 AM (1)
Apr 30, 3-4 AM (6)
Apr 30, 4-5 AM (2)
Apr 30, 5-6 AM (8)
Apr 30, 6-7 AM (15)
Apr 30, 7-8 AM (17)
Apr 30, 8-9 AM (100)
Apr 30, 9-10 AM (19)
Apr 30, 10-11 AM (50)
Apr 30, 11-12 PM (120)
Apr 30, 12-1 PM (69)
Apr 30, 1-2 PM (45)
Apr 30, 2-3 PM (117)
Apr 30, 3-4 PM (29)
Apr 30, 4-5 PM (34)
Apr 30, 5-6 PM (9)
Apr 30, 6-7 PM (20)
Apr 30, 7-8 PM (23)
Apr 30, 8-9 PM (28)
Apr 30, 9-10 PM (13)
Apr 30, 10-11 PM (25)
Apr 30, 11-12 AM (15)
May 01, 12-1 AM (18)
May 01, 1-2 AM (15)
May 01, 2-3 AM (6)
May 01, 3-4 AM (7)
May 01, 4-5 AM (3)
May 01, 5-6 AM (5)
May 01, 6-7 AM (8)
May 01, 7-8 AM (15)
May 01, 8-9 AM (24)
May 01, 9-10 AM (17)
May 01, 10-11 AM (16)
May 01, 11-12 PM (17)
May 01, 12-1 PM (39)
May 01, 1-2 PM (32)
May 01, 2-3 PM (19)
May 01, 3-4 PM (16)
May 01, 4-5 PM (25)
May 01, 5-6 PM (11)
May 01, 6-7 PM (20)
May 01, 7-8 PM (22)
May 01, 8-9 PM (65)
May 01, 9-10 PM (15)
May 01, 10-11 PM (40)
May 01, 11-12 AM (61)
May 02, 12-1 AM (6)
May 02, 1-2 AM (11)
May 02, 2-3 AM (5)
May 02, 3-4 AM (8)
May 02, 4-5 AM (6)
May 02, 5-6 AM (2)
May 02, 6-7 AM (2)
May 02, 7-8 AM (14)
May 02, 8-9 AM (7)
May 02, 9-10 AM (8)
May 02, 10-11 AM (11)
May 02, 11-12 PM (7)
May 02, 12-1 PM (7)
May 02, 1-2 PM (3)
May 02, 2-3 PM (14)
May 02, 3-4 PM (9)
May 02, 4-5 PM (27)
May 02, 5-6 PM (9)
May 02, 6-7 PM (29)
May 02, 7-8 PM (11)
May 02, 8-9 PM (15)
May 02, 9-10 PM (1)
May 02, 10-11 PM (20)
May 02, 11-12 AM (18)
May 03, 12-1 AM (8)
May 03, 1-2 AM (1)
May 03, 2-3 AM (4)
May 03, 3-4 AM (7)
May 03, 4-5 AM (1)
May 03, 5-6 AM (4)
May 03, 6-7 AM (32)
May 03, 7-8 AM (5)
May 03, 8-9 AM (1)
May 03, 9-10 AM (3)
May 03, 10-11 AM (10)
May 03, 11-12 PM (11)
May 03, 12-1 PM (16)
May 03, 1-2 PM (11)
May 03, 2-3 PM (2)
May 03, 3-4 PM (2)
May 03, 4-5 PM (5)
May 03, 5-6 PM (0)
May 03, 6-7 PM (5)
May 03, 7-8 PM (6)
May 03, 8-9 PM (8)
May 03, 9-10 PM (15)
May 03, 10-11 PM (23)
May 03, 11-12 AM (17)
May 04, 12-1 AM (4)
May 04, 1-2 AM (4)
May 04, 2-3 AM (10)
May 04, 3-4 AM (9)
May 04, 4-5 AM (5)
May 04, 5-6 AM (6)
May 04, 6-7 AM (6)
May 04, 7-8 AM (28)
May 04, 8-9 AM (24)
May 04, 9-10 AM (43)
May 04, 10-11 AM (36)
May 04, 11-12 PM (61)
May 04, 12-1 PM (34)
May 04, 1-2 PM (48)
May 04, 2-3 PM (64)
May 04, 3-4 PM (33)
May 04, 4-5 PM (64)
May 04, 5-6 PM (49)
May 04, 6-7 PM (13)
May 04, 7-8 PM (31)
May 04, 8-9 PM (45)
May 04, 9-10 PM (9)
May 04, 10-11 PM (54)
May 04, 11-12 AM (24)
May 05, 12-1 AM (4)
May 05, 1-2 AM (5)
May 05, 2-3 AM (5)
May 05, 3-4 AM (11)
May 05, 4-5 AM (11)
May 05, 5-6 AM (50)
May 05, 6-7 AM (16)
May 05, 7-8 AM (36)
May 05, 8-9 AM (81)
May 05, 9-10 AM (68)
May 05, 10-11 AM (34)
May 05, 11-12 PM (72)
May 05, 12-1 PM (115)
May 05, 1-2 PM (118)
May 05, 2-3 PM (65)
May 05, 3-4 PM (91)
May 05, 4-5 PM (41)
May 05, 5-6 PM (26)
May 05, 6-7 PM (28)
May 05, 7-8 PM (73)
May 05, 8-9 PM (31)
May 05, 9-10 PM (18)
May 05, 10-11 PM (25)
May 05, 11-12 AM (17)
May 06, 12-1 AM (10)
May 06, 1-2 AM (5)
May 06, 2-3 AM (9)
May 06, 3-4 AM (22)
May 06, 4-5 AM (4)
May 06, 5-6 AM (13)
May 06, 6-7 AM (29)
May 06, 7-8 AM (11)
May 06, 8-9 AM (106)
May 06, 9-10 AM (24)
May 06, 10-11 AM (24)
May 06, 11-12 PM (0)
4,107 commits this week
Apr 29, 2026
-
May 06, 2026
cardano-recon-grep: support reading traces from stdin when --traces is omitted
Fix failing cuddle test for Plutus data Constr.
Triggered by: ``` cabal run cardano-ledger-conway:test:tests -- --match "/Conway era-specific/CDDL/Huddle/Decoding fails when term is zapped/plutus_data: MemoBytes (PlutusData ConwayEra)/" --seed 1615161393 ``` The issue is that our list of allowed tags for the `Constr` data constructor of Plutus `Data` is not exhaustive enough. As per `PlutusCore.Data`, the allowed tags are 121-127, 1280-1400, and 102.
refactor(stm): updated the constant SRS path and default implementation
fix: use new repository address for Cardano node
docs: update CHANGELOG
feat: upgrade Cardano default from '10.7.1' to '11.0.1'
chore: upgrade crate versions
* mithril-aggregator from `0.8.50` to `0.8.51` * mithril-signer from `1.0.0` to `1.0.1` * mithril-aggregator-fake from `0.4.20` to `0.4.21` * mithril-end-to-end from `0.4.132` to `0.4.133` * mithril-test-lab/mithril-devnet/VERSION from `0.4.32` to `0.4.33`
Fix failing cuddle test for Plutus data Constr.
Triggered by: ``` cabal run cardano-ledger-conway:test:tests -- --match "/Conway era-specific/CDDL/Huddle/Decoding fails when term is zapped/plutus_data: MemoBytes (PlutusData ConwayEra)/" --seed 1615161393 ``` The issue is that our list of allowed tags for the `Constr` data constructor of Plutus `Data` is not exhaustive enough. As per `PlutusCore.Data`, the allowed tags are 121-127, 1280-1400, and 102.
Better names for WrappedTerm constructors
cardano-recon-framework: Add cardano-recon-grep and ContinuousFormula (v1.2.0)
- Add `ContinuousFormula` — temporal-operator-free fragment of `Formula`, with `retract :: Formula event ty -> Maybe (ContinuousFormula ty)` and `eval :: ... -> event -> Reader OnMissingKey Bool` - Add `cardano-recon-grep` executable (Global Realisation Print): prints a JSON array of TraceMessages that realise all given continuous formulas - Simplify `prettyTraceMessage` to use ToJSON directly (no field remapping) - Format negative-outcome relevant events as a JSON array in `prettySatisfactionResult` - Remove dead `Common.hs` (extractJsonProps) - Add `docs/formula-languages.txt` ASCII diagram of the formula language hierarchy - Add note to `docs/ltl-formula-syntax.txt` on the `data` prefix omission convention - Bump version to 1.2.0; update CHANGELOG and README
Split CBORGenerator into Custom.Generator and Custom.Validator
Fix failing cuddle test for Plutus data Constr.
Triggered by: ``` cabal run cardano-ledger-conway:test:tests -- --match "/Conway era-specific/CDDL/Huddle/Decoding fails when term is zapped/plutus_data: MemoBytes (PlutusData ConwayEra)/" --seed 1615161393 ``` The issue is that our list of allowed tags for the `Constr` data constructor of Plutus `Data` is not exhaustive enough. As per `PlutusCore.Data`, the allowed tags are 121-127, 1280-1400, and 102.
refactor(stm): renamed functions and tests
Remove mkTwoPartyConfigs
Signed-off-by: Sasha Bogicevic <[email protected]>
Remove RecordWildCards
Signed-off-by: Sasha Bogicevic <[email protected]>
Add HydraNodeConfig and update withHydraNode to use it
Introduce HydraNodeConfig record type and smart constructors (mkSoloConfig, mkTwoPartyConfigs, mkThreePartyConfigs) to replace positional arguments in withHydraNode, withHydraNodeCatchingUp, and withUnsyncedHydraNode. Update all call sites in Scenarios, EndToEndSpec, ChainObserverSpec, TUISpec, and Bench/EndToEnd accordingly. Signed-off-by: Sasha Bogicevic <[email protected]>
Implement a `ContinuousFormula` for filtering events by formula conformance
Make the deposit cancelation collect the fee
refactor(stm): removed printing