Marko
5e90a98a7c
proto: abci++ changes ( #348 )
* abci++ proto updates
* add finalizeblock
* add deprecated fields
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
William Banfield
329da35a84
Add the newly defined timeout parameters to the consensus parameters ( #400 )
3 years ago
William Banfield
91f898cb98
proto: merge the proposer-based timestamps parameters ( #393 )
3 years ago
dependabot[bot]
648f5ffa77
build(deps): bump docker/build-push-action from 2.8.0 to 2.9.0 ( #397 )
Bumps [docker/build-push-action](https://github.com/docker/build-push-action ) from 2.8.0 to 2.9.0.
- [Release notes](https://github.com/docker/build-push-action/releases )
- [Commits](https://github.com/docker/build-push-action/compare/v2.8.0...v2.9.0 )
---
updated-dependencies:
- dependency-name: docker/build-push-action
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: M. J. Fromberger <fromberger@interchain.io>
3 years ago
Kukovec
f8c4ec38ec
Apalache annotations ( #398 )
3 years ago
Jasmina Malicevic
8e5b44d46a
p2p/message: Changed evidence message to contain evidence, not a list… ( #394 )
* p2p/message: Changed evidence message to contain evidence, not a list of evidence
* Update spec/p2p/messages/evidence.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com>
Co-authored-by: Callum Waters <cmwaters19@gmail.com>
3 years ago
Kukovec
17a197929c
Updated Apalache type annotations ( #395 )
3 years ago
dependabot[bot]
cbae11c8fc
build(deps): bump docker/build-push-action from 2.7.0 to 2.8.0 ( #389 )
Bumps [docker/build-push-action](https://github.com/docker/build-push-action ) from 2.7.0 to 2.8.0.
- [Release notes](https://github.com/docker/build-push-action/releases )
- [Commits](https://github.com/docker/build-push-action/compare/v2.7.0...v2.8.0 )
---
updated-dependencies:
- dependency-name: docker/build-push-action
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
3 years ago
M. J. Fromberger
02c354d62c
Fix cron spec in GitHub workflow. ( #390 )
* Fix quoting lints.
3 years ago
Sergio Mena
c06c6a9244
Remove natural language validation from 'Super linter': it shows false positives as errors
3 years ago
Sergio Mena
611cc63a27
Addressed Callum's latest comments
3 years ago
Sergio Mena
33f529b06b
Revert "Included extra parameter in `FinalizeBlock` in an attempt to include https://github.com/tendermint/tendermint/issues/1909 in this spec"
This reverts commit 22e8aafa03
.
3 years ago
Sergio Mena
e7136888bb
Addressed Callum's comments
3 years ago
Sergio Mena
eb233d5565
Update spec/abci++/abci++_methods_002_draft.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com>
3 years ago
Sergio Mena
f774c09a97
Editorial/Lint changes
3 years ago
Sergio Mena
5c41de2b85
Update spec/abci++/abci++_app_requirements_002_draft.md
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
3 years ago
Sergio Mena
54a1773435
Addressed propose timeout issue if App is fully executing blocks
3 years ago
Sergio Mena
e3da1bf94a
Handle the distinction between 'any' occurrences (*) and 'infinite' occurrences (omega) in the grammar
3 years ago
Sergio Mena
81be4d0d14
Included extra parameter in `FinalizeBlock` in an attempt to include https://github.com/tendermint/tendermint/issues/1909 in this spec
3 years ago
Sergio Mena
f4e1039830
Addressed outstanding comments
3 years ago
Sergio Mena
af8a1a2ce3
Fixed hyperlinks
3 years ago
Sergio Mena
0d610258f5
Addressed comments from @lklimek
3 years ago
Sergio Mena
ddb1eb27c9
Editorial changes
3 years ago
Sergio Mena
a75a2c6f00
Fixed bug in grammar
3 years ago
Sergio Mena
ff2104ec0b
Moved the `same_block` boolean to ConsensusParams. Revamped the "Tendermint's behavior" section
3 years ago
Sergio Mena
009c120abb
Addressed latest comments from Josef and William
3 years ago
Sergio Mena
7bbbba9acf
Update spec/abci++/abci++_app_requirements_002_draft.md spec/abci++/abci++_basic_concepts_002_draft.md
Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>
3 years ago
Sergio Mena
383d6b1117
Fixed rebase conflicts
3 years ago
Sergio Mena
7c1883c692
ABCI++: Found a solution to set the execution mode
3 years ago
Sergio Mena
523974167a
ABCI++: Major refactor of spec's structure. Addressed Josef's comments. Merged ABCI's methods and data structs that didn't change. Added introductory paragraphs
3 years ago
Sergio Mena
57cc810744
Fixed 'bug' in Property 11. Reworked section 'App expectations from Tendermint'
3 years ago
Sergio Mena
438b490fe0
Update spec/abci++/abci++_properties_001_draft.md
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
3 years ago
Sergio Mena
243601d02a
Reworked the text to reflect the contents of meeting on 2021-12-09
3 years ago
Sergio Mena
6fb0ca4201
Addressed William's latest comments. Added text: 'App devs SHOULD return true in ProcessProposal/VerifyVoteExtension'
3 years ago
Sergio Mena
9496ea84f8
Updated the text with results of discussions in the last days. Addressed William's comments
3 years ago
Sergio Mena
f3275ae608
Addressed comments from Wed's meetings. Tackled TODOs that are now well understood
3 years ago
Sergio Mena
500a4a1419
Addressed comments from meeting on 2021-11-30
3 years ago
Sergio Mena
8c2645aa81
Addressed comments from meeting on Nov 29. Draft PR ready for PR
3 years ago
Sergio Mena
e9211f5941
Second iteration. Extended all TODOs that don't need discussions. Params and types included. First version of ABCI++'s properties
3 years ago
Sergio Mena
836a723ca3
Developed the "Application's point of view" for `ProcessProposal`
3 years ago
Sergio Mena
86408529e0
Update spec/abci++/abci++_properties_001_draft.md
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
3 years ago
Sergio Mena
35eaa0b0a8
ABCI++ spec. First draft of properties
3 years ago
M. J. Fromberger
bab9f68689
Attempt to fix the markdown link checker. ( #387 )
Make sure it runs for pull requests as well as pushes to master.
Otherwise, I think, it may not trigger to satisfy the requirement.
* Fold in version bump from #385 .
Co-authored-by: sweexordious <chamirachid1@gmail.com>
3 years ago
dependabot[bot]
b695d30aae
build(deps): bump docker/login-action from 1.11.0 to 1.12.0 ( #380 )
Bumps [docker/login-action](https://github.com/docker/login-action ) from 1.11.0 to 1.12.0.
- [Release notes](https://github.com/docker/login-action/releases )
- [Commits](https://github.com/docker/login-action/compare/v1.11.0...v1.12.0 )
---
updated-dependencies:
- dependency-name: docker/login-action
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
3 years ago
dependabot[bot]
98c122f471
build(deps): bump docker/login-action from 1.10.0 to 1.11.0 ( #378 )
* build(deps): bump docker/login-action from 1.10.0 to 1.11.0
Bumps [docker/login-action](https://github.com/docker/login-action ) from 1.10.0 to 1.11.0.
- [Release notes](https://github.com/docker/login-action/releases )
- [Commits](https://github.com/docker/login-action/compare/v1.10.0...v1.11.0 )
---
updated-dependencies:
- dependency-name: docker/login-action
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
* Run the omnibus linter always.
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: M. J. Fromberger <michael.j.fromberger@gmail.com>
3 years ago
Callum Waters
f4babf9551
RFC006: Semantic Versioning ( #365 )
Co-authored-by: M. J. Fromberger <fromberger@interchain.io>
Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>
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
Callum Waters
b907d637ca
update spec with header and headerbyhash rpc methods ( #374 )
3 years ago
Josef Widder
eaa2629352
Update README.md ( #373 )
3 years ago