6 Commits

Author	SHA1	Message	Date
Vladimir Komendantskiy	c8c8e1bb1f	added a latch for the decided value in Agreement to remember the output value	2018-05-17 10:43:56 +01:00
Andreas Fackler	4164af1702	Generalize TestNetwork and test HoneyBadger.	2018-05-16 16:21:30 +02:00
Vladimir Komendantskiy	21b898d8e0	dispatch targeted messages in the Common Subset message handling routine	2018-05-16 11:21:53 +01:00
Vladimir Komendantskiy	5f916c4d08	formatting and lint check	2018-05-15 22:25:41 +01:00
Vladimir Komendantskiy	c8034da332	corrected the CommonSubset module and test to decide on a map of values insetead of a set	2018-05-15 18:18:05 +01:00
Vladimir Komendantskiy	eadd233fe4	added the Common Subset test module	2018-05-15 15:44:47 +01:00