1 Commits (b4d6bf7697be11f1105e4f83a98fe3d1adf3409b)

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