Anca Zamfir 2ec9faa51a

sync to develop

2019-06-18 11:57:22 +02:00

..

block_sync

add the reactor spec

2019-06-05 13:38:08 +02:00

consensus

Formalize proposer election algorithm properties (#3140)

2019-03-19 19:56:13 -04:00

evidence

move reactor descriptions to relevant specs

2018-05-30 16:51:19 +04:00

mempool

mempool: add a safety check, write tests for mempoolIDs (#3487)

2019-03-27 16:45:34 +01:00

pex

pex: various follow-ups (#3605)

2019-05-01 09:38:26 +04:00