Search results

TLC throw an error while verifying Raft TLA+ spec

Status: Open.

#40 In pingcap/tla-plus;

· kikimo opened on Dec 3, 2022

[Question] Does TiKV has/follow a TLA+ Spec for Raft membership change?

Status: Open.

#39 In pingcap/tla-plus;

· kikimo opened on Nov 28, 2022

Raft.pla doesn't seem to cover all exceptions?

Status: Open.

#31 In pingcap/tla-plus;

· Yriuns opened on Jun 8, 2020

Transaction specs may be not as solid as expected

Status: Open.

#28 In pingcap/tla-plus;

· sticnarf opened on Oct 21, 2019