Home / Input Output / cardano-ledger-specs
Jul 05, 3-4 AM (0)
Jul 05, 4-5 AM (0)
Jul 05, 5-6 AM (0)
Jul 05, 6-7 AM (0)
Jul 05, 7-8 AM (0)
Jul 05, 8-9 AM (0)
Jul 05, 9-10 AM (0)
Jul 05, 10-11 AM (0)
Jul 05, 11-12 PM (0)
Jul 05, 12-1 PM (0)
Jul 05, 1-2 PM (0)
Jul 05, 2-3 PM (0)
Jul 05, 3-4 PM (0)
Jul 05, 4-5 PM (0)
Jul 05, 5-6 PM (0)
Jul 05, 6-7 PM (0)
Jul 05, 7-8 PM (0)
Jul 05, 8-9 PM (0)
Jul 05, 9-10 PM (0)
Jul 05, 10-11 PM (0)
Jul 05, 11-12 AM (0)
Jul 06, 12-1 AM (0)
Jul 06, 1-2 AM (0)
Jul 06, 2-3 AM (0)
Jul 06, 3-4 AM (0)
Jul 06, 4-5 AM (0)
Jul 06, 5-6 AM (0)
Jul 06, 6-7 AM (0)
Jul 06, 7-8 AM (0)
Jul 06, 8-9 AM (0)
Jul 06, 9-10 AM (0)
Jul 06, 10-11 AM (0)
Jul 06, 11-12 PM (0)
Jul 06, 12-1 PM (0)
Jul 06, 1-2 PM (0)
Jul 06, 2-3 PM (0)
Jul 06, 3-4 PM (0)
Jul 06, 4-5 PM (1)
Jul 06, 5-6 PM (0)
Jul 06, 6-7 PM (0)
Jul 06, 7-8 PM (0)
Jul 06, 8-9 PM (0)
Jul 06, 9-10 PM (0)
Jul 06, 10-11 PM (0)
Jul 06, 11-12 AM (0)
Jul 07, 12-1 AM (0)
Jul 07, 1-2 AM (0)
Jul 07, 2-3 AM (0)
Jul 07, 3-4 AM (0)
Jul 07, 4-5 AM (0)
Jul 07, 5-6 AM (0)
Jul 07, 6-7 AM (0)
Jul 07, 7-8 AM (2)
Jul 07, 8-9 AM (3)
Jul 07, 9-10 AM (3)
Jul 07, 10-11 AM (4)
Jul 07, 11-12 PM (9)
Jul 07, 12-1 PM (10)
Jul 07, 1-2 PM (8)
Jul 07, 2-3 PM (5)
Jul 07, 3-4 PM (0)
Jul 07, 4-5 PM (0)
Jul 07, 5-6 PM (0)
Jul 07, 6-7 PM (0)
Jul 07, 7-8 PM (0)
Jul 07, 8-9 PM (0)
Jul 07, 9-10 PM (2)
Jul 07, 10-11 PM (6)
Jul 07, 11-12 AM (4)
Jul 08, 12-1 AM (0)
Jul 08, 1-2 AM (0)
Jul 08, 2-3 AM (0)
Jul 08, 3-4 AM (0)
Jul 08, 4-5 AM (0)
Jul 08, 5-6 AM (0)
Jul 08, 6-7 AM (0)
Jul 08, 7-8 AM (0)
Jul 08, 8-9 AM (1)
Jul 08, 9-10 AM (1)
Jul 08, 10-11 AM (23)
Jul 08, 11-12 PM (0)
Jul 08, 12-1 PM (3)
Jul 08, 1-2 PM (0)
Jul 08, 2-3 PM (4)
Jul 08, 3-4 PM (0)
Jul 08, 4-5 PM (0)
Jul 08, 5-6 PM (0)
Jul 08, 6-7 PM (0)
Jul 08, 7-8 PM (0)
Jul 08, 8-9 PM (0)
Jul 08, 9-10 PM (0)
Jul 08, 10-11 PM (0)
Jul 08, 11-12 AM (0)
Jul 09, 12-1 AM (0)
Jul 09, 1-2 AM (0)
Jul 09, 2-3 AM (0)
Jul 09, 3-4 AM (0)
Jul 09, 4-5 AM (0)
Jul 09, 5-6 AM (0)
Jul 09, 6-7 AM (0)
Jul 09, 7-8 AM (0)
Jul 09, 8-9 AM (0)
Jul 09, 9-10 AM (0)
Jul 09, 10-11 AM (0)
Jul 09, 11-12 PM (1)
Jul 09, 12-1 PM (2)
Jul 09, 1-2 PM (2)
Jul 09, 2-3 PM (1)
Jul 09, 3-4 PM (0)
Jul 09, 4-5 PM (0)
Jul 09, 5-6 PM (1)
Jul 09, 6-7 PM (2)
Jul 09, 7-8 PM (0)
Jul 09, 8-9 PM (1)
Jul 09, 9-10 PM (0)
Jul 09, 10-11 PM (0)
Jul 09, 11-12 AM (0)
Jul 10, 12-1 AM (0)
Jul 10, 1-2 AM (0)
Jul 10, 2-3 AM (0)
Jul 10, 3-4 AM (0)
Jul 10, 4-5 AM (0)
Jul 10, 5-6 AM (0)
Jul 10, 6-7 AM (1)
Jul 10, 7-8 AM (0)
Jul 10, 8-9 AM (3)
Jul 10, 9-10 AM (1)
Jul 10, 10-11 AM (0)
Jul 10, 11-12 PM (3)
Jul 10, 12-1 PM (0)
Jul 10, 1-2 PM (1)
Jul 10, 2-3 PM (1)
Jul 10, 3-4 PM (0)
Jul 10, 4-5 PM (1)
Jul 10, 5-6 PM (6)
Jul 10, 6-7 PM (0)
Jul 10, 7-8 PM (0)
Jul 10, 8-9 PM (0)
Jul 10, 9-10 PM (2)
Jul 10, 10-11 PM (0)
Jul 10, 11-12 AM (0)
Jul 11, 12-1 AM (0)
Jul 11, 1-2 AM (0)
Jul 11, 2-3 AM (0)
Jul 11, 3-4 AM (0)
Jul 11, 4-5 AM (0)
Jul 11, 5-6 AM (0)
Jul 11, 6-7 AM (1)
Jul 11, 7-8 AM (1)
Jul 11, 8-9 AM (0)
Jul 11, 9-10 AM (4)
Jul 11, 10-11 AM (1)
Jul 11, 11-12 PM (2)
Jul 11, 12-1 PM (0)
Jul 11, 1-2 PM (3)
Jul 11, 2-3 PM (0)
Jul 11, 3-4 PM (0)
Jul 11, 4-5 PM (0)
Jul 11, 5-6 PM (0)
Jul 11, 6-7 PM (3)
Jul 11, 7-8 PM (0)
Jul 11, 8-9 PM (0)
Jul 11, 9-10 PM (0)
Jul 11, 10-11 PM (0)
Jul 11, 11-12 AM (0)
Jul 12, 12-1 AM (0)
Jul 12, 1-2 AM (0)
Jul 12, 2-3 AM (0)
Jul 12, 3-4 AM (0)
133 commits this week Jul 05, 2025 - Jul 12, 2025
Trying to get the tests to pass
Reworked some messages when things fail.
Removed some unused imports that were not necessary.
Changed Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs, by
  changing conwayCertStateSpec to pass one component of PState through reify to DState
  and then pass one component of DState though reify to VState.
  This replaces the use of two exists.
Made some small chages to MiniTrace.
Added Witnessing the rng of a map that was ConwayAccountState.
Added some Winessed instances that deal with AccountState type family and its instances.