Tess Rinearson
e290bd624f
changelog_pending: add missing entry ( #6830 )
2021-08-17 16:05:36 +02:00
Sam Kleinman
1e985f6226
rpc: update peer format in specification in NetInfo operation ( #331 )
2021-08-16 08:54:23 -04:00
mergify[bot]
0366c2b688
rpc: log update (backport #6825 ) ( #6826 )
2021-08-14 09:54:02 -04:00
Callum Waters
72adbf9cc9
statesync: new messages for gossiping consensus params ( #328 )
2021-08-09 15:41:44 +02:00
Callum Waters
8029cf7a0f
evidence: add section explaining evidence ( #324 )
2021-08-03 11:14:28 +02:00
mergify[bot]
6fde228e9d
state/privval: vote timestamp fix (backport #6748 ) ( #6783 )
2021-07-30 17:48:49 +02:00
Callum Waters
ed7fa80693
stale bot: ignore issues ( #325 )
2021-07-22 11:11:04 +02:00
Marko
8f9cd23016
update proto files for release ( #318 )
2021-07-16 14:45:02 +00:00
Callum Waters
24f22eeb52
address discrepancies between spec and implementation ( #322 )
2021-07-16 12:49:15 +02:00
dependabot[bot]
f790b6f903
build(deps): bump actions/stale from 3.0.19 to 4 ( #319 )
...
Bumps [actions/stale](https://github.com/actions/stale ) from 3.0.19 to 4.
- [Release notes](https://github.com/actions/stale/releases )
- [Changelog](https://github.com/actions/stale/blob/main/CHANGELOG.md )
- [Commits](https://github.com/actions/stale/compare/v3.0.19...v4 )
---
updated-dependencies:
- dependency-name: actions/stale
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-07-15 12:58:24 +00:00
William Banfield
0ff67d6b1e
update spec to reference currently used timestamp type ( #317 )
2021-07-14 17:10:49 -04:00
mergify[bot]
b69ac23fd2
light: add case to catch cancelled contexts within the detector (backport #6701 ) ( #6720 )
2021-07-14 15:26:03 +02:00
mergify[bot]
da9eefd111
rpc: add chunked rpc interface (backport #6445 ) ( #6717 )
...
* rpc: add chunked rpc interface (#6445 )
(cherry picked from commit d9134063e7garen@tychoish.com >
Co-authored-by: marbar3778 <marbar3778@yahoo.com >
2021-07-14 09:22:53 +00:00
dependabot[bot]
aa8f656573
build(deps): bump gaurav-nelson/github-action-markdown-link-check ( #313 )
...
Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check ) from 1.0.12 to 1.0.13.
- [Release notes](https://github.com/gaurav-nelson/github-action-markdown-link-check/releases )
- [Commits](https://github.com/gaurav-nelson/github-action-markdown-link-check/compare/1.0.12...1.0.13 )
---
updated-dependencies:
- dependency-name: gaurav-nelson/github-action-markdown-link-check
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-07-12 08:34:06 +00:00
Callum Waters
2c2f511f24
light: correctly handle contexts (backport -> v0.34.x) ( #6685 )
2021-07-09 14:30:33 +02:00
Callum Waters
8b84c7c168
e2e: disable app tests for light client ( #6672 )
2021-07-07 20:06:55 +02:00
Callum Waters
6039594121
add new pex messages ( #312 )
2021-07-07 12:48:19 +02:00
Giuliano
24222c5855
Add C++ code generation and test scenario ( #310 )
...
* add parameters to byzantine send action
* make net not trusted
it's not necessary since for proofs Ivy will assume that the environment
does not break action preconditions
* use require instead of assume
it seems that assume is not checked when other isolates call!
* add comment
* add comment
* run with random seed
* make domain model extractable to C++
* substitute require for assume
assumes in an action are not checked when the action is called! I.e.
they place no requirement on the caller; we're just assuming that the
caller is going to do the right thing. This wasn't very important here
but it leade to a minor inconsistency slipping through.
* make the net isolate not trusted
there was no need for it
* add tendermint_test.ivy
contains a simple test scenario that show that the specification is no
vacuuous
* update comment
* add comments
* throw if trying to parse nset value in the repl
* add comment
* minor refactoring
2021-07-07 12:46:23 +02:00
mergify[bot]
0712063ec8
config: add example on external_address (backport #6621 ) ( #6624 )
2021-06-30 15:52:19 +02:00
crypto-facs
6bd5263515
rpc: Add totalGasUSed to block_results response ( #308 )
2021-06-24 15:01:36 +00:00
Callum Waters
c2908ef785
release: prepare changelog for v0.34.11 ( #6597 )
2021-06-18 11:44:39 +02:00
Callum Waters
d515bbcf1d
statesync: increase chunk priority and robustness ( #6582 )
2021-06-18 09:59:52 +02:00
mergify[bot]
be8c9833ca
state sync: tune request timeout and chunkers (backport #6566 ) ( #6581 )
...
* state sync: tune request timeout and chunkers (#6566 )
(cherry picked from commit 7d961b55b2alexanderbez@users.noreply.github.com >
Co-authored-by: Aleksandr Bezobchuk <aleks.bezobchuk@gmail.com >
2021-06-15 15:10:16 -04:00
Aleksandr Bezobchuk
89d381f7cf
update ResponseCheckTx ( #306 )
2021-06-07 09:35:47 -04:00
mergify[bot]
358b1f23c0
p2p/conn: check for channel id overflow before processing receive msg (backport #6522 ) ( #6528 )
...
* p2p/conn: check for channel id overflow before processing receive msg (#6522 )
Per tendermint spec, each Channel has a globally unique byte id, which
is mapped to uint8 in Go. However, the proto PacketMsg.ChannelID field
is declared as int32, and when receive the packet, we cast it to a byte
without checking for possible overflow. That leads to a malform packet
with invalid channel id is sent successfully.
To fix it, we just add a check for possible overflow, and return invalid
channel id error.
Fixed #6521
(cherry picked from commit 1f46a4c90e
2021-06-04 20:20:36 -04:00
Sam Kleinman
5559e14355
rpc: add chunked genesis endpoint ( #299 )
...
* rpc: add chunked genesis endpoint
* fix lint
* feedback
* add info about error
* fix lint
Co-authored-by: marbar3778 <marbar3778@yahoo.com >
2021-06-03 09:46:21 +00:00
Marko
a2a9ffbe7e
rpc: clarify timestamps ( #304 )
...
* clarify timestamps
* changelog entry
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2021-06-02 12:03:33 +00:00
Marko
c376b44f1c
Backport: #6494 ( #6506 )
...
* version: revert version through ldflag only (#6494 )
Add version back to versions, but allow it to be overridden via a ldflag.
Reason:
Many users are not setting the ldflag causing issues with tooling that relies on it (cosmjs)
closes #6488
cc @webmaster128
* revert variable rename
* Update CHANGELOG_PENDING.md
2021-05-31 21:15:12 +00:00
Marko
8dd91a7ac3
add a changelog to track changes ( #303 )
...
* add a changelog to track changes
* Update CHANGELOG.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2021-05-27 11:04:37 +00:00
Yixin Luo
f3216e6953
rename HasVote to ReceivedVote ( #289 )
2021-05-25 07:42:30 +00:00
dependabot[bot]
90434cb74d
build(deps): bump actions/stale from 3.0.18 to 3.0.19 ( #302 )
...
Bumps [actions/stale](https://github.com/actions/stale ) from 3.0.18 to 3.0.19.
- [Release notes](https://github.com/actions/stale/releases )
- [Commits](https://github.com/actions/stale/compare/v3.0.18...v3.0.19 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-05-25 07:37:38 +00:00
dependabot[bot]
aba090a69a
build(deps): bump actions/stale from 3 to 3.0.18 ( #300 )
...
Bumps [actions/stale](https://github.com/actions/stale ) from 3 to 3.0.18.
- [Release notes](https://github.com/actions/stale/releases )
- [Commits](https://github.com/actions/stale/compare/v3...v3.0.18 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-05-20 10:50:56 +00:00
Sam Kleinman
048f6a32f9
lint: fix lint errors ( #301 )
2021-05-12 18:33:24 -04:00
MengXiangJian
4a9bcebe2a
fix message type for block-sync ( #298 )
2021-05-12 11:28:40 +02:00
Callum Waters
8dd8a4e8ea
libs/os: avoid CopyFile truncating destination before checking if regular file (backport: #6428 ) ( #6436 )
2021-05-10 13:24:33 +02:00
Jordan Sexton
4b79bccc0b
Fixed a broken link ( #291 )
2021-05-07 14:29:12 -04:00
Giuliano
292828a01b
A few improvements to the Ivy proof ( #288 )
...
* Avoid quantifier alternation cycle
The problematic quantifier alternation cycle arose because the
definition of accountability_violation was unfolded.
This commit also restructures the induction proof for clarity.
* add count_lines.sh
* fix typo and add forgotten complete=fo in comment
Co-authored-by: Giuliano <giuliano@eic-61-11.galois.com >
2021-05-04 14:28:07 +02:00
Marko
5dfaa54350
rpc: define spec for RPC ( #276 )
...
* add rpc spec and support outline
* add json
* add more routes remove unneeded ones
* add rest of rpc endpoints
* add jsonrpc calls
* add more jsonrpc calls
* fix blockchain
* cleanup unused links and add links to repos
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* add missing param from consensus param
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* fix cast and add doc to readme
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Marko Baricevic <markobaricevic@Fergalicious.local >
2021-04-27 09:25:32 +00:00
Ethan Buchman
00446bb9f4
Update README.md ( #286 )
2021-04-23 19:52:48 +00:00
Callum Waters
255942e8c7
p2p: update state sync messages for reverse sync ( #285 )
2021-04-23 13:22:09 +02:00
mergify[bot]
353e3a3243
evidence: fix bug with hashes (backport #6375 ) ( #6381 )
2021-04-22 15:05:56 +02:00
Tess Rinearson
a9b4fac610
.github: make core team codeowners ( #6384 )
2021-04-21 13:38:07 -07:00
mergify[bot]
1614e12035
statesync: improve e2e test outcomes (backport #6378 ) ( #6380 )
...
(cherry picked from commit d36a5905a6garen@tychoish.com >
2021-04-21 12:30:17 -04:00
Callum Waters
84ee4249ae
core: update a few sections ( #284 )
2021-04-20 10:21:27 +02:00
Callum Waters
b39af911ae
RFC: ReverseSync - fetching historical data ( #224 )
2021-04-19 17:02:09 +02:00
Tess Rinearson
68eceda0b5
changelog: update for 0.34.10 ( #6357 )
2021-04-14 13:46:14 -07:00
Callum Waters
b878326396
e2e: relax timeouts ( #6356 )
...
* remove duplicate light error
* quieten handling of txs that already exist in the mempool
* notch back e2e timeouts
2021-04-14 19:53:54 +02:00
mergify[bot]
693e11c6c6
e2e: tx load to use broadcast sync instead of commit (backport #6347 ) ( #6352 )
2021-04-14 10:09:49 +02:00
mergify[bot]
6cc3e23a95
light: handle too high errors correctly (backport #6346 ) ( #6351 )
2021-04-13 14:46:54 +02:00
Callum Waters
a9ac63510d
p2p: fix using custom channels ( #6339 )
2021-04-13 14:05:36 +02:00
