Closed edfelten closed 4 months ago
I see that for the T_R issue, you added two separate conditions. the 250ms rule and the bounded pipelining rule. I thought one of these two would be sufficient. Why both?
Also, there are now two rules involving 250ms...I'm trying to see why they are not redundant.
I see that for the T_R issue, you added two separate conditions. the 250ms rule and the bounded pipelining rule. I thought one of these two would be sufficient. Why both?
Also, there are now two rules involving 250ms...I'm trying to see why they are not redundant.
This is fixed in a separate branch, so I'll ignore it here.
This adds a more detailed specification of how to manage the committee membership and keys. It also fixes a typo and adds a necessary requirement.
Fixes #20 Fixes #22 Fixes #23