1 Commits (58e3246ffc7d49ce76312278882a4e84ab417311)

Author SHA1 Message Date
  Zach 754be1887c spec: move to final location (#1576) 7 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