This is an automated email from the ASF dual-hosted git repository.
krishvishal pushed a change to branch simulator-liveness
in repository https://gitbox.apache.org/repos/asf/iggy.git
from c4c9794ba Merge branch 'master' into simulator-liveness
new 48df81497 fix(consensus): let a probe answer expose a divergent head
new f04b0af85 test(simulator): name a replica that disagrees with its own
past
new b7f221787 fix(consensus): carry the suffix on the last bare StartView
too
The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
core/consensus/src/impls.rs | 125 ++++++++++++++++++++++++---
core/shard/src/lib.rs | 14 +--
core/simulator/src/lib.rs | 85 ++++++++++++++++++
core/simulator/src/workload/state_checker.rs | 66 ++++++++++----
4 files changed, 257 insertions(+), 33 deletions(-)
