Saša Pršić

Send prepare message if the proposal is locked.

1

Always send prepare message if the state is locked.

Implementation of a simplified test that proves that there is no consensus among the nodes. It creates a cluster of 5 nodes where one node is faulty (A_4). In round...

Add persistence e2e test.

2

Persistence issue test where nodes can insert different proposal for the same sequence. Cluster of 5 nodes: `A_0`, `A_1`, `A_2`, `A_3`, `A_4` Flow map defined for the round 0: `A_0...

Fuzz/flow map

1

Implementation of flow map for the communication between nodes in the cluster. Flow map is represented as a map of sender and list of receivers e.g {A_0 : [A_1, A_2,...