124 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Dmitry Sergeev	afc8f6bf98	implementation details shortened, incorrect cases expanded	2018-06-20 16:26:31 +05:00
Dmitry Sergeev	62f315e7a7	minor	2018-06-20 11:25:01 +05:00
Dmitry Sergeev	b360efb25e	blockchain details added	2018-06-20 11:09:13 +05:00
Dmitry Sergeev	47d116d6e3	doc changes	2018-06-18 13:44:24 +05:00
Dmitry Sergeev	583630140c	doc and built-in function changes	2018-06-18 13:19:26 +05:00
Dmitry Sergeev	887ef39eba	images edited	2018-06-18 11:19:08 +05:00
Dmitry Sergeev	7171c71811	client-side proof checking	2018-06-18 10:31:27 +05:00
Dmitry Sergeev	3da08e1e5d	app doc changes, benchmark scripts changes	2018-06-17 01:26:28 +05:00
Dmitry Sergeev	058da54b9a	minor	2018-06-15 11:54:16 +05:00
Dmitry Sergeev	497c40f768	fixes after review	2018-06-15 11:47:43 +05:00
Dmitry Sergeev	82e046c073	typos fixed	2018-06-14 16:36:35 +05:00
Dmitry Sergeev	1a6f089d92	docs fixes, image added	2018-06-14 15:30:42 +05:00
Dmitry Sergeev	9e1c3b7db7	images added, doc fixes	2018-06-14 14:20:14 +05:00
Dmitry Sergeev	0dd9fd7830	doc fixes	2018-06-14 11:29:45 +05:00
Dmitry Sergeev	a03bac6e27	fixes, dispute cases, query.py aligned with docs	2018-06-14 11:02:39 +05:00
Dmitry Sergeev	d9311f5c8c	minor	2018-06-13 11:28:29 +05:00
Dmitry Sergeev	d64f4758ac	cluster images	2018-06-13 11:27:44 +05:00
Dmitry Sergeev	bdf015f5e8	new demo app document initial	2018-06-13 11:02:42 +05:00
Dmitry Sergeev	444789ff3f	behavior document normal case	2018-06-11 16:55:42 +05:00
Dmitry Sergeev	ce76092d26	refactoring, thread safety, behavior doc initial	2018-06-09 12:56:35 +05:00
Dmitry Sergeev	b357eb4de8	partial PR fixes, local cluster, block monitoring	2018-06-09 01:42:02 +05:00
Dmitry Sergeev	2a1d836953	entry class refactored, comments added	2018-06-06 07:36:22 +05:00
Dmitry Sergeev	08dc8574f5	tmdemo-initial	2018-06-05 13:15:12 +05:00
Dmitry Sergeev	0fa27f5139	Initial commit	2018-06-05 13:08:55 +05:00