- Aug 05, 2020
-
-
Peter Goodspeed-Niklaus authored
-
- Aug 04, 2020
-
-
Peter Goodspeed-Niklaus authored
This is twice as much code when measured by line, but IMO it is in fact somewhat clearer to read, so overall a win. Also adds an improved rule for selecting availability bitfields, which (unlike the previous implementation) guarantees that the appropriate postconditions hold there.
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
- Aug 03, 2020
-
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
This reverts commit 850fe62c. That initially looked like the better approach--it spent the time budget for fetching the block number in the proposer, instead of the provisioner, and that felt more appropriate--but it turns out not to be obvious how to get the block number of the block under construction from within the proposer. The Chain API may be less ideal, but it should be easier to implement.
-
Peter Goodspeed-Niklaus authored
-
- Jul 29, 2020
-
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
- Jul 28, 2020
-
-
Peter Goodspeed-Niklaus authored
-
- Jul 27, 2020
-
-
Peter Goodspeed-Niklaus authored
-
Peter Goodspeed-Niklaus authored
-
- Jul 24, 2020
-
-
Peter Goodspeed-Niklaus authored
-