Koks:
df8a53a974
ZK-3028
ZOOKEEPER-823
asf-site
branch-3.0
branch-3.1
branch-3.2
branch-3.3
branch-3.4
branch-3.4.13
branch-3.4.14
branch-3.5
branch-3.5.10
branch-3.5.4
branch-3.5.5
branch-3.5.6
branch-3.5.7
branch-3.5.8
branch-3.5.9
branch-3.6
branch-3.6.2
branch-3.6.3
branch-3.6.4
branch-3.7
branch-3.7.0
branch-3.7.1
branch-3.7.2
branch-3.8
branch-3.8.0
branch-3.8.1
branch-3.8.2
branch-3.8.3
branch-3.9
branch-3.9.0
branch-3.9.1
branch-3.9.3
branch-3.9.4
dependabot/maven/zookeeper-contrib/zookeeper-contrib-zooinspector/com.google.guava-guava-32.0.0-jre
fix/ZOOKEEPER-3635-new-release-proc
fix/ZOOKEEPER-4453
jenkins-tools
master
release-3.6.0
release-3.6.1
revert-1944-ZOOKEEPER-4632
website
release-3.9.4-0
release-3.9.3
release-3.9.3-2
release-3.9.3-1
release-3.9.3-0
release-3.9.2
release-3.8.4
release-3.7.3-0
release-3.8.4-0
release-3.9.2-0
release-3.7.2
release-3.8.3
release-3.9.1
release-3.7.2-0
release-3.8.3-0
release-3.9.1-0
release-3.9.0
release-3.9.0-1
release-3.8.2
release-3.9.0-0
release-3.8.2-0
release-3.8.1
release-3.8.1-1
release-3.8.1-0
release-3.6.4
release-3.6.4-2
release-3.6.4-1
release-3.6.4-0
release-3.5.10
release-3.5.10-rc1
release-3.5.10-rc0
release-X.Y.Z-rc0
release-3.7.1
release-3.7.1-1
release-3.7.1-0
release-3.8.0-1
release-3.8.0-0
release-3.6.3
release-3.6.3-2
release-3.6.3-1
release-3.6.3-0
release-3.7.0
release-3.7.0-2
release-3.7.0-1
release-3.7.0-0
release-3.5.9
release-3.5.9-rc2
release-3.5.9-rc1
release-3.5.9-rc0
release-3.6.2
release-3.6.2-1
release-3.6.2-0
release-3.5.8
release-3.5.8-rc0
release-3.6.1
release-3.6.1-1
release-3.6.1-0
release-3.6.0
release-3.6.0-4
release-3.6.0-3
release-3.5.7
release-3.5.7-rc2
release-3.5.7-rc1
release-3.6.0-2
release-3.5.7-rc0
release-3.6.0-1
release-3.6.0-0
release-3.5.6
release-3.5.6-rc4
release-3.5.6-rc3
release-3.5.6-rc0
release-3.5.5
release-3.5.5-rc6
release-3.5.5-rc5
release-3.5.5-rc4
release-3.5.5-rc3
release-3.5.5-rc2
release-3.5.5-rc1
release-3.5.5-rc0
release-3.4.14
release-3.4.14-rc5
release-3.4.14-rc4
release-3.4.14-rc3
release-3.4.14-rc2
release-3.4.14-rc1
release-3.4.14-rc0
zookeeper-
release-3.4.13
release-3.4.13-rc1
release-3.4.13-rc0
release-3.5.4
release-3.5.4-rc0
release-3.4.12
release-3.4.12-rc1
release-3.4.12-rc0
release-3.4.11
release-3.4.11-rc1
release-3.4.11-rc0
release-3.5.3
release-3.5.3-rc1
release-3.4.10
release-3.5.3-rc0
release-3.4.10-rc1
release-3.4.10-rc0
release-3.4.9
release-3.4.9-rc2
release-3.4.9-rc1
release-3.4.9-rc0
release-3.5.2
release-3.5.2-rc1
release-3.5.2-rc0
release-3.4.8
release-3.4.8-rc0
release-3.4.7
release-3.4.7-rc0
release-3.5.1
release-3.5.1-rc4
release-3.5.1-rc3
release-3.5.1-rc2
release-3.5.1-rc1
release-3.5.1-rc0
release-3.5.0
release-3.5.0-rc0
release-3.4.6
release-3.4.6-rc0
release-3.4.5
release-3.4.5-rc1
release-3.4.5-rc0
release-3.4.4
release-3.4.4-rc0
release-3.3.6
release-3.3.6-rc0
release-3.3.5
release-3.3.5-rc1
release-3.3.5-rc0
release-3.4.3
release-3.4.3-rc0
release-3.4.2
release-3.4.2-rc0
release-3.4.1
release-3.4.1-rc0
release-3.3.4
release-3.4.0
release-3.3.4-rc0
release-3.4.0-rc2
release-3.4.0-rc1
release-3.4.0-rc0
release-3.3.3
release-3.3.3-rc1
release-3.3.3-rc0
0.0.1
2.1.0
2.2.0
2.2.1
apache-initial-import
post_ZOOKEEPER-45_snapshot
release-3.0.0
release-3.0.1
release-3.0.1-rc0
release-3.1.0
release-3.1.0-rc0
release-3.1.0-rc1
release-3.1.0-rc2
release-3.1.1
release-3.1.1-rc0
release-3.1.2
release-3.1.2-rc0
release-3.2.0
release-3.2.0-rc0
release-3.2.1
release-3.2.2
release-3.2.2-rc0
release-3.3.0
release-3.3.1
release-3.3.2
Binyu Huang
df8a53a974
ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690)
|
2 gadi atpakaļ | |
|---|---|---|
| .. | ||
| FastLeaderElection.tla | df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) | 2 gadi atpakaļ |
| ZkV3_7_0.tla | df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) | 2 gadi atpakaļ |