mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-09-09 01:26:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
10,314 Commits 530 Branches 244 Tags
eef71a84aaacac2bf3e68dce8af017ecadfbf5cd
Commit Graph
2 Commits
Author SHA1 Message Date
KukovecandGitHub 17a197929c Updated Apalache type annotations (#395) 2022-02-01 19:49:18 +01:00
MarkoandGitHub b270ab8d15 spec: merge rust-spec (#252) 2021-03-01 08:54:08 +00:00