Fix Conway `DELEG` imp tests for Dijkstra
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
Add `registerPoolWithDeposit`
Add `registerStakeCredentialWithDeposit`
documentation + remove some cruft
Improve documentation in a bunch of places
Added DijkstraPParams
fixed unneccessary import
Changed dRepDeposits to CompactCoin
Change the type of `psDeposits` to `CompactForm Coin`
Update formal-ledger-specifications
Change `Tx` to an associated data type
Co-authored-by: Alexey Kuleshevich <[email protected]>
Improve documentation in a bunch of places
minimal working example of building a HasSpec instance from only
Constrained.API
Improve documentation in a bunch of places
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 4d330c55e2f551cff01343d19a3233694fdfd362
Remove `Fields` types from Generic tests
Made a test that required a UMap invalid for eras after Babbage.
Fix mkConwayTestAccountState which was calling era if the DRep was delegated. Also fix other latent errors that popped up about minUTxOPerByte pparam.
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.
Viable approach in the works. In process of removing UMap in favor of AccountStates
Simplify Transition and reuse it in shelley-test Add mkTestAccountState and addAccountState
Export Maybe expectations
Add EitherDeepExpr helpers
Add `Uniform` instance for `Ptr`, `SlotNo32`, `CertIx` and `TxIx`