Aleksandr Bezobchuk
b508045eff
Merge PR #5624 : Types ValidateBasic Tests
2020-11-09 11:08:48 -05:00
Callum Waters
ca46cbc781
move broadcast_evidence rpc call from info to evidence ( #5634 )
2020-11-09 15:48:44 +01:00
Marko
bf35cc6443
cmd: add support for --key ( #5612 )
...
Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com >
2020-11-09 15:22:36 +01:00
dependabot[bot]
27895a27a4
build(deps): Bump actions/cache from v2.1.2 to v2.1.3 ( #5633 )
...
Bumps [actions/cache](https://github.com/actions/cache ) from v2.1.2 to v2.1.3.
- [Release notes](https://github.com/actions/cache/releases )
- [Commits](https://github.com/actions/cache/compare/v2.1.2...0781355a23dac32fd3bac414512f4b903437991a )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2020-11-09 12:03:53 +01:00
Igor Konnov
c1ff62fe44
Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec ( #216 )
...
Add light client detector spec in TLA+
2020-11-09 11:08:33 +01:00
Giuliano
66e9106b4d
add Ivy proofs ( #210 )
...
* add Ivy proofs
* fix docker-compose command
2020-11-09 11:05:26 +01:00
Josef Widder
d5e0294003
Detector English Spec ready ( #215 )
...
Add detector English spec
2020-11-09 11:03:20 +01:00
Marko
32b811a1fb
encoding: add secp, ref zip215, tables ( #212 )
2020-11-09 09:53:00 +01:00
Callum Waters
9fe7b4fe77
remove misbehaviors from e2e generator ( #5629 )
2020-11-06 14:27:48 +01:00
Callum Waters
819e89ac7a
evidence: update data structures to reflect added support of abci evidence ( #213 )
2020-11-06 09:41:24 +01:00
Tess Rinearson
ec32df2d8a
CHANGELOG: add breaking Version name change ( #5628 )
...
The good folks at Regen pointed out that this was an additional breaking change when they upgraded to use RC6: https://github.com/cosmos/cosmos-sdk/pull/7828#discussion_r518337441
2020-11-06 01:06:55 +01:00
Tess Rinearson
d0c87ff27e
.github: move codecov config into .github
2020-11-06 01:02:52 +01:00
Tess Rinearson
e52f9de148
.github: move codecov.yml into .github
2020-11-06 01:02:52 +01:00
Tess Rinearson
8ae5c60637
scripts: move build.sh into scripts
2020-11-06 01:02:52 +01:00
Tess Rinearson
47687dba31
remove unused PHILOSOPHY file
2020-11-06 01:02:52 +01:00
Tess Rinearson
865234e113
remove appveyor.yml
2020-11-06 01:02:52 +01:00
Tess Rinearson
fdb7421ae8
.github: move mergify config
2020-11-06 01:02:52 +01:00
Tess Rinearson
a65c23a526
CHANGELOG: update to reflect v0.34.0-rc6 ( #5622 )
...
Note that this also deletes everything from CHANGELOG_PENDING that was included in RC6.
2020-11-05 23:24:26 +01:00
Anton Kaliaev
335e97433c
blockchain/v2: remove peers from the processor ( #5607 )
...
after they were pruned by the scheduler
Closes #5513
2020-11-05 12:24:48 +00:00
Marko
cf03759ff5
docs: make blockchain not viewable ( #211 )
2020-11-05 12:17:11 +01:00
Marko
9fce8480b0
Core: move validation & data structures together ( #176 )
...
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2020-11-05 10:09:59 +01:00
Marko
d31a4a4b34
RFC: adopt zip 215 ( #144 )
...
Co-authored-by: Robert Zaremba <robert@zaremba.ch >
2020-11-05 09:57:08 +01:00
Callum Waters
3922dde05d
evidence: structs can independently form abci evidence ( #5610 )
2020-11-04 17:14:48 +01:00
dependabot[bot]
83c7bd17bf
build(deps-dev): Bump watchpack from 2.0.0 to 2.0.1 in /docs ( #5605 )
...
Bumps [watchpack](https://github.com/webpack/watchpack ) from 2.0.0 to 2.0.1.
- [Release notes](https://github.com/webpack/watchpack/releases )
- [Commits](https://github.com/webpack/watchpack/compare/v2.0.0...v2.0.1 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2020-11-04 10:55:04 +01:00
Cyrus Goh
f471affad5
docs: bump vuepress-theme-cosmos ( #5614 )
...
## Description
- bump to 1.0.175
### Related:
- https://github.com/cosmos/vuepress-theme-cosmos/pull/125
- https://github.com/cosmos/vuepress-theme-cosmos/pull/151
2020-11-04 05:39:29 +00:00
Marko
0e9798f39f
ci: use gh pages ( #5609 )
2020-11-03 18:37:01 +01:00
Josef Widder
9ad6440bc0
Sequential Supervisor ( #186 )
...
* move from tendermint-rs but needs discussion
* markdown lint
* TODO links replaced
* links
* links
* links lint
* Update rust-spec/lightclient/supervisor/supervisor.md
* Update rust-spec/lightclient/supervisor/supervisor.md
* Update rust-spec/lightclient/supervisor/supervisor.md
* Update rust-spec/lightclient/supervisor/supervisor.md
* moved peer handling definitions to supervisor
* polishing
* rename
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* changes to maintain StateVerified again
* ready for changes in verification
* start of supervisor
* module name
* fixed
* more details
* supevisor completed. Now I have to add function to verification
* ready for review
* tla comment
* removed issues
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* intro text fixed
* indentation
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* comment to entry points
Co-authored-by: Marko Baricevic <marbar3778@yahoo.com >
2020-11-02 17:35:25 +01:00
Marko
97928e190a
github: issue template for proposals ( #190 )
2020-11-02 16:06:17 +01:00
Anton Kaliaev
627f7b5989
light: run detector for sequentially validating light client ( #5538 )
...
Closes #5445
2020-11-02 12:42:03 +04:00
Anton Kaliaev
8e6194626e
light: model-based tests ( #5461 )
...
This is the first iteration of model-based testing in Go Tendermint. The test runner is using the static JSON fixtures located under the ./json directory. In the future, the Rust tensgen binary will be used to generate those (given the static intermediate scenarios and the test seed, which will be published along with each testgen release).
Closes : #5322
2020-11-02 12:07:18 +04:00
Erik Grinaker
886235311f
p2p: remove p2p.FuzzedConnection and its config settings ( #5598 )
...
Removes `p2p.FuzzedConnection`, since it does not appear to be in use. While these sorts of test wrappers may be useful, they should be injected directly instead of bleeding through into the main application configuration. We'll implement something similar if and when necessary, for the new P2P abstractions in #2067 .
2020-10-30 14:47:21 +00:00
Erik Grinaker
b5d9da5d89
docs: add ADR on P2P refactor scope ( #5592 )
...
[Rendered](https://github.com/tendermint/tendermint/blob/erik/adr-p2p-refactor/docs/architecture/adr-061-p2p-refactor-scope.md )
This summarizes recent discussions on the scope of the upcoming P2P refactor.
2020-10-30 12:32:06 +00:00
Anton Kaliaev
bcf9b0aa39
blockchain/v2: make the removal of an already removed peer a noop ( #5553 )
...
also, since multiple StopPeerForError calls may be executed in parallel,
only execute StopPeerForError once
Closes #5541
2020-10-30 10:31:22 +00:00
Marko
cafad28293
privval: make response values non nullable ( #5583 )
...
## Description
make response values non nullable in privval
Does this need a changelog for master?
Closes : #5581
cc @tarcieri
2020-10-28 15:16:38 +00:00
dependabot[bot]
cd41091b18
build(deps): Bump codecov/codecov-action from v1.0.13 to v1.0.14 ( #5582 )
...
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action ) from v1.0.13 to v1.0.14.
- [Release notes](https://github.com/codecov/codecov-action/releases )
- [Commits](https://github.com/codecov/codecov-action/compare/v1.0.13...7d5dfa54903bd909319c580a00535b483d1efcf3 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2020-10-28 12:32:25 +01:00
Erik Grinaker
53022220f6
test: fix various E2E test issues ( #5576 )
...
* Don't use state sync for nodes starting at initial height.
* Also remove stopped containers when cleaning up.
* Start nodes in order of startAt, mode, name to avoid full nodes starting before their seeds.
* Tweak network waiting to avoid halts caused by validator changes and perturbations.
* Disable most tests for seed nodes, which aren't always able to join consensus.
* Disable `blockchain/v2` due to known bugs.
2020-10-27 16:22:00 +00:00
Callum Waters
651d8f087b
evidence: don't send committed evidence and ignore inbound evidence that is already committed ( #5574 )
2020-10-27 17:11:58 +01:00
Tess Rinearson
1488b0a33b
docs: remove DEV_SESSIONS list ( #5579 )
2020-10-27 16:31:51 +01:00
Marko
3be4800810
docs: footer cleanup ( #5457 )
...
## Description
Switch maintainer information
Closes: #XXX
2020-10-27 15:13:13 +00:00
Marko
eeb92a632b
ci: tests ( #5577 )
...
- use matrix builds to run multiple test jobs
- upload code coverage once not 4 times (produce more accurate codecov reports)
2020-10-27 15:44:19 +01:00
Marko
d0db59e16c
ci: add goreleaser ( #5527 )
...
Co-authored-by: Erik Grinaker <erik@interchain.berlin >
Co-authored-by: Alessio Treglia <alessio@tendermint.com >
2020-10-27 13:54:53 +01:00
Marko
38587d83c4
types: move MakeBlock to block.go ( #5573 )
2020-10-27 10:00:31 +01:00
dependabot[bot]
80b9eb8f0f
build(deps): Bump golangci/golangci-lint-action from v2.2.1 to v2.3.0 ( #5571 )
...
Bumps [golangci/golangci-lint-action](https://github.com/golangci/golangci-lint-action ) from v2.2.1 to v2.3.0.
- [Release notes](https://github.com/golangci/golangci-lint-action/releases )
- [Commits](https://github.com/golangci/golangci-lint-action/compare/v2.2.1...e868220d9fd3b523f1a8fcfb69749e8c7521ba14 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2020-10-26 12:05:00 +01:00
Erik Grinaker
7daf6a1a03
test: disable E2E misbehaviors due to bugs ( #5569 )
...
Disables misbehaviors in E2E testnets due to failures caused by #5554 and #5560 . Should be re-enabled once these are fixed.
2020-10-26 10:28:11 +00:00
Erik Grinaker
10dda219a1
test: fix handling of start height in generated E2E testnets ( #5563 )
...
In #5488 the E2E testnet generator changed to setting explicit `StartAt` heights for initial nodes. This broke the runner, which expected all initial nodes to have `StartAt: 0`, as well as validator set scheduling in the generator. Testnet loading now normalizes initial nodes to have `StartAt: 0`.
This also tweaks waiting for misbehavior heights to only use an additional wait if there actually is any misbehavior in the testnet, and to output information when waiting.
2020-10-26 10:09:46 +00:00
Callum Waters
d1ef5028a0
block: fix max commit sig size ( #5567 )
2020-10-26 10:18:59 +01:00
Erik Grinaker
20d66803c5
abci/grpc: fix ordering of sync/async callback combinations ( #5556 )
...
Fixes #5540 , fixes #2965 . This is a hack that patches over the problem, but really the whole async handling in gRPC should be redesigned, as should ReqRes callback dispatch.
2020-10-23 12:52:01 +00:00
Callum Waters
50b91867c3
test: add evidence e2e tests ( #5488 )
2020-10-23 12:33:08 +02:00
Erik Grinaker
d11e5993b1
test: tag E2E Docker resources and autoremove them ( #5558 )
...
Fixes #5555 .
2020-10-23 08:17:15 +00:00
Erik Grinaker
99f645d200
github: only notify nightly E2E failures once ( #5559 )
2020-10-23 00:14:59 +02:00