19 Commits

Include renames

Author	SHA1	Message	Date
Robert Habermeier	5137d1a1d0	validator -> authority	2018-01-16 20:04:32 +01:00
Robert Habermeier	02bdf0ee29	test consensus completion	2018-01-16 20:01:17 +01:00
Robert Habermeier	76fafcb39f	initial test harness	2018-01-16 17:47:09 +01:00
Robert Habermeier	5a369064a4	import a local candidate when it is available	2018-01-13 19:19:41 +01:00
Robert Habermeier	0e8458491f	fill batch statements from table	2018-01-12 14:50:28 +01:00
Robert Habermeier	00c4ee2d81	create the overarching agreement and IO futures	2018-01-10 21:58:56 +01:00
Robert Habermeier	3d9cc2697c	incoming message handler	2018-01-10 21:20:53 +01:00
Robert Habermeier	7b67bc63da	round-robin message handler	2018-01-09 21:03:06 +01:00
Robert Habermeier	2fbc256b66	instantiate the agreement future	2018-01-08 16:36:35 +01:00
Robert Habermeier	9ff2fa550f	beginnings of shared table	2018-01-08 15:34:21 +01:00
Robert Habermeier	acca871d20	define context trait and initialize statement table	2018-01-03 17:06:04 +01:00
Robert Habermeier	4b3b1249dc	basic tests for the strategy	2017-12-27 21:35:19 +01:00
Robert Habermeier	2540a8728d	implement honest node strategy for BFT	2017-12-27 17:46:41 +01:00
Robert Habermeier	6da40e8a7a	kill unused macro_use annotation	2017-12-18 11:08:43 +01:00
Robert Habermeier	9a030d6e09	simple BFT agreement	2017-12-18 11:08:29 +01:00
Robert Habermeier	233d88fdb8	keep track of messages known by validators	2017-12-13 18:45:08 +01:00
Robert Habermeier	ee05b9dbdf	some tests for misbehavior	2017-12-13 10:39:33 +01:00
Robert Habermeier	2fa8fad0ef	make table mod public	2017-12-12 18:13:08 +01:00
Robert Habermeier	4ec91d687c	candidate statement importing	2017-12-12 17:24:28 +01:00