hbbft

Author	SHA1	Message	Date
Vladimir Komendantskiy	c1c7ffff49	Added fault checking on every step in the net framework (#338 ) * added fault checking in the net framework * check that the node in the fault report is not faulty * simplified a condition * made error on fault a parameter of VirtualNet * updated the BA test to error on fault * explained errors and refactored an assignment * typo fix	2018-12-11 08:12:38 +00:00
Vladimir Komendantskiy	5735cf23a1	Binary Agreement test updated to the proptest framework (#336 ) * converted the BA test to net framework * fixed lints and corrected docs * seeded the Rng and removed logging * allowed pass by value of binary_agreement argument * handling of input via proptest and doc correction	2018-11-20 15:16:15 +00:00
Andreas Fackler	df36258715	Instead of macro_use, use use.	2018-10-30 08:11:03 +01:00
Andreas Fackler	c011ef49c5	Make the BA session ID generic.	2018-10-29 09:28:09 +01:00
Andreas Fackler	8d1361e6ae	Split up messaging module.	2018-10-10 17:29:59 +02:00
Andreas Fackler	7002dad54c	Remove unused pairing import. Also use the new `Iterator::flatten`.	2018-10-09 11:53:20 +02:00
Andreas Fackler	383d96fdee	Rename Agreement to BinaryAgreement.	2018-08-30 11:19:52 +02:00