diff options
| author | Determinant <[email protected]> | 2018-08-21 22:25:00 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-08-21 22:25:00 -0400 |
| commit | 51796ba2e778001948f4cd5acb51e31fcaec0641 (patch) | |
| tree | 5e8618f28d319df77907b006d9f89a3dc3a75032 /include/hotstuff/liveness.h | |
| parent | 69208d4931f45911e401a97ba9b019a2ffdfe82c (diff) | |
use cid instead of randomization
Diffstat (limited to 'include/hotstuff/liveness.h')
0 files changed, 0 insertions, 0 deletions