mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-07-28 02:52:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
9,954 Commits 530 Branches 244 Tags
39eb3b06800a9be2b95bee20d4558ccbb90efddb
Commit Graph
3 Commits
Author SHA1 Message Date
KukovecandGitHub 17a197929c Updated Apalache type annotations (#395) 2022-02-01 19:49:18 +01:00
Prajjwol GautamandGitHub f0914e66e3 Typo fix in README.md (#350) 2021-10-06 06:31:16 +00:00
MarkoandGitHub b270ab8d15 spec: merge rust-spec (#252) 2021-03-01 08:54:08 +00:00