mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-01-08 06:15:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
8,936 Commits 529 Branches 244 Tags
stepper-default
Commit Graph

4 Commits

Author SHA1 Message Date
Igor Konnov
3003e05581 Update type annotations in the TLA+ spec of Tendermint for accountability (#9263) 
* update Apalache type annotations and split evidence into 3 variables

* remove the duplicate of AllPrevotes, due to merge
 2022-08-16 16:12:04 +02:00
Thane Thomson
cbc7a1abcf spec: Sync Light Client TLA+ code with master (#9238) 
* Typo fix in README.md (#350)

* Updated Apalache type annotations (#395)

Co-authored-by: Prajjwol Gautam <prajjwol@gmail.com>
Co-authored-by: Kukovec <jure.kukovec@gmail.com>
 2022-08-12 14:33:47 -04:00
Callum Waters
49ec3b9780 chore: lint repo (use american english) (#9144) 2022-08-01 14:24:49 +02:00
Marko
b270ab8d15 spec: merge rust-spec (#252) 2021-03-01 08:54:08 +00:00