207 Commits

Author	SHA1	Message	Date
Zarko Milosevic	a4b68ec2fb	Add non-recursive specification of Bisection algorithm ... - Fix timing issues by introducing Delta parameter	2019-11-15 12:47:48 +01:00
Zarko Milosevic	f618acf2ab	Fix model section	2019-10-29 12:01:13 +01:00
Marko	513c67230f	Add Section for P2P (#53) ... * Add Section for P2P - moved over the section on p2p Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * add some more files Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	2019-10-07 15:02:20 +02:00
Marko	fa3430ad16	spec/consensus/signing: add more details about nil and amnesia (#54) ... - Add more details about nil votes and about amnesia attacks Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	2019-10-02 15:28:56 -07:00
Marko	95cf253b6d	Add ABCI SPEC (#51) ... - move the abci spec from tendermint to spec repo Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	2019-09-17 16:07:08 +02:00
Marko	9b3531d7d6	Add consesnus and blockchain specs, (#52) ... - Open questions - Do we want to split lite client work from consesnsus - From the blockchain spec, is encoding nessecary in the spec Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	2019-09-17 16:06:20 +02:00
Marko	81a0198af2	This PR is to create signed commits to be able to merge (#50) ... Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	2019-09-14 19:56:17 +02:00