9-10 AM (0)
10-11 AM (1)
11-12 PM (2)
12-1 PM (0)
1-2 PM (1)
2-3 PM (0)
3-4 PM (0)
4-5 PM (0)
5-6 PM (0)
6-7 PM (0)
7-8 PM (0)
8-9 PM (0)
9-10 PM (0)
10-11 PM (0)
11-12 AM (0)
Sun
12-1 AM (0)
1-2 AM (7)
2-3 AM (0)
3-4 AM (0)
4-5 AM (0)
5-6 AM (0)
6-7 AM (0)
7-8 AM (0)
8-9 AM (0)
9-10 AM (1)
10-11 AM (1)
11-12 PM (0)
12-1 PM (0)
1-2 PM (0)
2-3 PM (0)
3-4 PM (0)
4-5 PM (1)
5-6 PM (1)
6-7 PM (0)
7-8 PM (0)
8-9 PM (0)
9-10 PM (2)
10-11 PM (7)
11-12 AM (6)
Mon
12-1 AM (2)
1-2 AM (6)
2-3 AM (6)
3-4 AM (2)
4-5 AM (1)
5-6 AM (2)
6-7 AM (6)
7-8 AM (6)
8-9 AM (8)
9-10 AM (9)
10-11 AM (9)
11-12 PM (23)
12-1 PM (7)
1-2 PM (12)
2-3 PM (19)
3-4 PM (31)
4-5 PM (15)
5-6 PM (5)
6-7 PM (9)
7-8 PM (12)
8-9 PM (20)
9-10 PM (21)
10-11 PM (11)
11-12 AM (29)
Tue
12-1 AM (5)
1-2 AM (12)
2-3 AM (1)
3-4 AM (2)
4-5 AM (13)
5-6 AM (4)
6-7 AM (0)
7-8 AM (5)
8-9 AM (22)
9-10 AM (21)
10-11 AM (16)
11-12 PM (37)
12-1 PM (11)
1-2 PM (21)
2-3 PM (24)
3-4 PM (34)
4-5 PM (27)
5-6 PM (12)
6-7 PM (13)
7-8 PM (10)
8-9 PM (1)
9-10 PM (5)
10-11 PM (2)
11-12 AM (0)
Wed
12-1 AM (0)
1-2 AM (3)
2-3 AM (1)
3-4 AM (0)
4-5 AM (0)
5-6 AM (23)
6-7 AM (2)
7-8 AM (13)
8-9 AM (24)
9-10 AM (29)
10-11 AM (32)
11-12 PM (23)
12-1 PM (35)
1-2 PM (27)
2-3 PM (32)
3-4 PM (48)
4-5 PM (13)
5-6 PM (6)
6-7 PM (17)
7-8 PM (21)
8-9 PM (1)
9-10 PM (14)
10-11 PM (6)
11-12 AM (2)
Thu
12-1 AM (1)
1-2 AM (4)
2-3 AM (12)
3-4 AM (4)
4-5 AM (0)
5-6 AM (6)
6-7 AM (9)
7-8 AM (19)
8-9 AM (22)
9-10 AM (29)
10-11 AM (6)
11-12 PM (30)
12-1 PM (9)
1-2 PM (17)
2-3 PM (43)
3-4 PM (52)
4-5 PM (32)
5-6 PM (11)
6-7 PM (2)
7-8 PM (4)
8-9 PM (8)
9-10 PM (8)
10-11 PM (3)
11-12 AM (3)
Fri
12-1 AM (14)
1-2 AM (6)
2-3 AM (3)
3-4 AM (3)
4-5 AM (6)
5-6 AM (8)
6-7 AM (10)
7-8 AM (3)
8-9 AM (9)
9-10 AM (7)
10-11 AM (13)
11-12 PM (9)
12-1 PM (13)
1-2 PM (34)
2-3 PM (15)
3-4 PM (21)
4-5 PM (7)
5-6 PM (12)
6-7 PM (10)
7-8 PM (2)
8-9 PM (0)
9-10 PM (0)
10-11 PM (2)
11-12 AM (1)
Sat
12-1 AM (1)
1-2 AM (3)
2-3 AM (0)
3-4 AM (0)
4-5 AM (0)
5-6 AM (0)
6-7 AM (0)
7-8 AM (0)
8-9 AM (0)
9-10 AM (1)
1518 commits this week Sep 14, 2019 - Sep 21, 2019

Merge #636

636: Integrate goblins into the conformance tests r=mhuesch a=mhuesch

We add a ts_prop_invalidTxWitsAreRejected conformance property to Test.Cardano.Chain.Block.Model. Adding this property required reworking of a number of types in cardano-ledger-specs to capture bounds which were not previously “knowable” from the type of the value.


This relates to https://github.com/input-output-hk/cardano-ledger-specs/issues/788 & https://github.com/input-output-hk/cardano-ledger-specs/issues/817.

Co-authored-by: Michael Hueschen [email protected]

Merge #727

727: Purge old checkpoints (beyond k blocks) r=KtorZ a=KtorZ

Issue Number

#644

Overview

  • [x] I have removed old checkpoints and used UTxO from the database
  • [x] keep track of k in the wallet primitive model

Comments

I decided to keep track of all the BlockchainParameters instead of just k. Since this is what’s going to matter in the end once we start applying protocol updates. Now, parameters are part of the checkpoints, so we could imagine a function like applyUpdate :: Update -> Wallet s t -> Wallet s t which takes care of updating the parameters.

All WalletLayer functions have been adjusted to use the parameters from the current checkpoint instead of pulling it from the surrounding ctx. We still pass an initial genesis configuration in createWallet and then initWallet in the very same way we passed the initial block.

Co-authored-by: KtorZ [email protected]

Merge #727

727: Purge old checkpoints (beyond k blocks) r=KtorZ a=KtorZ

Issue Number

#644

Overview

  • [x] I have removed old checkpoints and used UTxO from the database
  • [x] keep track of k in the wallet primitive model

Comments

I decided to keep track of all the BlockchainParameters instead of just k. Since this is what’s going to matter in the end once we start applying protocol updates. Now, parameters are part of the checkpoints, so we could imagine a function like applyUpdate :: Update -> Wallet s t -> Wallet s t which takes care of updating the parameters.

All WalletLayer functions have been adjusted to use the parameters from the current checkpoint instead of pulling it from the surrounding ctx. We still pass an initial genesis configuration in createWallet and then initWallet in the very same way we passed the initial block.

Co-authored-by: KtorZ [email protected]

Merge #727

727: Purge old checkpoints (beyond k blocks) r=KtorZ a=KtorZ

Issue Number

#644

Overview

  • [x] I have removed old checkpoints and used UTxO from the database
  • [x] keep track of k in the wallet primitive model

Comments

I decided to keep track of all the BlockchainParameters instead of just k. Since this is what’s going to matter in the end once we start applying protocol updates. Now, parameters are part of the checkpoints, so we could imagine a function like applyUpdate :: Update -> Wallet s t -> Wallet s t which takes care of updating the parameters.

All WalletLayer functions have been adjusted to use the parameters from the current checkpoint instead of pulling it from the surrounding ctx. We still pass an initial genesis configuration in createWallet and then initWallet in the very same way we passed the initial block.

Co-authored-by: KtorZ [email protected]