Sam Kleinman and GitHub
e44ab95f2f
core: text cleanup ( #332 )
2021-08-18 13:14:38 -04:00
Mateusz Górski and GitHub
4c3339ab6a
Update supervisor_001_draft.md ( #334 )
2021-08-18 10:45:58 +00:00
Sam Kleinman and GitHub
1e985f6226
rpc: update peer format in specification in NetInfo operation ( #331 )
2021-08-16 08:54:23 -04:00
Callum Waters and GitHub
72adbf9cc9
statesync: new messages for gossiping consensus params ( #328 )
2021-08-09 15:41:44 +02:00
Callum Waters and GitHub
8029cf7a0f
evidence: add section explaining evidence ( #324 )
2021-08-03 11:14:28 +02:00
Callum Waters and GitHub
ed7fa80693
stale bot: ignore issues ( #325 )
2021-07-22 11:11:04 +02:00
Marko and GitHub
8f9cd23016
update proto files for release ( #318 )
2021-07-16 14:45:02 +00:00
Callum Waters and GitHub
24f22eeb52
address discrepancies between spec and implementation ( #322 )
2021-07-16 12:49:15 +02:00
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 and GitHub
0ff67d6b1e
update spec to reference currently used timestamp type ( #317 )
2021-07-14 17:10:49 -04:00
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 and GitHub
6039594121
add new pex messages ( #312 )
2021-07-07 12:48:19 +02:00
Giuliano and GitHub
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
crypto-facs and GitHub
6bd5263515
rpc: Add totalGasUSed to block_results response ( #308 )
2021-06-24 15:01:36 +00:00
Aleksandr Bezobchuk and GitHub
89d381f7cf
update ResponseCheckTx ( #306 )
2021-06-07 09:35:47 -04:00
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
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
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 and GitHub
f3216e6953
rename HasVote to ReceivedVote ( #289 )
2021-05-25 07:42:30 +00:00
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
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 and GitHub
048f6a32f9
lint: fix lint errors ( #301 )
2021-05-12 18:33:24 -04:00
MengXiangJian and GitHub
4a9bcebe2a
fix message type for block-sync ( #298 )
2021-05-12 11:28:40 +02:00
Jordan Sexton and GitHub
4b79bccc0b
Fixed a broken link ( #291 )
2021-05-07 14:29:12 -04:00
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
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 and GitHub
00446bb9f4
Update README.md ( #286 )
2021-04-23 19:52:48 +00:00
Callum Waters and GitHub
255942e8c7
p2p: update state sync messages for reverse sync ( #285 )
2021-04-23 13:22:09 +02:00
Callum Waters and GitHub
84ee4249ae
core: update a few sections ( #284 )
2021-04-20 10:21:27 +02:00
Callum Waters and GitHub
b39af911ae
RFC: ReverseSync - fetching historical data ( #224 )
2021-04-19 17:02:09 +02:00
0dc5d4df07
ABCI++ RFC ( #254 )
...
* ABCI++ RFC
This commit adds an RFC for ABCI++, which is a collection of three new phases of communication between the consensus engine and the application.
Co-authored-by: Sunny Aggarwal <sunnya97@protonmail.ch >
* Fix bugs pointed out by @liamsi
* Update rfc/004-abci++.md
Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com >
* Fix markdown lints
* Update rfc/004-abci++.md
Co-authored-by: Ismail Khoffi <Ismail.Khoffi@gmail.com >
* Update rfc/004-abci++.md
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
* Update rfc/004-abci++.md
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
* Add information about the rename in the context section
* Bold RFC
* Add example for self-authenticating vote data
* More exposition of the term IPC
* Update pros / negatives
* Fix sentence fragment
* Add desc for no-ops
Co-authored-by: Sunny Aggarwal <sunnya97@protonmail.ch >
Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com >
Co-authored-by: Ismail Khoffi <Ismail.Khoffi@gmail.com >
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
2021-04-09 10:33:45 +00:00
Sam Kleinman and GitHub
ea8238f090
abci: reorder sidebar ( #282 )
2021-04-06 06:59:57 +00:00
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 >
2021-03-23 16:40:21 +01:00
Marko and GitHub
5c32ebcda8
p2p: links ( #268 )
...
* fix links
* fix more links
2021-03-23 11:13:42 +00:00
b2465e0c3a
genesis: Explain fields in genesis file ( #270 )
...
* describe the genesis
* Update spec/core/genesis.md
Co-authored-by: Dev Ojha <ValarDragon@users.noreply.github.com >
* Apply suggestions from code review
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* add wording on app_state
* Update spec/core/genesis.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Dev Ojha <ValarDragon@users.noreply.github.com >
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2021-03-23 10:13:02 +00:00
Marko and GitHub
9f6a4bcf23
readme: cleanup ( #262 )
...
* modify readme
* add rfc and proto
* add rust=spec back to avoid breakage
* lint readme
2021-03-17 13:51:10 +00:00
Ethan Buchman and GitHub
b4a31746dd
Fix list of RFCs ( #266 )
2021-03-17 08:43:54 +01:00
Marko and GitHub
b270ab8d15
spec: merge rust-spec ( #252 )
2021-03-01 08:54:08 +00:00
227e5269ca
abci: note on concurrency ( #258 )
...
Co-authored-by: Marko <marbar3778@yahoo.com >
2021-02-26 10:30:09 +00:00
Marko and GitHub
b315f04980
proto: modify height int64 to uint64 ( #253 )
2021-02-16 13:06:00 +00:00
abaffef912
proto: add files ( #246 )
...
Co-authored-by: Erik Grinaker <erik@interchain.berlin >
2021-01-28 12:10:22 +00:00
Marko and GitHub
038f3e025a
params: remove block timeiota ( #248 )
2021-01-27 11:29:54 +00:00
Igor Konnov and GitHub
2f590a6392
non-critical bugfix in the TLA+ spec (found by new version of apalache) ( #244 )
2021-01-21 11:50:06 +01:00
72d15a4b07
spec: remove reactor section ( #242 )
...
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
2021-01-19 16:28:05 +01:00
Josef Widder and GitHub
1b2b24055c
Update supervisor_001_draft.md ( #243 )
2021-01-15 13:39:36 +01:00
Marko and GitHub
d260ff3e37
abci: rewrite to proto interface ( #237 )
2021-01-12 15:15:37 +01:00
Marko and GitHub
a4672048e7
reactors: remove bcv1 ( #241 )
2021-01-11 18:23:40 +01:00
Marko and GitHub
fc569173a1
layout: add section titles ( #240 )
2021-01-11 18:23:18 +01:00
ce146d00d7
build(deps): bump gaurav-nelson/github-action-markdown-link-check ( #239 )
...
Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check ) from 1.0.11 to 1.0.12.
- [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.11...0fe4911067fa322422f325b002d2038ba5602170 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-01-11 12:12:49 +01:00
Anton Kaliaev and GitHub
439a5bcacb
p2p: update frame size ( #235 )
...
Reflect the change made in https://github.com/tendermint/tendermint/pull/5805
The MTU (Maximum Transmission Unit) for Ethernet is 1500 bytes.
The IP header and the TCP header take up 20 bytes each at least (unless
optional header fields are used) and thus the max for (non-Jumbo frame)
Ethernet is 1500 - 20 -20 = 1460
Source: https://stackoverflow.com/a/3074427/820520
2020-12-18 12:19:38 +01:00
Sam KleinmanandGitHub
Mateusz GórskiandGitHub
Callum WatersandGitHub
MarkoandGitHub
William BanfieldandGitHub
GiulianoandGitHub
crypto-facsandGitHub
Aleksandr BezobchukandGitHub
Yixin LuoandGitHub
MengXiangJianandGitHub
Jordan SextonandGitHub
Ethan BuchmanandGitHub
Igor KonnovandGitHub
Anton KaliaevandGitHub