Commit Graph
3 Commits
Author SHA1 Message Date
Callum Waters e81b0e290e spec: merge spec repo into tendermint repo (#7804) 2022-02-17 13:02:48 +01:00
Yixin LuoandGitHub f3216e6953 rename HasVote to ReceivedVote (#289) 2021-05-25 07:42:30 +00:00
72d15a4b07 spec: remove reactor section (#242)
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com>
2021-01-19 16:28:05 +01:00