187 Commits (8df7b6103f6f48f0ca3c9a319937e4fae10e5668)

Author SHA1 Message Date
  William Banfield 0b8a62c87b
abci: Synchronize FinalizeBlock with the updated specification (#7983) 3 years ago
  William Banfield c8c248d733
docs: add an overview of the proposer-based timestamps algorithm (#8058) 3 years ago
  Sergio Mena 7c4fe5b108
Vote extensions: new design (#8031) 3 years ago
  M. J. Fromberger c42c6d06d2
Migration of TLA+ files from the spec repo (#8004) (#8018) 3 years ago
  Manuel Bravo 82a2ca4ba5
abci++ spec: remove new_hashes and discuss transaction traceability (#8002) 3 years ago
  M. J. Fromberger b848c79971
Revert "Migration of TLA+ files from the spec repo (#8004)" (#8016) 3 years ago
  Kukovec e762dbb603
Migration of TLA+ files from the spec repo (#8004) 3 years ago
  Callum Waters 50de246a2b
docs: update repo and spec readme's (#7907) 3 years ago
  Thane Thomson abdf717761
spec: Minor updates to spec merge PR (#7835) 3 years ago
  Callum Waters e81b0e290e spec: merge spec repo into tendermint repo (#7804) 3 years ago
  Sergio Mena 1543e4122a Added all ABCI++ APIs to protobufs 3 years ago
  Daniel 4fb99af40d
PBTS: spec reorganization, summary of changes on README.md (#399) 3 years ago
  William Banfield 329da35a84
Add the newly defined timeout parameters to the consensus parameters (#400) 3 years ago
  William Banfield 91f898cb98
proto: merge the proposer-based timestamps parameters (#393) 3 years ago
  Kukovec f8c4ec38ec
Apalache annotations (#398) 3 years ago
  Jasmina Malicevic 8e5b44d46a
p2p/message: Changed evidence message to contain evidence, not a list… (#394) 3 years ago
  Kukovec 17a197929c
Updated Apalache type annotations (#395) 3 years ago
  Sergio Mena 611cc63a27 Addressed Callum's latest comments 3 years ago
  Sergio Mena 33f529b06b Revert "Included extra parameter in `FinalizeBlock` in an attempt to include https://github.com/tendermint/tendermint/issues/1909 in this spec" 3 years ago
  Sergio Mena e7136888bb Addressed Callum's comments 3 years ago
  Sergio Mena eb233d5565 Update spec/abci++/abci++_methods_002_draft.md 3 years ago
  Sergio Mena f774c09a97 Editorial/Lint changes 3 years ago
  Sergio Mena 5c41de2b85 Update spec/abci++/abci++_app_requirements_002_draft.md 3 years ago
  Sergio Mena 54a1773435 Addressed propose timeout issue if App is fully executing blocks 3 years ago
  Sergio Mena e3da1bf94a Handle the distinction between 'any' occurrences (*) and 'infinite' occurrences (omega) in the grammar 3 years ago
  Sergio Mena 81be4d0d14 Included extra parameter in `FinalizeBlock` in an attempt to include https://github.com/tendermint/tendermint/issues/1909 in this spec 3 years ago
  Sergio Mena f4e1039830 Addressed outstanding comments 3 years ago
  Sergio Mena af8a1a2ce3 Fixed hyperlinks 3 years ago
  Sergio Mena 0d610258f5 Addressed comments from @lklimek 3 years ago
  Sergio Mena ddb1eb27c9 Editorial changes 3 years ago
  Sergio Mena a75a2c6f00 Fixed bug in grammar 3 years ago
  Sergio Mena ff2104ec0b Moved the `same_block` boolean to ConsensusParams. Revamped the "Tendermint's behavior" section 3 years ago
  Sergio Mena 009c120abb Addressed latest comments from Josef and William 3 years ago
  Sergio Mena 7bbbba9acf Update spec/abci++/abci++_app_requirements_002_draft.md spec/abci++/abci++_basic_concepts_002_draft.md 3 years ago
  Sergio Mena 383d6b1117 Fixed rebase conflicts 3 years ago
  Sergio Mena 7c1883c692 ABCI++: Found a solution to set the execution mode 3 years ago
  Sergio Mena 523974167a ABCI++: Major refactor of spec's structure. Addressed Josef's comments. Merged ABCI's methods and data structs that didn't change. Added introductory paragraphs 3 years ago
  Sergio Mena 57cc810744 Fixed 'bug' in Property 11. Reworked section 'App expectations from Tendermint' 3 years ago
  Sergio Mena 438b490fe0 Update spec/abci++/abci++_properties_001_draft.md 3 years ago
  Sergio Mena 243601d02a Reworked the text to reflect the contents of meeting on 2021-12-09 3 years ago
  Sergio Mena 6fb0ca4201 Addressed William's latest comments. Added text: 'App devs SHOULD return true in ProcessProposal/VerifyVoteExtension' 3 years ago
  Sergio Mena 9496ea84f8 Updated the text with results of discussions in the last days. Addressed William's comments 3 years ago
  Sergio Mena f3275ae608 Addressed comments from Wed's meetings. Tackled TODOs that are now well understood 3 years ago
  Sergio Mena 500a4a1419 Addressed comments from meeting on 2021-11-30 3 years ago
  Sergio Mena 8c2645aa81 Addressed comments from meeting on Nov 29. Draft PR ready for PR 3 years ago
  Sergio Mena e9211f5941 Second iteration. Extended all TODOs that don't need discussions. Params and types included. First version of ABCI++'s properties 3 years ago
  Sergio Mena 836a723ca3 Developed the "Application's point of view" for `ProcessProposal` 3 years ago
  Sergio Mena 86408529e0 Update spec/abci++/abci++_properties_001_draft.md 3 years ago
  Sergio Mena 35eaa0b0a8 ABCI++ spec. First draft of properties 3 years ago
  Daniel 20b2abb5f9
PBTS: new system model and problem statement (#375) 3 years ago