-
Notifications
You must be signed in to change notification settings - Fork 636
Remove unused code #286
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove unused code #286
Conversation
* Initial commit * Add three timeouts and align pseudocode better with existing algorithm * Align protocol with Tendermint code and add find valid value mechanism * Prepare to Nuke Develop (cometbft#47) * state -> step * vote -> v * New version of the algorithm and the proof * New version of the algorithm and the proofs * Added algorithm description * Add algorithm description * Add introduction * Add conclusion * Add conclusion file * fix warnings (caption was defined twice) - only the latter is used anyways (centers captions) - this makes it possible to autom. building the paper * Update grammar * s/state_p/step_p * Address Ismail's comments * intro: language fixes * definitions: language fixes * consensus: various fixes * proof: some fixes * try to improve reviewability * \eq -> = * textwrap to 79 * various minor fixes * proof: fix itemization * proof: more minor fixes * proof: timeouts are functions * proof: fixes to lemma6 * Intro changes and improve title page * Add Marko and Ming to acks * add readme * Format algorithm correctly Clarify condition semantic and timeouts Improve descriptions * patform -> platform * Ensure that rules are mutually exclusive - various clarifications and small improvements * Release v0.6 * small nits for smoother readability * This PR is to create signed commits to be able to merge (cometbft#50) Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * Add consesnus and blockchain specs, (cometbft#52) - Open questions - Do we want to split lite client work from consesnsus - From the blockchain spec, is encoding nessecary in the spec Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * Add ABCI SPEC (cometbft#51) - move the abci spec from tendermint to spec repo Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * spec/consensus/signing: add more details about nil and amnesia (cometbft#54) - Add more details about nil votes and about amnesia attacks Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * Add Section for P2P (cometbft#53) * Add Section for P2P - moved over the section on p2p Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * add some more files Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * Fix model section * Add non-recursive specification of Bisection algorithm - Fix timing issues by introducing Delta parameter * spec: update spec with tendermint updates (cometbft#62) * spec: update spec with tendermint updates - this in preperation of deleting the spec folder in docs in tendermint/tendermint Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * spec: added in reactors & p2p Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * spec: update readme in spec to comply with docs site Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * docs: addded more changes from tednermint/tendermint Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * reflect breaking changes made to Commit (cometbft#63) * reflect breaking changes made to Commit PR: tendermint/tendermint#4146 Issue: tendermint/tendermint#1648 * types: rename Commit#Precommits to Signatures * update BlockIDFlagAbsent comment * remove iota * Clean up error conditions and simplify pseudocode * Apply suggestions from code review Co-Authored-By: Anca Zamfir <ancazamfir@users.noreply.github.com> * Add spec doc about unconditional_peer, persistent_peers_max_dial of ADR-050 (cometbft#68) * Add spec doc about unconditional_peer_ids, persistent_peers_max_dial_period of ADR-050 * Add indefinitely dialing condition * Add sr25519 amino documentation (cometbft#67) * sr25519 amino * Update spec/blockchain/encoding.md Co-Authored-By: Marko <marbar3778@yahoo.com> * some suggestions for pseuodocode changes * Improved error handling * Add explanation on difference between trusted models * Address reviewer's comments * Addressing reviewer's comments * Separating algorithm from proofs * Intermediate commit (aligning spec with the code) * Removing Store from API and providing end-to-end timing guarantees * Address reviewer comment's. Intermediate commit * light client dir and readmes * titles * add redirects * add diagram * detection TODO * fix image * update readme * Aligh the correctness arguments with the pseudocode changes * lite->light * Fix link in readme ./light -> ./light-client * p2p: Merlin based malleability fixes (cometbft#72) * Update the secret connection spec with the use of merlin to eliminte handshake malleability * Update spec/p2p/peer.md Co-Authored-By: Anton Kaliaev <anton.kalyaev@gmail.com> * Update spec/p2p/peer.md Co-Authored-By: Anton Kaliaev <anton.kalyaev@gmail.com> * Update spec/p2p/peer.md Co-Authored-By: Anton Kaliaev <anton.kalyaev@gmail.com> Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com> * docs: update specs to remove cmn (cometbft#77) - cmn was remvoed in favor of sub pkgs. cmn.kvpair is now kv.pair Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * evidence: Add time to evidence params (cometbft#69) * evidence: Add time to evidence params - this pr is grouped together with tendermint/tendermint#4254, once that PR is merged then this one can be as well. Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * remove note Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * Apply suggestions from code review Co-Authored-By: Anton Kaliaev <anton.kalyaev@gmail.com> Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com> * update link to the pex reactor * add markdown link checker * changed tab spacing * removed folder-path flag * first attempt at fixing all links * second attempt at fixing all links * codeowners: add code owners (cometbft#82) * codeowners: add code owners - added some codeowners please comment if youd like to be added as well. Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * remove comment of repo maintainers * remove .idea dir (cometbft#83) Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * RFC-001: configurable block retention (cometbft#84) * Added RFC for truncated block history coordination * Clarified minimum block retention * Added hard checks on block retention and snapshot interval, and made some minor tweaks * Genesis parameters are immutable * Use local config for snapshot interval * Reordered parameter descriptions * Clarified local config option for snapshot-interval * rewrite for ABCI commit response * Renamed RFC * add block retention diagram * Removed retain_blocks table * fix image numbers * resolved open questions * image quality * accept RFC-001 (cometbft#86) * abci: add basic description of ABCI Commit.ResponseHeight (cometbft#85) Documentation for block pruning, once it's merged: tendermint/tendermint#4588. Minimum documentation, for now - we probably shouldn't encourage using this feature too much until we release state sync. * abci: add MaxAgeNumBlocks/MaxAgeDuration to EvidenceParams (cometbft#87) * abci: update MaxAgeNumBlocks & MaxAgeDuration docs (cometbft#88) * document state sync ABCI interface and P2P protocol (cometbft#90) The corresponding Tendermint PRs are tendermint/tendermint#4704 and tendermint/tendermint#4705. * Revert "document state sync ABCI interface and P2P protocol (cometbft#90)" (cometbft#92) This reverts commit 9842b4b. * blockchain: change validator set sorting method (cometbft#91) * abci: specify sorting of RequestInitChain.Validators * blockchain: change validator sorting method Refs tendermint/tendermint#2478 * reactors/pex: specify hash function (cometbft#94) https://github.com/tendermint/tendermint/pull/4810/files * document state sync ABCI interface and P2P protocol (cometbft#93) * Revert "Revert "document state sync ABCI interface and P2P protocol (cometbft#90)" (cometbft#92)" This reverts commit 90797ce. * update with new enum case * fix links Co-authored-by: Erik Grinaker <erik@interchain.berlin> * Update evidence params with MaxNum (cometbft#95) evidence params now includes maxNum which is the maximum number of evidence that can be committed on a single block * reactors/pex: masked IP is used as group key (cometbft#96) * spec: add ProofTrialPeriod to EvidenceParam (cometbft#99) * spec: modify Header.LastResultsHash (cometbft#97) Refs: tendermint/tendermint#1007 PR: tendermint/tendermint#4845 * spec: link to abci server implementations (cometbft#100) * spec: update evidence in blockchain.md (cometbft#108) now evidence reflects the actual evidence present in the tendermint repo * abci: add AppVersion to ConsensusParams (cometbft#106) * abci: tweak node sync estimate (cometbft#115) * spec/abci: expand on Validator#Address (cometbft#118) Refs tendermint/tendermint#3732 * blockchain: rename to core (cometbft#123) * blockchain: remove duplicate evidence sections (cometbft#124) * spec/consensus: canonical vs subjective commit Refs tendermint/tendermint#2769 * Apply suggestions from code review Co-authored-by: Igor Konnov <igor.konnov@gmail.com> * update spec with the removal of phantom validator evidence (cometbft#126) * bring blockchain back * add correct links * spec: revert event hashing (cometbft#132) * Evidence time is sourced from block time (cometbft#138) * RFC-002: non-zero genesis (cometbft#119) * abci: add ResponseInitChain.app_hash (cometbft#140) * update hashing of empty inputs, and initial block LastResultsHash (cometbft#141) * update evidence verification (cometbft#139) * accept RFC-002 (cometbft#142) * add description of arbitrary initial height (cometbft#135) * update ResponseInitChain.app_hash description (cometbft#143) * remove unused directories and update README (cometbft#145) This change removes unused directories (`papers` and `research`) and updates the README to reflect our strategy for merging the informalsystems/tendermint-rs specs into this repository. Partially addresses cometbft#121. * ci: add markdown linter (cometbft#146) * ci: add dependabot config (cometbft#148) * build(deps): bump gaurav-nelson/github-action-markdown-link-check from 0.6.0 to 1.0.7 (cometbft#149) Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check) from 0.6.0 to 1.0.7. Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * docs: add sections to abci (cometbft#150) * spec: update abci events (cometbft#151) * spec: extract light-client to its own directory (cometbft#152) Co-authored-by: Callum Waters <cmwaters19@gmail.com> * spec: remove evidences (cometbft#153) * add a stale bot (cometbft#134) * Current versions of light client specs from tendermint-rs (cometbft#158) * current versions of light client specs from tendermint-rs * markdown lint * linting * links * links * links Co-authored-by: Marko Baricevic <marbar3778@yahoo.com> * Fastsync spec from tendermint-rs (cometbft#157) * fastsync spec from tendermint-rs * fixed broken link * fixed linting * more fixes * markdown lint * move fast_sync to rust-spec Co-authored-by: Marko Baricevic <marbar3778@yahoo.com> * Update README.md (cometbft#160) * spec/reactors/mempool: batch txs per peer (cometbft#155) * spec/reactors/mempool: batch txs per peer Refs tendermint/tendermint#625 * update * spec: Light client attack detector (cometbft#164) * start with new detection and evidence spec * more definitions at top * sketch of functions * pre post draft * evidence proof * typo * evidence theory polished * some TODOs resolved * more TODOs * links * second to last revision before PR * links * I will read once more and then make a PR * removed peer handling definitions * secondary * ready to review * detector ready for review * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md * skip-trace * PossibleCommit explained * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * comments by Zarko * renamed and changed link in README Co-authored-by: Zarko Milosevic <zarko@informal.systems> * fixed an overlooked conflict (cometbft#167) * describe valset sorting according to v0.34 requirements (cometbft#169) * evidence: update data structures (cometbft#165) * fix markdown linter (cometbft#172) * TLA+ specs from MBT revision (cometbft#173) * remove setOption (cometbft#181) * spec: protobuf changes (cometbft#156) Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com> * first check latest with secondary (cometbft#184) * Extending the blockchain specification (in the light client) to produce different ratios of faults (cometbft#183) * cleaning unused definitions * introduced the ratio of faulty proc 10000 esses * Update README.md (cometbft#185) * build(deps): bump gaurav-nelson/github-action-markdown-link-check from 1.0.7 to 1.0.8 (cometbft#188) Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check) from 1.0.7 to 1.0.8. - [Release notes](https://github.com/gaurav-nelson/github-action-markdown-link-check/releases) - [Commits](gaurav-nelson/github-action-markdown-link-check@1.0.7...e3c371c) Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * spec: update light client verification to match supervisor (cometbft#171) * VDD renaming of verification spec + links fixed * latest() * backwards * added TODOs * link in old file to new name * better text * revision done. needs one more round of reading * renamed constants in 001 according to TLA+ and impl * ready for PR * forgot linting * Update rust-spec/lightclient/verification/verification_002_draft.md * Update rust-spec/lightclient/verification/verification_002_draft.md * added lightstore function needed for supervisor * added lightstore functions for supervisor * ident * Update rust-spec/lightclient/verification/verification_002_draft.md * github: issue template for proposals (cometbft#190) * Sequential Supervisor (cometbft#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> * RFC: adopt zip 215 (cometbft#144) Co-authored-by: Robert Zaremba <robert@zaremba.ch> * Core: move validation & data structures together (cometbft#176) Co-authored-by: Callum Waters <cmwaters19@gmail.com> * docs: make blockchain not viewable (cometbft#211) * evidence: update data structures to reflect added support of abci evidence (cometbft#213) * encoding: add secp, ref zip215, tables (cometbft#212) * Detector English Spec ready (cometbft#215) Add detector English spec * add Ivy proofs (cometbft#210) * add Ivy proofs * fix docker-compose command * Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec (cometbft#216) Add light client detector spec in TLA+ * abci: lastcommitinfo.round extra sentence (cometbft#221) * abci: add abci_version to requestInfo (cometbft#223) * BFT requires _less than_ 1/3 faulty validators (cometbft#228) Thanks fo spotting the imprecision in the text, @shahankhatch ! * Draft of evidence handling for discussion (cometbft#225) * start with accountability deliverable * problem statement * draft function * quite complete draft. ready to discuss with Igor * Update isolate-attackers_001_draft.md * Update isolate-attackers_001_draft.md * Update isolate-attackers_001_draft.md * Update isolate-attackers_001_draft.md * Update isolate-attackers_001_draft.md * ready for TLA+ to take over * isolate * isolateamnesiatodos * Update isolate-attackers_001_draft.md * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md Co-authored-by: Igor Konnov <konnov@forsyte.at> * The TLA+ specification of the attackers detection (cometbft#231) * the working attackers isolation spec, needs more comments * the TLA+ spec of the attackers isolation * build(deps): bump gaurav-nelson/github-action-markdown-link-check (cometbft#233) Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check) from 1.0.8 to 1.0.11. - [Release notes](https://github.com/gaurav-nelson/github-action-markdown-link-check/releases) - [Commits](gaurav-nelson/github-action-markdown-link-check@1.0.8...2a60e0f) Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * Computing attack types (cometbft#232) Add light attack evidence handling * Update README.md (cometbft#234) * p2p: update frame size (cometbft#235) Reflect the change made in tendermint/tendermint#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 * build(deps): bump gaurav-nelson/github-action-markdown-link-check (cometbft#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](gaurav-nelson/github-action-markdown-link-check@1.0.11...0fe4911) Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * layout: add section titles (cometbft#240) * reactors: remove bcv1 (cometbft#241) * abci: rewrite to proto interface (cometbft#237) * Update supervisor_001_draft.md (cometbft#243) * spec: remove reactor section (cometbft#242) Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com> * non-critical bugfix in the TLA+ spec (found by new version of apalache) (cometbft#244) * params: remove block timeiota (cometbft#248) * proto: add files (cometbft#246) Co-authored-by: Erik Grinaker <erik@interchain.berlin> * proto: modify height int64 to uint64 (cometbft#253) * abci: note on concurrency (cometbft#258) Co-authored-by: Marko <marbar3778@yahoo.com> * spec: merge rust-spec (cometbft#252) * Fix list of RFCs (cometbft#266) * readme: cleanup (cometbft#262) * modify readme * add rfc and proto * add rust=spec back to avoid breakage * lint readme * genesis: Explain fields in genesis file (cometbft#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> * p2p: links (cometbft#268) * fix links * fix more links * Proposer-based timestamp specification (cometbft#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> * abci: reorder sidebar (cometbft#282) * ABCI++ RFC (cometbft#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> * RFC: ReverseSync - fetching historical data (cometbft#224) * core: update a few sections (cometbft#284) * p2p: update state sync messages for reverse sync (cometbft#285) * Update README.md (cometbft#286) * rpc: define spec for RPC (cometbft#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> * A few improvements to the Ivy proof (cometbft#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> * Fixed a broken link (cometbft#291) * fix message type for block-sync (cometbft#298) * lint: fix lint errors (cometbft#301) * build(deps): bump actions/stale from 3 to 3.0.18 (cometbft#300) Bumps [actions/stale](https://github.com/actions/stale) from 3 to 3.0.18. - [Release notes](https://github.com/actions/stale/releases) - [Commits](actions/stale@v3...v3.0.18) Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * build(deps): bump actions/stale from 3.0.18 to 3.0.19 (cometbft#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](actions/stale@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> * rename HasVote to ReceivedVote (cometbft#289) * add a changelog to track changes (cometbft#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> * rpc: clarify timestamps (cometbft#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> * rpc: add chunked genesis endpoint (cometbft#299) * rpc: add chunked genesis endpoint * fix lint * feedback * add info about error * fix lint Co-authored-by: marbar3778 <marbar3778@yahoo.com> * update ResponseCheckTx (cometbft#306) * rpc: Add totalGasUSed to block_results response (cometbft#308) * Add C++ code generation and test scenario (cometbft#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 * add new pex messages (cometbft#312) * build(deps): bump gaurav-nelson/github-action-markdown-link-check (cometbft#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](gaurav-nelson/github-action-markdown-link-check@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> * update spec to reference currently used timestamp type (cometbft#317) * build(deps): bump actions/stale from 3.0.19 to 4 (cometbft#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](actions/stale@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> * address discrepancies between spec and implementation (cometbft#322) * update proto files for release (cometbft#318) * stale bot: ignore issues (cometbft#325) * evidence: add section explaining evidence (cometbft#324) * statesync: new messages for gossiping consensus params (cometbft#328) * rpc: update peer format in specification in NetInfo operation (cometbft#331) * Update supervisor_001_draft.md (cometbft#334) * core: text cleanup (cometbft#332) * abci: clarify what abci stands for (cometbft#336) * abci: clarify what abci stands for * link to abci type protos. * abci: clarify connection use in-process (cometbft#337) * abci: clarify connection use in-process * Update abci.md * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * invert abci explanations * lint++ * lint++ * lint++ * lint++ Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * proto: move proto files under the correct directory related to their package name (cometbft#344) * abci.md fixup (cometbft#339) * abci: points of clarification ahead of v0.1.0 * lint++ * typo * lint++ * double word score * grammar * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update spec/abci/abci.md Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * pr feedback * wip * update non-zero status code docs * fix event description * update CheckTx description Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * Update supervisor_001_draft.md (cometbft#333) * Update supervisor_001_draft.md If the only node in the *FullNodes* set is the primary, that was just deemed faulty, we can't find honest primary. * Update supervisor_001_draft.md * light: update initialization description (cometbft#320) * apps.md fixups (cometbft#341) * wip * wip * wip * remove comments in favor of gh comments * wip * udpates to language, should must etc * Apply suggestions from code review Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * remove tendermint cache description Co-authored-by: M. J. Fromberger <fromberger@interchain.io> * proto: add tendermint go changes (cometbft#349) * add missed proto files * add abci changes * rename blockchain to blocksync * Update proto/tendermint/abci/types.proto Co-authored-by: Callum Waters <cmwaters19@gmail.com> Co-authored-by: Callum Waters <cmwaters19@gmail.com> * fix mockery generation script (#9094) Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> Co-authored-by: Milosevic, Zarko <zare.milosevic@gmail.com> Co-authored-by: Milosevic, Zarko <zare.milosevic@sicpa.com> Co-authored-by: Zarko Milosevic <zarko@tendermint.com> Co-authored-by: Marko <marbar3778@yahoo.com> Co-authored-by: Zarko Milosevic <zarko@interchain.io> Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com> Co-authored-by: Anca Zamfir <ancazamfir@users.noreply.github.com> Co-authored-by: dongsamb <dongsamb@gmail.com> Co-authored-by: Sunny Aggarwal <sunnya97@gmail.com> Co-authored-by: Anca Zamfir <anca@interchain.io> Co-authored-by: Ethan Buchman <ethan@coinculture.info> Co-authored-by: Zarko Milosevic <zarko@informal.systems> Co-authored-by: Ismail Khoffi <Ismail.Khoffi@gmail.com> Co-authored-by: Zaki Manian <zaki@tendermint.com> Co-authored-by: Erik Grinaker <erik@interchain.berlin> Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com> Co-authored-by: Alexander Simmerl <a.simmerl@gmail.com> Co-authored-by: Igor Konnov <igor.konnov@gmail.com> Co-authored-by: Sean Braithwaite <brapse@gmail.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> Co-authored-by: Andrey Kuprianov <59489470+andrey-kuprianov@users.noreply.github.com> Co-authored-by: Igor Konnov <konnov@forsyte.at> Co-authored-by: Sam Hart <sam@hxrts.com> Co-authored-by: Robert Zaremba <robert@zaremba.ch> Co-authored-by: Giuliano <giuliano@losa.fr> Co-authored-by: Shahan Khatchadourian <shahan.k.code@gmail.com> Co-authored-by: Dev Ojha <ValarDragon@users.noreply.github.com> Co-authored-by: istoilkovska <anili100@gmail.com> Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com> Co-authored-by: Sam Kleinman <garen@tychoish.com> Co-authored-by: Sunny Aggarwal <sunnya97@protonmail.ch> Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com> Co-authored-by: Marko Baricevic <markobaricevic@Fergalicious.local> Co-authored-by: Giuliano <giuliano@eic-61-11.galois.com> Co-authored-by: Jordan Sexton <jordan@jordansexton.com> Co-authored-by: MengXiangJian <805442788@qq.com> Co-authored-by: Yixin Luo <18810541851@163.com> Co-authored-by: crypto-facs <84574577+crypto-facs@users.noreply.github.com> Co-authored-by: Giuliano <giuliano@galois.com> Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com> Co-authored-by: Mateusz Górski <goral09@users.noreply.github.com> Co-authored-by: M. J. Fromberger <fromberger@interchain.io> Co-authored-by: Thane Thomson <connect@thanethomson.com>
This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks, @hvanz, for pushing the code into a better shape.
The Node struct has been a concentrator of pointers to all major structs, entangling things. While the changes LGTM, I will defer to more senior members the decision to actually prune Node.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
// BlockStore returns the Node's BlockStore. | ||
func (n *Node) BlockStore() *store.BlockStore { | ||
return n.blockStore | ||
} | ||
|
||
// ConsensusState returns the Node's ConsensusState. | ||
func (n *Node) ConsensusState() *cs.State { | ||
return n.consensusState | ||
} | ||
|
||
// ConsensusReactor returns the Node's ConsensusReactor. | ||
func (n *Node) ConsensusReactor() *cs.Reactor { | ||
return n.consensusReactor | ||
} | ||
|
||
// MempoolReactor returns the Node's mempool reactor. | ||
func (n *Node) MempoolReactor() p2p.Reactor { | ||
return n.mempoolReactor | ||
} | ||
|
||
// Mempool returns the Node's mempool. | ||
func (n *Node) Mempool() mempl.Mempool { | ||
return n.mempool | ||
} | ||
|
||
// PEXReactor returns the Node's PEXReactor. It returns nil if PEX is disabled. | ||
func (n *Node) PEXReactor() *pex.Reactor { | ||
return n.pexReactor |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this should be a required change log, this breaks some tests in sdk and the changelog doesnt have anything
* Updated changelog with API changes in #286 * Cosmetic * Update .changelog/unreleased/breaking-changes/286-p2p.md Co-authored-by: Daniel <daniel.cason@informal.systems> * unclog build > CHANGELOG.md --------- Co-authored-by: Daniel <daniel.cason@informal.systems>
This reverts commit a2d9915. Signed-off-by: Thane Thomson <connect@thanethomson.com>
* Revert "Remove unused code (#286)" This reverts commit a2d9915. Signed-off-by: Thane Thomson <connect@thanethomson.com> * node: Remove access to consensus state Consensus state should only ever be accessible via the consensus reactor. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix mistake in changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com>
* Revert "Remove unused code (#286)" This reverts commit a2d9915. Signed-off-by: Thane Thomson <connect@thanethomson.com> * node: Remove access to consensus state Consensus state should only ever be accessible via the consensus reactor. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix mistake in changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> (cherry picked from commit 577cbcb)
) * node: Revert removal of public reactor accessors (#1120) * Revert "Remove unused code (#286)" This reverts commit a2d9915. Signed-off-by: Thane Thomson <connect@thanethomson.com> * node: Remove access to consensus state Consensus state should only ever be accessible via the consensus reactor. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix mistake in changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> (cherry picked from commit 577cbcb) * Revert "Updated changelog with API changes in #286 (#748)" This reverts commit 7a253f1. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Rebuild changelog with unreleased entries Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> Co-authored-by: Thane Thomson <connect@thanethomson.com>
* Revert "Remove unused code (#286)" This reverts commit a2d9915. Signed-off-by: Thane Thomson <connect@thanethomson.com> * node: Remove access to consensus state Consensus state should only ever be accessible via the consensus reactor. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix mistake in changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com>
…1010) * Move senders from txs to txSenders * Move resCbFirstTime to globalCb * Fix typo * Remove callback argument from CheckTx * Fix lint * make mocks * lock isSender * Change sync.Map for map with lock; add test * fix lint * comments * move senders to reactor and add txsRemoved channel * Record sender only on valid txs * fix MConnection panicked * notifyTxRemoved when removeAllTxs * Add TxsRemoved and EnableTxsRemoved to interface * Increase channel buffer size * forgot emptyMempool * Change Mempool interface * Revert "Change Mempool interface" This reverts commit d3468a1. * Simplify if/else * Channel buffer size * notify txRemoved even when txKey is not in txsMap * Remove redundant update to map * add callback for removing txs * Add tests * Use Mutex intead of RWMutex * Fix TestMempoolNoCacheOverflow * Fix lint * Fix TestMempoolTxConcurrentWithCommit * Fix TestReactorConcurrency * Comment * Remove references to implemenation details (cache) * Rename removeTxOnReactor * Comment * Rename removeFromCache * Comment * Remove test line forgotten in #934. * Comment * revert mempool test size * ci: Trigger workflows on merge group (#1118) Signed-off-by: Thane Thomson <connect@thanethomson.com> * Revert "config: add bootstrap peers (#9680)" (#1109) * Revert "config: add bootstrap peers (#9680)" This reverts commit f12588a. * docs/p2p: bootstrap_peers config flag removed * node: Revert removal of public reactor accessors (#1120) * Revert "Remove unused code (#286)" This reverts commit a2d9915. Signed-off-by: Thane Thomson <connect@thanethomson.com> * node: Remove access to consensus state Consensus state should only ever be accessible via the consensus reactor. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix mistake in changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * ci: Disable CodeQL check in merge queues (#1123) Signed-off-by: Thane Thomson <connect@thanethomson.com> * p2p: Remove UPnP functionality (#1114) * Remove UPnP functionality Signed-off-by: Thane Thomson <connect@thanethomson.com> * Update documentation and specs to reflect UPnP removal Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * ADR 107: Rename proto versions to pre-v1 betas (#1110) * ADR 107: Rename proto versions to pre-v1 betas * ADR 107: fix hyperlinks to ADR 103 * ADR 107: authorship of the revision Co-authored-by: Thane Thomson <connect@thanethomson.com> * ADR 107: change status to Accepted --------- Co-authored-by: Thane Thomson <connect@thanethomson.com> * RFC 104: Internal messaging using the actor model (#1092) * Add first draft Signed-off-by: Thane Thomson <connect@thanethomson.com> * Expand comment on actor receive method Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix grammar Signed-off-by: Thane Thomson <connect@thanethomson.com> * Emphasize/clarify conclusions Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * build(deps): Bump github.com/bufbuild/buf from 1.23.1 to 1.24.0 (#1131) Bumps [github.com/bufbuild/buf](https://github.com/bufbuild/buf) from 1.23.1 to 1.24.0. - [Release notes](https://github.com/bufbuild/buf/releases) - [Changelog](https://github.com/bufbuild/buf/blob/main/CHANGELOG.md) - [Commits](bufbuild/buf@v1.23.1...v1.24.0) --- updated-dependencies: - dependency-name: github.com/bufbuild/buf 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> * build(deps): Bump github.com/vektra/mockery/v2 from 2.31.1 to 2.32.0 (#1132) Bumps [github.com/vektra/mockery/v2](https://github.com/vektra/mockery) from 2.31.1 to 2.32.0. - [Release notes](https://github.com/vektra/mockery/releases) - [Changelog](https://github.com/vektra/mockery/blob/master/docs/changelog.md) - [Commits](vektra/mockery@v2.31.1...v2.32.0) --- updated-dependencies: - dependency-name: github.com/vektra/mockery/v2 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> * build(deps): Bump docker/setup-buildx-action from 2.9.0 to 2.9.1 (#1133) Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2.9.0 to 2.9.1. - [Release notes](https://github.com/docker/setup-buildx-action/releases) - [Commits](docker/setup-buildx-action@v2.9.0...v2.9.1) --- updated-dependencies: - dependency-name: docker/setup-buildx-action 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> * build(deps): Bump bufbuild/buf-setup-action from 1.23.1 to 1.24.0 (#1134) Bumps [bufbuild/buf-setup-action](https://github.com/bufbuild/buf-setup-action) from 1.23.1 to 1.24.0. - [Release notes](https://github.com/bufbuild/buf-setup-action/releases) - [Commits](bufbuild/buf-setup-action@v1.23.1...v1.24.0) --- updated-dependencies: - dependency-name: bufbuild/buf-setup-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> * spec: Add mempool specification in English and Quint (#997) * add mempool English and Quint specifications * some changes * Update spec/mempool/mempool.md Co-authored-by: Lasaro <lasaro@gmail.com> * Update spec/mempool/mempool.md Co-authored-by: Lasaro <lasaro@gmail.com> * small change to the text * add changelog entry * some minor fixes --------- Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> Co-authored-by: Lasaro <lasaro@gmail.com> * Add NewRandomTxs * Fix TestReactorTxSendersMultiNode * Fix TestDontExhaustMaxActiveIDs * Fix unused parameter * Add changelog * Update UPGRADING.md * Remove unused link in doc --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: Thane Thomson <connect@thanethomson.com> Co-authored-by: Daniel <daniel.cason@informal.systems> Co-authored-by: Mikhail Zabaluev <mikhail.zabaluev@gmail.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Pierre Sutra <0track@gmail.com> Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> Co-authored-by: Lasaro <lasaro@gmail.com>
* build(deps): Bump google.golang.org/grpc from 1.56.0 to 1.56.1 (#1028) Bumps [google.golang.org/grpc](https://github.com/grpc/grpc-go) from 1.56.0 to 1.56.1. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/grpc/grpc-go/releases">google.golang.org/grpc's releases</a>.</em></p> <blockquote> <h2>Release 1.56.1</h2> <ul> <li>client: handle empty address lists correctly in addrConn.updateAddrs</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/grpc/grpc-go/commit/5b67e5ea449ef0686a0c0b6de48cd4cb63e3db2a"><code>5b67e5e</code></a> Update version.go to v1.56.1 (<a href="https://redirect.github.com/grpc/grpc-go/issues/6386">#6386</a>)</li> <li><a href="https://github.com/grpc/grpc-go/commit/d0f5150384a87f9fcac488a9c18727a55b7354c1"><code>d0f5150</code></a> client: handle empty address lists correctly in addrConn.updateAddrs (<a href="https://redirect.github.com/grpc/grpc-go/issues/6354">#6354</a>) ...</li> <li><a href="https://github.com/grpc/grpc-go/commit/997c1ea101cc5d496d2b148388f1df49632a9171"><code>997c1ea</code></a> Change version to 1.56.1-dev (<a href="https://redirect.github.com/grpc/grpc-go/issues/6345">#6345</a>)</li> <li>See full diff in <a href="https://github.com/grpc/grpc-go/compare/v1.56.0...v1.56.1">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * docs: Added double quotes to /abci_query path param (#1015) Closes #666 This PR adds double quotes to `path` param of `/abci_query` endpoint. --- #### PR checklist - [ ] Tests written/updated - [ ] Changelog entry added in `.changelog` (we use [unclog](https://github.com/informalsystems/unclog) to manage our changelog) - [ ] Updated relevant documentation (`docs/` or `spec/`) and code comments * Update Docs with Finalize Block (#760) The PR closes issue #25 partially. Changes made: - Bump version v0.37 to v0.38 in docs. - Update docs to remove reference to `BeginBlock`, `EndBlock`, and `DeliverTx` and consolidate them into `FinalizeBlock.` - Minor changes to the formatting of docs. #### PR checklist - [ ] Tests written/updated - [ ] Changelog entry added in `.changelog` (we use [unclog](https://github.com/informalsystems/unclog) to manage our changelog) - [X] Updated relevant documentation (`docs/` or `spec/`) and code comments * Clarifies that processProposal may be called for set of transactions different from the one returned in the preceding prepareProposal (#1033) If a proposer fails after calling prepareProposal and before calling processProposal, then the following may happen upon restarting: - if failed before signing another message, then will invoke prepareProposal again, sign a new block, probably empty, and propose it; - if failed after signing a proposal but before writing the proposal message into the WAL, then will invoke prepareProposal and produce a new, probably empty block, [fail to sign it](https://github.com/cometbft/cometbft/blob/2789a59a9cc61c6ea56a6b266eeadf0f26ca2456/consensus/state.go#L1221), and not invoke processProposal; prevote timeouts will ensure the CometBFT is not stuck; - if failed after writing the proposal message to the WAL, then will invoke prepareProposal, produce a new, probably empty block, fail to sign it, and invoke processProposal with the block signed before crashing. --- #### PR checklist - [ ] Tests written/updated - [ ] Changelog entry added in `.changelog` (we use [unclog](https://github.com/informalsystems/unclog) to manage our changelog) - [x] Updated relevant documentation (`docs/` or `spec/`) and code comments * Update the annotation of part_set.go (#1056) * Update the annotation of part_set.go * Update types/part_set.go Co-authored-by: Sergio Mena <sergio@informal.systems> --------- Co-authored-by: Mansub Song <60084364+mansub1029@users.noreply.github.com> Co-authored-by: Sergio Mena <sergio@informal.systems> * build(deps): Bump docker/setup-buildx-action from 2.7.0 to 2.8.0 (#1071) Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2.7.0 to 2.8.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/docker/setup-buildx-action/releases">docker/setup-buildx-action's releases</a>.</em></p> <blockquote> <h2>v2.8.0</h2> <ul> <li>Only set specific flags for drivers supporting them by <a href="https://github.com/nicks"><code>@nicks</code></a> in <a href="https://redirect.github.com/docker/setup-buildx-action/pull/241">docker/setup-buildx-action#241</a></li> <li>Bump <code>@docker/actions-toolkit</code> from 0.5.0 to 0.6.0 in <a href="https://redirect.github.com/docker/setup-buildx-action/pull/242">docker/setup-buildx-action#242</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/docker/setup-buildx-action/compare/v2.7.0...v2.8.0">https://github.com/docker/setup-buildx-action/compare/v2.7.0...v2.8.0</a></p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/docker/setup-buildx-action/commit/16c0bc4a6e6ada2cfd8afd41d22d95379cf7c32a"><code>16c0bc4</code></a> Merge pull request <a href="https://redirect.github.com/docker/setup-buildx-action/issues/242">#242</a> from docker/dependabot/npm_and_yarn/docker/actions-to...</li> <li><a href="https://github.com/docker/setup-buildx-action/commit/ebcacb9c215cb8bc4ba7cccec124dccff3d1e06a"><code>ebcacb9</code></a> update generated content</li> <li><a href="https://github.com/docker/setup-buildx-action/commit/496a823b8b6830f678f75c108cabd9fa4e8ee8b7"><code>496a823</code></a> Bump <code>@docker/actions-toolkit</code> from 0.5.0 to 0.6.0</li> <li><a href="https://github.com/docker/setup-buildx-action/commit/a56031a493fd4c638a1ace23e03793012b196e65"><code>a56031a</code></a> Merge pull request <a href="https://redirect.github.com/docker/setup-buildx-action/issues/241">#241</a> from nicks/nicks/driver</li> <li><a href="https://github.com/docker/setup-buildx-action/commit/922550f064f2400e56cd09a069bec2bad59f9c84"><code>922550f</code></a> context: only append flags if we know the driver supports them</li> <li>See full diff in <a href="https://github.com/docker/setup-buildx-action/compare/v2.7.0...v2.8.0">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump github.com/vektra/mockery/v2 from 2.30.1 to 2.30.16 (#1064) Bumps [github.com/vektra/mockery/v2](https://github.com/vektra/mockery) from 2.30.1 to 2.30.16. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/vektra/mockery/releases">github.com/vektra/mockery/v2's releases</a>.</em></p> <blockquote> <h2>v2.30.16</h2> <h2>Changelog</h2> <ul> <li>15a4f69 <a href="https://redirect.github.com/vektra/mockery/issues/648">#648</a>: add tests</li> <li>2a69b15 <a href="https://redirect.github.com/vektra/mockery/issues/648">#648</a>: fix invalid code generation when interface method parameter's name is the same as interface name</li> <li>97cd18b Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/649">#649</a> from kozmod/bugfix/648_fix_method_args_generation</li> </ul> <h2>v2.30.15</h2> <h2>Changelog</h2> <ul> <li>d219b89 updates</li> </ul> <h2>v2.30.14</h2> <h2>Changelog</h2> <ul> <li>4f94538 updates</li> </ul> <h2>v2.30.13</h2> <h2>Changelog</h2> <ul> <li>f43a9bb updates to docs</li> </ul> <h2>v2.30.12</h2> <h2>Changelog</h2> <ul> <li>2810894 build docs only for minor version</li> </ul> <h2>v2.30.11</h2> <h2>Changelog</h2> <ul> <li>c5063c7 Correct typos in docs</li> <li>78607b7 Fixing links with versioned docs</li> <li>0fb1cfc Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/658">#658</a> from alexandear/correct-docs-typo</li> </ul> <h2>v2.30.10</h2> <h2>Changelog</h2> <ul> <li>adead84 Update mkdocs.yml</li> </ul> <h2>v2.30.9</h2> <h2>Changelog</h2> <ul> <li>55c3920 Update documentation.yml</li> </ul> <h2>v2.30.7</h2> <h2>Changelog</h2> <ul> <li>55c3920 Update documentation.yml</li> </ul> <h2>v2.30.6</h2> <h2>Changelog</h2> <ul> <li>567d722 Update documentation.yml</li> </ul> <h2>v2.30.5</h2> <h2>Changelog</h2> <ul> <li>44ddbc2 Update documentation.yml</li> </ul> <h2>v2.30.4</h2> <h2>Changelog</h2> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/vektra/mockery/commit/97cd18b791ceaa1034529996d25b8c686547c6f8"><code>97cd18b</code></a> Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/649">#649</a> from kozmod/bugfix/648_fix_method_args_generation</li> <li><a href="https://github.com/vektra/mockery/commit/15a4f692c3268bbb708029a31388c0a659f55813"><code>15a4f69</code></a> <a href="https://redirect.github.com/vektra/mockery/issues/648">#648</a>: add tests</li> <li><a href="https://github.com/vektra/mockery/commit/d219b89c55090bd7b619cfe51f07c2b618f5794f"><code>d219b89</code></a> updates</li> <li><a href="https://github.com/vektra/mockery/commit/4f94538c0b6be5f776f8e6df92999609a0f57286"><code>4f94538</code></a> updates</li> <li><a href="https://github.com/vektra/mockery/commit/f43a9bbf286f34474283999d87a9fffb691fe38c"><code>f43a9bb</code></a> updates to docs</li> <li><a href="https://github.com/vektra/mockery/commit/2810894c197e6d6727c6ca0659c3ed631f0d8b05"><code>2810894</code></a> build docs only for minor version</li> <li><a href="https://github.com/vektra/mockery/commit/78607b7fc4245c8e4b84f27f6f26939a233c3ede"><code>78607b7</code></a> Fixing links with versioned docs</li> <li><a href="https://github.com/vektra/mockery/commit/0fb1cfc9aa1c869e5a2596915e202415fa068851"><code>0fb1cfc</code></a> Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/658">#658</a> from alexandear/correct-docs-typo</li> <li><a href="https://github.com/vektra/mockery/commit/c5063c7dafe2c53fca6d6933ef2c7a14350977ee"><code>c5063c7</code></a> Correct typos in docs</li> <li><a href="https://github.com/vektra/mockery/commit/adead84f2a107641229c09e2802190b03f71b9ff"><code>adead84</code></a> Update mkdocs.yml</li> <li>Additional commits viewable in <a href="https://github.com/vektra/mockery/compare/v2.30.1...v2.30.16">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump bufbuild/buf-setup-action from 1.22.0 to 1.23.1 (#1072) Bumps [bufbuild/buf-setup-action](https://github.com/bufbuild/buf-setup-action) from 1.22.0 to 1.23.1. <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/bufbuild/buf-setup-action/commit/a2450ddf330ebcbbb88645837933e7141568fd09"><code>a2450dd</code></a> Release v1.23.1 (<a href="https://redirect.github.com/bufbuild/buf-setup-action/issues/136">#136</a>)</li> <li><a href="https://github.com/bufbuild/buf-setup-action/commit/f646321652fc8ee1a5a6f9d2075194024cbb53b0"><code>f646321</code></a> Release v1.23.0 (<a href="https://redirect.github.com/bufbuild/buf-setup-action/issues/135">#135</a>)</li> <li>See full diff in <a href="https://github.com/bufbuild/buf-setup-action/compare/v1.22.0...v1.23.1">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump github.com/bufbuild/buf from 1.22.0 to 1.23.1 (#1066) Bumps [github.com/bufbuild/buf](https://github.com/bufbuild/buf) from 1.22.0 to 1.23.1. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/bufbuild/buf/releases">github.com/bufbuild/buf's releases</a>.</em></p> <blockquote> <h2>v1.23.1</h2> <ul> <li>Fix issue where <code>buf beta graph</code> would not print modules within a workspace that had no dependencies or dependents.</li> <li>Fix issue where <code>buf beta graph</code> would print warnings for missing dependencies that were actually present.</li> </ul> <h2>v1.23.0</h2> <ul> <li>Add <code>buf beta graph</code> to print the dependency graph for a module in DOT format.</li> <li>Various small bug fixes.</li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/bufbuild/buf/blob/main/CHANGELOG.md">github.com/bufbuild/buf's changelog</a>.</em></p> <blockquote> <h2>[v1.23.1] - 2023-06-30</h2> <ul> <li>Fix issue where <code>buf beta graph</code> would not print modules within a workspace that had no dependencies or dependents.</li> <li>Fix issue where <code>buf beta graph</code> would print warnings for missing dependencies that were actually present.</li> </ul> <h2>[v1.23.0] - 2023-06-29</h2> <ul> <li>Add <code>buf beta graph</code> to print the dependency graph for a module in DOT format.</li> <li>Various small bug fixes.</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/bufbuild/buf/commit/3125036c1fae303b1276784fe0847238b6f18ee1"><code>3125036</code></a> Release v1.23.1 (<a href="https://redirect.github.com/bufbuild/buf/issues/2250">#2250</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/e2c264fc15dd7619e44f4200a420a30a17610d23"><code>e2c264f</code></a> Update AUR badge in README.md (<a href="https://redirect.github.com/bufbuild/buf/issues/2249">#2249</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/32d385edf4bc26cd4b20a7779bdc7dc4c3305caf"><code>32d385e</code></a> Update CHANGELOG.md (<a href="https://redirect.github.com/bufbuild/buf/issues/2248">#2248</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/6bc1e5f9ca3be98dec60c41f3b0a5b445e78b380"><code>6bc1e5f</code></a> Fix warning for buf beta graph (<a href="https://redirect.github.com/bufbuild/buf/issues/2246">#2246</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/c716da4d4d5d4300451c9f24f967603849986738"><code>c716da4</code></a> Cache node building in graph and add testing (<a href="https://redirect.github.com/bufbuild/buf/issues/2245">#2245</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/84d6e98c7482746988a63902cb9e9bf28cffd79a"><code>84d6e98</code></a> Fix buf graph for unattached nodes (<a href="https://redirect.github.com/bufbuild/buf/issues/2244">#2244</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/ae1b17c0d28fa5c6d4d217529c982a47dcb92758"><code>ae1b17c</code></a> Return to development (<a href="https://redirect.github.com/bufbuild/buf/issues/2243">#2243</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/3dd8008cba97773818238461d63dffb91196f860"><code>3dd8008</code></a> Release v1.23.0 (<a href="https://redirect.github.com/bufbuild/buf/issues/2242">#2242</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/82a1bbc2feb8a192f120714d00f966bb3f1aa9b2"><code>82a1bbc</code></a> Improve private/buf/dag (<a href="https://redirect.github.com/bufbuild/buf/issues/2240">#2240</a>)</li> <li><a href="https://github.com/bufbuild/buf/commit/27097590537d8f5e6def5feec5c63bfd090e48a5"><code>2709759</code></a> Update CHANGELOG.md (<a href="https://redirect.github.com/bufbuild/buf/issues/2239">#2239</a>)</li> <li>Additional commits viewable in <a href="https://github.com/bufbuild/buf/compare/v1.22.0...v1.23.1">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump google.golang.org/protobuf from 1.30.0 to 1.31.0 (#1065) Bumps google.golang.org/protobuf from 1.30.0 to 1.31.0. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump google.golang.org/grpc from 1.56.1 to 1.56.2 (#1101) Bumps [google.golang.org/grpc](https://github.com/grpc/grpc-go) from 1.56.1 to 1.56.2. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/grpc/grpc-go/releases">google.golang.org/grpc's releases</a>.</em></p> <blockquote> <h2>Release 1.56.2</h2> <ul> <li>status: To fix a panic, <code>status.FromError</code> now returns an error with <code>codes.Unknown</code> when the error implements the <code>GRPCStatus()</code> method, and calling <code>GRPCStatus()</code> returns <code>nil</code>. (<a href="https://redirect.github.com/grpc/grpc-go/issues/6374">#6374</a>)</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/grpc/grpc-go/commit/faab8736bf73291f92b867d5dae31c927d53d508"><code>faab873</code></a> Update version.go to v1.56.2 (<a href="https://redirect.github.com/grpc/grpc-go/issues/6432">#6432</a>)</li> <li><a href="https://github.com/grpc/grpc-go/commit/6b0b291d79831b1c8caafceec268b82c92253f96"><code>6b0b291</code></a> status: fix panic when servers return a wrapped error with status OK (<a href="https://redirect.github.com/grpc/grpc-go/issues/6374">#6374</a>) ...</li> <li><a href="https://github.com/grpc/grpc-go/commit/ed56401aa514462d5371713b8ec5c889da33953c"><code>ed56401</code></a> [PSM interop] Don't fail target if sub-target already failed (<a href="https://redirect.github.com/grpc/grpc-go/issues/6390">#6390</a>) (<a href="https://redirect.github.com/grpc/grpc-go/issues/6405">#6405</a>)</li> <li><a href="https://github.com/grpc/grpc-go/commit/cd6a794f0bdcf9a216e8f4d3c5717faf96d9fd78"><code>cd6a794</code></a> Update version.go to v1.56.2-dev (<a href="https://redirect.github.com/grpc/grpc-go/issues/6387">#6387</a>)</li> <li>See full diff in <a href="https://github.com/grpc/grpc-go/compare/v1.56.1...v1.56.2">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump golang.org/x/crypto from 0.10.0 to 0.11.0 (#1103) Bumps [golang.org/x/crypto](https://github.com/golang/crypto) from 0.10.0 to 0.11.0. <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/golang/crypto/commit/e98487292dcad4efaa6033b245ee014f90d177a2"><code>e984872</code></a> go.mod: update golang.org/x dependencies</li> <li><a href="https://github.com/golang/crypto/commit/183630ada7e00d6d4743f43479b7d4ea51de715e"><code>183630a</code></a> x509roots: generate a stable sort, for real this time</li> <li><a href="https://github.com/golang/crypto/commit/a9e447dde7f8f364232efb5072e3ff89b24308da"><code>a9e447d</code></a> x509roots/fallback: add //go:build go1.20 to bundle.go</li> <li><a href="https://github.com/golang/crypto/commit/64c3993f5c824fe7febbf8561179da523a4e98ea"><code>64c3993</code></a> ssh: add hmac-sha2-512</li> <li><a href="https://github.com/golang/crypto/commit/5fe8145acacf736d52576b87b17c416731e0c4a8"><code>5fe8145</code></a> x509roots: remove list hash and generation date, change ordering</li> <li><a href="https://github.com/golang/crypto/commit/043e94c17aa993f4d1026a2f692b8980e7740df2"><code>043e94c</code></a> x509roots: fix generate script argument checking</li> <li><a href="https://github.com/golang/crypto/commit/0d502d7cd64920c6d2cce3950ead89a5c4eb5e69"><code>0d502d7</code></a> x509roots: use "generate" build tag</li> <li><a href="https://github.com/golang/crypto/commit/0ff60057bbafb685e9f9a97af5261f484f8283d1"><code>0ff6005</code></a> ssh/test: set a timeout and WaitDelay on sshd subcommands</li> <li>See full diff in <a href="https://github.com/golang/crypto/compare/v0.10.0...v0.11.0">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump docker/setup-buildx-action from 2.8.0 to 2.9.0 (#1105) Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2.8.0 to 2.9.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/docker/setup-buildx-action/releases">docker/setup-buildx-action's releases</a>.</em></p> <blockquote> <h2>v2.9.0</h2> <ul> <li>Bump <code>@docker/actions-toolkit</code> from 0.6.0 to 0.7.0 in <a href="https://redirect.github.com/docker/setup-buildx-action/pull/246">docker/setup-buildx-action#246</a> <ul> <li>Adds support to cache Buildx binary to hosted tool cache and GHA cache backend</li> </ul> </li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/docker/setup-buildx-action/compare/v2.8.0...v2.9.0">https://github.com/docker/setup-buildx-action/compare/v2.8.0...v2.9.0</a></p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/docker/setup-buildx-action/commit/2a1a44ac4aa01993040736bd95bb470da1a38365"><code>2a1a44a</code></a> Merge pull request <a href="https://redirect.github.com/docker/setup-buildx-action/issues/246">#246</a> from docker/dependabot/npm_and_yarn/docker/actions-to...</li> <li><a href="https://github.com/docker/setup-buildx-action/commit/a6c26a99ef333ec928dfc87e736af3d24b32bd26"><code>a6c26a9</code></a> update ci workflow</li> <li><a href="https://github.com/docker/setup-buildx-action/commit/a5a7f565d9e69cc3f93bb8f3c68aab9e3235b907"><code>a5a7f56</code></a> update generated content</li> <li><a href="https://github.com/docker/setup-buildx-action/commit/7d7611f95b08735309af7eb6d7e07a4e74764dcb"><code>7d7611f</code></a> Bump <code>@docker/actions-toolkit</code> from 0.6.0 to 0.7.0</li> <li>See full diff in <a href="https://github.com/docker/setup-buildx-action/compare/v2.8.0...v2.9.0">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump github.com/vektra/mockery/v2 from 2.30.16 to 2.31.1 (#1100) Bumps [github.com/vektra/mockery/v2](https://github.com/vektra/mockery) from 2.30.16 to 2.31.1. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/vektra/mockery/releases">github.com/vektra/mockery/v2's releases</a>.</em></p> <blockquote> <h2>v2.31.1</h2> <h2>Changelog</h2> <ul> <li>c72170a Update examples.md</li> </ul> <h2>v2.31.0</h2> <h2>Changelog</h2> <ul> <li>a43101b Add deprecation notice for old config style</li> <li>7696d20 Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/668">#668</a> from LandonTClipp/deprecation</li> </ul> <h2>v2.30.18</h2> <h2>Changelog</h2> <ul> <li>0d3aeea Fix goreleaser config deprecation</li> <li>7a91185 Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/667">#667</a> from LandonTClipp/goreleaser</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/vektra/mockery/commit/c72170a16b2fbe6c7073916f7f890cbdb69ea377"><code>c72170a</code></a> Update examples.md</li> <li><a href="https://github.com/vektra/mockery/commit/7696d2060315b6ca11230f50b9759fc4341c199c"><code>7696d20</code></a> Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/668">#668</a> from LandonTClipp/deprecation</li> <li><a href="https://github.com/vektra/mockery/commit/a43101b627ce2856357778c9752e4f9ff43e3a3b"><code>a43101b</code></a> Add deprecation notice for old config style</li> <li><a href="https://github.com/vektra/mockery/commit/7a91185c3c79ac3a225f0d3a7c666a564c6484d2"><code>7a91185</code></a> Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/667">#667</a> from LandonTClipp/goreleaser</li> <li><a href="https://github.com/vektra/mockery/commit/0d3aeea7e6386bda47740a233c9008ae0b68665a"><code>0d3aeea</code></a> Fix goreleaser config deprecation</li> <li><a href="https://github.com/vektra/mockery/commit/3e0f93ab1a88103097b7baca1fa9a4af817135e3"><code>3e0f93a</code></a> Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/665">#665</a> from echarrod/master</li> <li><a href="https://github.com/vektra/mockery/commit/70330b1cc3b3cb4c78bc42b74d654353ac0984e5"><code>70330b1</code></a> config: Fix documentation link</li> <li><a href="https://github.com/vektra/mockery/commit/064d477ac3c37ea3f00a4e925aa064b449e96264"><code>064d477</code></a> Merge pull request <a href="https://redirect.github.com/vektra/mockery/issues/659">#659</a> from alexandear/cmd-mockery-refactor-else</li> <li><a href="https://github.com/vektra/mockery/commit/c02f74e0b61ad06298aaf27f9f57a97a855ed47f"><code>c02f74e</code></a> Simplify code: decrease one level of indentation</li> <li>See full diff in <a href="https://github.com/vektra/mockery/compare/v2.30.16...v2.31.1">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * build(deps): Bump golang.org/x/net from 0.11.0 to 0.12.0 (#1102) Bumps [golang.org/x/net](https://github.com/golang/net) from 0.11.0 to 0.12.0. <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/golang/net/commit/c73c09c3904ce6a210970374bd1bc507ef1f8cc2"><code>c73c09c</code></a> go.mod: update golang.org/x dependencies</li> <li><a href="https://github.com/golang/net/commit/4fc2eb99735f9f5a10adbdb9db2727e45bc826c7"><code>4fc2eb9</code></a> http2: revert Transport change from CL 486156</li> <li><a href="https://github.com/golang/net/commit/63727cc58253c59c71cf8491bb4d7448990d63b8"><code>63727cc</code></a> http2: validate Host header before sending</li> <li><a href="https://github.com/golang/net/commit/1bb09e6b1e6cbe43c5034c99133d866b60ea81fa"><code>1bb09e6</code></a> quic: pass the connection ID length into 1-RTT packet parsing</li> <li><a href="https://github.com/golang/net/commit/952fc9c67e96e9f1be740da52245cba3cb2ed0bb"><code>952fc9c</code></a> quic: move ack_delay_exponent handling out of frame parsing</li> <li><a href="https://github.com/golang/net/commit/02fe9a59739ec5f229e86989c78fc81315d45579"><code>02fe9a5</code></a> quic: loss detection</li> <li><a href="https://github.com/golang/net/commit/c8a2c5a18103e88d9b5059a9f4c563f3cadd2f82"><code>c8a2c5a</code></a> quic: remove stray debugging print</li> <li><a href="https://github.com/golang/net/commit/5d50b4094a0b569f40c7ffb6700f31ac0dae8d7d"><code>5d50b40</code></a> quic: add packetFate enum</li> <li><a href="https://github.com/golang/net/commit/ee81e8c8e846052d140a25552b9ea002137cc04a"><code>ee81e8c</code></a> quic: correct rttvar updates</li> <li><a href="https://github.com/golang/net/commit/ab184e6fa8c4469c67d3a3ca67fa4d381c65af2f"><code>ab184e6</code></a> quic: rename side type to connSide</li> <li>Additional commits viewable in <a href="https://github.com/golang/net/compare/v0.11.0...v0.12.0">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> * ci: Trigger workflows on merge group (#1118) Signed-off-by: Thane Thomson <connect@thanethomson.com> * Revert "config: add bootstrap peers (#9680)" (#1109) * Revert "config: add bootstrap peers (#9680)" This reverts commit f12588aab1f1b52ffa82ed143676d69e2fab7bf4. * docs/p2p: bootstrap_peers config flag removed * node: Revert removal of public reactor accessors (#1120) * Revert "Remove unused code (#286)" This reverts commit a2d9915f7133ea2f201cfa8303270a5151416180. Signed-off-by: Thane Thomson <connect@thanethomson.com> * node: Remove access to consensus state Consensus state should only ever be accessible via the consensus reactor. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix mistake in changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * ci: Disable CodeQL check in merge queues (#1123) Signed-off-by: Thane Thomson <connect@thanethomson.com> * p2p: Remove UPnP functionality (#1114) * Remove UPnP functionality Signed-off-by: Thane Thomson <connect@thanethomson.com> * Update documentation and specs to reflect UPnP removal Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * ADR 107: Rename proto versions to pre-v1 betas (#1110) * ADR 107: Rename proto versions to pre-v1 betas * ADR 107: fix hyperlinks to ADR 103 * ADR 107: authorship of the revision Co-authored-by: Thane Thomson <connect@thanethomson.com> * ADR 107: change status to Accepted --------- Co-authored-by: Thane Thomson <connect@thanethomson.com> * RFC 104: Internal messaging using the actor model (#1092) * Add first draft Signed-off-by: Thane Thomson <connect@thanethomson.com> * Expand comment on actor receive method Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix grammar Signed-off-by: Thane Thomson <connect@thanethomson.com> * Emphasize/clarify conclusions Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * build(deps): Bump github.com/bufbuild/buf from 1.23.1 to 1.24.0 (#1131) Bumps [github.com/bufbuild/buf](https://github.com/bufbuild/buf) from 1.23.1 to 1.24.0. - [Release notes](https://github.com/bufbuild/buf/releases) - [Changelog](https://github.com/bufbuild/buf/blob/main/CHANGELOG.md) - [Commits](https://github.com/bufbuild/buf/compare/v1.23.1...v1.24.0) --- updated-dependencies: - dependency-name: github.com/bufbuild/buf 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> * build(deps): Bump github.com/vektra/mockery/v2 from 2.31.1 to 2.32.0 (#1132) Bumps [github.com/vektra/mockery/v2](https://github.com/vektra/mockery) from 2.31.1 to 2.32.0. - [Release notes](https://github.com/vektra/mockery/releases) - [Changelog](https://github.com/vektra/mockery/blob/master/docs/changelog.md) - [Commits](https://github.com/vektra/mockery/compare/v2.31.1...v2.32.0) --- updated-dependencies: - dependency-name: github.com/vektra/mocke D7AF ry/v2 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> * build(deps): Bump docker/setup-buildx-action from 2.9.0 to 2.9.1 (#1133) Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2.9.0 to 2.9.1. - [Release notes](https://github.com/docker/setup-buildx-action/releases) - [Commits](https://github.com/docker/setup-buildx-action/compare/v2.9.0...v2.9.1) --- updated-dependencies: - dependency-name: docker/setup-buildx-action 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> * build(deps): Bump bufbuild/buf-setup-action from 1.23.1 to 1.24.0 (#1134) Bumps [bufbuild/buf-setup-action](https://github.com/bufbuild/buf-setup-action) from 1.23.1 to 1.24.0. - [Release notes](https://github.com/bufbuild/buf-setup-action/releases) - [Commits](https://github.com/bufbuild/buf-setup-action/compare/v1.23.1...v1.24.0) --- updated-dependencies: - dependency-name: bufbuild/buf-setup-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> * spec: Add mempool specification in English and Quint (#997) * add mempool English and Quint specifications * some changes * Update spec/mempool/mempool.md Co-authored-by: Lasaro <lasaro@gmail.com> * Update spec/mempool/mempool.md Co-authored-by: Lasaro <lasaro@gmail.com> * small change to the text * add changelog entry * some minor fixes --------- Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> Co-authored-by: Lasaro <lasaro@gmail.com> * mempool: ADR for refactoring list of senders (#1032) * add first draft * update readme * slight rephrase * Add links + some rephrasing * Add another neutral consequence * Add callback alternative * Apply suggestions from code review Co-authored-by: Lasaro <lasaro@informal.systems> * Update Mempool interface * Apply suggestions from code review Co-authored-by: Thane Thomson <connect@thanethomson.com> * Fix URL * Add decision and mark as accepted --------- Co-authored-by: Lasaro <lasaro@informal.systems> Co-authored-by: Thane Thomson <connect@thanethomson.com> * build(deps): Bump bufbuild/buf-setup-action from 1.24.0 to 1.25.0 (#1157) Bumps [bufbuild/buf-setup-action](https://github.com/bufbuild/buf-setup-action) from 1.24.0 to 1.25.0. - [Release notes](https://github.com/bufbuild/buf-setup-action/releases) - [Commits](https://github.com/bufbuild/buf-setup-action/compare/v1.24.0...v1.25.0) --- updated-dependencies: - dependency-name: bufbuild/buf-setup-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> * build(deps): Bump github.com/go-git/go-git/v5 from 5.7.0 to 5.8.0 (#1159) Bumps [github.com/go-git/go-git/v5](https://github.com/go-git/go-git) from 5.7.0 to 5.8.0. - [Release notes](https://github.com/go-git/go-git/releases) - [Commits](https://github.com/go-git/go-git/compare/v5.7.0...v5.8.0) --- updated-dependencies: - dependency-name: github.com/go-git/go-git/v5 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> * build(deps): Bump github.com/bufbuild/buf from 1.24.0 to 1.25.0 (#1160) Bumps [github.com/bufbuild/buf](https://github.com/bufbuild/buf) from 1.24.0 to 1.25.0. - [Release notes](https://github.com/bufbuild/buf/releases) - [Changelog](https://github.com/bufbuild/buf/blob/main/CHANGELOG.md) - [Commits](https://github.com/bufbuild/buf/compare/v1.24.0...v1.25.0) --- updated-dependencies: - dependency-name: github.com/bufbuild/buf 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> * proxy: Rename "unsynchronized" to "connection-synchronized" local client creator (#1145) * proxy: Rename NewUnsyncLocalClientCreator to NewConnSyncLocalClientCreator Signed-off-by: Thane Thomson <connect@thanethomson.com> * Update changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Rebuild changelog Signed-off-by: Thane Thomson <connect@thanethomson.com> * Update changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Rebuild changelog Signed-off-by: Thane Thomson <connect@thanethomson.com> * Revert changelog building - will be done upon release Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * mempool: Keep track of senders in reactor instead of implementation (#1010) * Move senders from txs to txSenders * Move resCbFirstTime to globalCb * Fix typo * Remove callback argument from CheckTx * Fix lint * make mocks * lock isSender * Change sync.Map for map with lock; add test * fix lint * comments * move senders to reactor and add txsRemoved channel * Record sender only on valid txs * fix MConnection panicked * notifyTxRemoved when removeAllTxs * Add TxsRemoved and EnableTxsRemoved to interface * Increase channel buffer size * forgot emptyMempool * Change Mempool interface * Revert "Change Mempool interface" This reverts commit d3468a12843b11269a180c9f889f1ec79c55b1d3. * Simplify if/else * Channel buffer size * notify txRemoved even when txKey is not in txsMap * Remove redundant update to map * add callback for removing txs * Add tests * Use Mutex intead of RWMutex * Fix TestMempoolNoCacheOverflow * Fix lint * Fix TestMempoolTxConcurrentWithCommit * Fix TestReactorConcurrency * Comment * Remove references to implemenation details (cache) * Rename removeTxOnReactor * Comment * Rename removeFromCache * Comment * Remove test line forgotten in #934. * Comment * revert mempool test size * ci: Trigger workflows on merge group (#1118) Signed-off-by: Thane Thomson <connect@thanethomson.com> * Revert "config: add bootstrap peers (#9680)" (#1109) * Revert "config: add bootstrap peers (#9680)" This reverts commit f12588aab1f1b52ffa82ed143676d69e2fab7bf4. * docs/p2p: bootstrap_peers config flag removed * node: Revert removal of public reactor accessors (#1120) * Revert "Remove unused code (#286)" This reverts commit a2d9915f7133ea2f201cfa8303270a5151416180. Signed-off-by: Thane Thomson <connect@thanethomson.com> * node: Remove access to consensus state Consensus state should only ever be accessible via the consensus reactor. Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix mistake in changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * ci: Disable CodeQL check in merge queues (#1123) Signed-off-by: Thane Thomson <connect@thanethomson.com> * p2p: Remove UPnP functionality (#1114) * Remove UPnP functionality Signed-off-by: Thane Thomson <connect@thanethomson.com> * Update documentation and specs to reflect UPnP removal Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * ADR 107: Rename proto versions to pre-v1 betas (#1110) * ADR 107: Rename proto versions to pre-v1 betas * ADR 107: fix hyperlinks to ADR 103 * ADR 107: authorship of the revision Co-authored-by: Thane Thomson <connect@thanethomson.com> * ADR 107: change status to Accepted --------- Co-authored-by: Thane Thomson <connect@thanethomson.com> * RFC 104: Internal messaging using the actor model (#1092) * Add first draft Signed-off-by: Thane Thomson <connect@thanethomson.com> * Expand comment on actor receive method Signed-off-by: Thane Thomson <connect@thanethomson.com> * Fix grammar Signed-off-by: Thane Thomson <connect@thanethomson.com> * Emphasize/clarify conclusions Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * build(deps): Bump github.com/bufbuild/buf from 1.23.1 to 1.24.0 (#1131) Bumps [github.com/bufbuild/buf](https://github.com/bufbuild/buf) from 1.23.1 to 1.24.0. - [Release notes](https://github.com/bufbuild/buf/releases) - [Changelog](https://github.com/bufbuild/buf/blob/main/CHANGELOG.md) - [Commits](https://github.com/bufbuild/buf/compare/v1.23.1...v1.24.0) --- updated-dependencies: - dependency-name: github.com/bufbuild/buf 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> * build(deps): Bump github.com/vektra/mockery/v2 from 2.31.1 to 2.32.0 (#1132) Bumps [github.com/vektra/mockery/v2](https://github.com/vektra/mockery) from 2.31.1 to 2.32.0. - [Release notes](https://github.com/vektra/mockery/releases) - [Changelog](https://github.com/vektra/mockery/blob/master/docs/changelog.md) - [Commits](https://github.com/vektra/mockery/compare/v2.31.1...v2.32.0) --- updated-dependencies: - dependency-name: github.com/vektra/mockery/v2 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> * build(deps): Bump docker/setup-buildx-action from 2.9.0 to 2.9.1 (#1133) Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2.9.0 to 2.9.1. - [Release notes](https://github.com/docker/setup-buildx-action/releases) - [Commits](https://github.com/docker/setup-buildx-action/compare/v2.9.0...v2.9.1) --- updated-dependencies: - dependency-name: docker/setup-buildx-action 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> * build(deps): Bump bufbuild/buf-setup-action from 1.23.1 to 1.24.0 (#1134) Bumps [bufbuild/buf-setup-action](https://github.com/bufbuild/buf-setup-action) from 1.23.1 to 1.24.0. - [Release notes](https://github.com/bufbuild/buf-setup-action/releases) - [Commits](https://github.com/bufbuild/buf-setup-action/compare/v1.23.1...v1.24.0) --- updated-dependencies: - dependency-name: bufbuild/buf-setup-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> * spec: Add mempool specification in English and Quint (#997) * add mempool English and Quint specifications * some changes * Update spec/mempool/mempool.md Co-authored-by: Lasaro <lasaro@gmail.com> * Update spec/mempool/mempool.md Co-authored-by: Lasaro <lasaro@gmail.com> * small change to the text * add changelog entry * some minor fixes --------- Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> Co-authored-by: Lasaro <lasaro@gmail.com> * Add NewRandomTxs * Fix TestReactorTxSendersMultiNode * Fix TestDontExhaustMaxActiveIDs * Fix unused parameter * Add changelog * Update UPGRADING.md * Remove unused link in doc --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: Thane Thomson <connect@thanethomson.com> Co-authored-by: Daniel <daniel.cason@informal.systems> Co-authored-by: Mikhail Zabaluev <mikhail.zabaluev@gmail.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Pierre Sutra <0track@gmail.com> Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com> Co-authored-by: Lasaro <lasaro@gmail.com> * cmd: Remove `replay` and `replay-console` subcommands (#1170) * cmd: Remove replay and replay-console subcommands and corresponding consensus code Signed-off-by: Thane Thomson <connect@thanethomson.com> * Update upgrading guidelines Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com> --------- Signed-off-by: Thane Thomson <connect@thanethomson.com> * build(deps): Bump google.golang.org/grpc from 1.56.2 to 1.57.0 (#1181) Bumps [google.golang.org/grpc](https://github.com/grpc/grpc-go) from 1.56.2 to 1.57.0. - [Release notes](https://github.com/grpc/grpc-go/releases) - [Commits](https://github.com/grpc/grpc-go/compare/v1.56.2...v1.57.0) --- updated-dependencies: - dependency-name: google.golang.org/grpc 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> * build(deps): Bump github.com/go-git/go-git/v5 from 5.8.0 to 5.8.1 (#1180) Bumps [github.com/go-git/go-git/v5](https://github.com/go-git/go-git) from 5.8.0 to 5.8.1. - [Release notes](https://github.com/go-git/go-git/releases) - [Commits](https://github.com/go-git/go-git/compare/v5.8.0...v5.8.1) --- updated-dependencies: - dependency-name: github.com/go-git/go-git/v5 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> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> * ci: Remove Mergify automerge (#1182) Signed-off-by: Thane Thomson <connect@thanethomson.com> * blocksync: export errors (#1186) * blocksync exported errors * add docs * Update blocksync/errors.go Co-authored-by: Thane Thomson <connect@thanethomson.com> * Update blocksync/errors.go Co-authored-by: Thane Thomson <connect@thanethomson.com> * Update blocksync/errors.go Co-authored-by: Thane Thomson <connect@thanethomson.com> * unwrap for ErrReactorValidation --------- Co-authored-by: Thane Thomson <connect@thanethomson.com> * Porting changes related to creating a lean docker image from `pierre/fast-prototyping-1059` branch. (#1192) * chore: Format repo (#1…
This PR cleans: