1 Commits (b5c4098c533a85360456adf1789459aa9a95df62)

Author SHA1 Message Date
  Zach 754be1887c spec: move to final location (#1576) 6 years ago
  Zarko Milosevic 5a79b3d74a Improve the spec to make explicit median computation based on voting power 7 years ago
  Zarko Milosevic 4cbdbbaac9 Add BFT time spec 7 years ago