tendermint

Commit Graph

Author	SHA1	Message	Date
Daniel Cason	0bf5e6baa6	PBTS model: derived POL proof ammended	3 years ago
Daniel Cason	a9637f6a75	PBTS model: minor fixes	3 years ago
Daniel Cason	9a6de9719a	PBTS model: fix formatting, r' renamed to vr	3 years ago
Daniel Cason	f7b8788cf6	PBTS model: derived POL "demonstration"	3 years ago
Daniel Cason	21051f255a	PBTS model: typos fixed	3 years ago
Daniel Cason	79b4fde8c0	PBTS model: reference to arXiv algorithm on timely	3 years ago
Daniel	a742dc3e8a	Apply suggestions from William Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>	3 years ago
Daniel Cason	3d7014e0f5	PBTS model: derived proof-of-lock requirements * The property needs to be properly demonstrated.	3 years ago
Daniel Cason	a94be39c03	PBTS model: timely proof-of-lock re-defined	3 years ago
Daniel Cason	abae01085a	PBTS model: timely predicate definition	3 years ago
Daniel Cason	50f079a8ca	PBTS model: some formatting changes	3 years ago
Daniel Cason	69deb38479	PBTS model: timely proposals definition refined	3 years ago
Daniel Cason	2553c35643	PBTS model: MSGDELAY description shortened	3 years ago
Daniel Cason	46fed3c16a	PBTS model: Safety Invariants subsection	3 years ago
Daniel Cason	b8c2f9fa1e	PBTS model: proposal time monotonocity rephrased	3 years ago
Daniel Cason	1aa4be51c3	PBTS model: discussion about accuracy shortened	3 years ago
Daniel Cason	cbc2a9194a	PBTS model: precision parameter embodies accuracy	3 years ago
Daniel Cason	f404b27093	PBTS model: reinforcing alignment with UTC	3 years ago
Daniel Cason	9ceb504420	PBTS model: consensus properties reviewed	3 years ago
Daniel Cason	4374a1e6f2	PBTS model: precision, accuracy, and delay defs	3 years ago
Daniel Cason	c363be2f65	PBTS model: proposal time monotonocity rephrased	3 years ago
Daniel Cason	f778591c46	PBTS model: discussion about accuracy shortened	3 years ago
Daniel Cason	7c18359a7f	PBTS model: precision parameter embodies accuracy	3 years ago
Daniel Cason	814f9c48a8	PBTS model: reinforcing alignment with UTC	3 years ago
Daniel Cason	12ee640c41	PBTS model: consensus properties reviewed	3 years ago
Daniel Cason	647cb45d7b	PBTS model: precision, accuracy, and delay defs	3 years ago
M. J. Fromberger	c42c6d06d2	Migration of TLA+ files from the spec repo (#8004 ) (#8018 ) Co-authored-by: Kukovec <jure.kukovec@gmail.com>	3 years ago
M. J. Fromberger	b848c79971	Revert "Migration of TLA+ files from the spec repo (#8004 )" (#8016 ) This reverts commit `e762dbb603`. These files need a more thorough review before integration.	3 years ago
Kukovec	e762dbb603	Migration of TLA+ files from the spec repo (#8004 )	3 years ago
Thane Thomson	abdf717761	spec: Minor updates to spec merge PR (#7835 ) Signed-off-by: Thane Thomson <connect@thanethomson.com> Co-authored-by: Callum Waters <cmwaters19@gmail.com>	3 years ago
Callum Waters	e81b0e290e	spec: merge spec repo into tendermint repo (#7804 )	3 years ago
Daniel	4fb99af40d	PBTS: spec reorganization, summary of changes on README.md (#399 ) * PBTS: brief context and proposal added to README * PBTS: summary of algorithmic solution added to README * PBTS: Context section of README improved * PBTS: fixing links and page titles * PBTS: moved first drafts to v1/, links updated * PBTS: added issues to README, link to arXiv PDF * PBTS: brief context and proposal added to README * PBTS: summary of algorithmic solution added to README * PBTS: Context section of README improved * PBTS: fixing links and page titles * PBTS: moved first drafts to v1/, links updated * PBTS: added issues to README, link to arXiv PDF * Apply suggestions from code review Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com> Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> * Fixing linting problems Co-authored-by: Daniel Cason <cason@gandria> Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com> Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>	3 years ago
Kukovec	f8c4ec38ec	Apalache annotations (#398 )	3 years ago
Daniel	20b2abb5f9	PBTS: new system model and problem statement (#375 ) * PBTS: second version of system model * PBTS: new model referred in algorithm spec * PBTS: removed model discussion from algorithm spec * PBTS: corrections on the ystem model * PBTS: a pretty complex problem statement * PBTS: minor fixes on the problem spefication * PBTS: liveness part of problem specification * PBTS: link updated, outdated note on sysmodel_v1 * Update spec/consensus/proposer-based-timestamp/pbts-algorithm_002_draft.md Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com> * Apply William's suggestions from code review Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com> * PBTS: new discussion and definition for accuracy * Apply Josef's suggestion from code review Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> * PBTS: some tags added to sysmodel * PBTS: motivation and link to Issue #371 * PBTS: fixing lint error Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com> Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>	3 years ago
Josef Widder	eaa2629352	Update README.md (#373 )	3 years ago
Daniel	339304f87c	PBTS: new minimal set of changes in consensus algorithm (#369 ) * PBTS: second draft of protocol specification * PBTS: updates in consensus algorithm v2 * PBTS: adding/fixing links in second draft * PBTS: updated links for new algorithm specification * PBTS: changes suggested by Josef Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> * PBTS: minor fixes and additions to spec Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>	3 years ago
M. J. Fromberger	e92aa56a75	Clean up lint failures for Markdown files (#367 ) Many of the Markdown files in this repository fail the Markdown lint check. This change cleans up most of them, either by: - Removing links to targets that no longer exist. - Updating links to targets that have moved. - Disabling the linter for files that need more revision. - Clean up trailing whitespace in files that peeves the super-linter. Fixes #363.	3 years ago
Callum Waters	8029cf7a0f	evidence: add section explaining evidence (#324 )	3 years ago
Yixin Luo	f3216e6953	rename HasVote to ReceivedVote (#289 )	4 years ago
Sam Kleinman	048f6a32f9	lint: fix lint errors (#301 )	4 years ago
istoilkovska	640b71038b	Proposer-based timestamp specification (#261 ) * added proposer-based timestamp spec * Update spec/consensus/proposer-based-timestamp/pbts_001_draft.md Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com> * Update spec/consensus/proposer-based-timestamp/pbts_001_draft.md Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com> * Update spec/consensus/proposer-based-timestamp/pbts-algorithm_001_draft.md Co-authored-by: Marko <marbar3778@yahoo.com> * Update spec/consensus/proposer-based-timestamp/pbts-algorithm_001_draft.md * Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_001_draft.md Co-authored-by: Callum Waters <cmwaters19@gmail.com> * fixes from PR Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com> Co-authored-by: Marko <marbar3778@yahoo.com> Co-authored-by: Callum Waters <cmwaters19@gmail.com>	4 years ago
Marko	038f3e025a	params: remove block timeiota (#248 )	4 years ago
Marko	72d15a4b07	spec: remove reactor section (#242 ) Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com>	4 years ago
Marko	fc569173a1	layout: add section titles (#240 )	4 years ago
Callum Waters	733b020899	evidence: update data structures (#165 )	4 years ago
Marko	1075f77cc3	spec: extract light-client to its own directory (#152 ) Co-authored-by: Callum Waters <cmwaters19@gmail.com>	4 years ago
Marko	efbbc9462f	ci: add markdown linter (#146 )	4 years ago
Callum Waters	31b182b7aa	update spec with the removal of phantom validator evidence (#126 )	4 years ago
Anton Kaliaev	0445156ed9	Apply suggestions from code review Co-authored-by: Igor Konnov <igor.konnov@gmail.com>	4 years ago
Anton Kaliaev	3a29521848	spec/consensus: canonical vs subjective commit Refs https://github.com/tendermint/tendermint/issues/2769	4 years ago

1 2

77 Commits (0bf5e6baa6d82cf7e3dd1dee4f50d98da83f3d75)