Giacomo Pasini 354e9f3e9d
Update view upon reception of timeout qc (#20)
* update view upon reception of timeout qc

* only increase highest_voted_view

* fix comments
2023-04-21 12:32:53 +02:00
2023-04-12 18:06:14 +02:00
2023-03-20 06:07:52 -07:00

nomos-specs

Nomos related specification and documentation

Description
Nomos related specification and documentation
Readme
Languages
Python 99.9%
Shell 0.1%