Author | SHA1 Message | Date |
---|---|---|
|
9a2dc253ca ZOOKEEPER-4834. fix typos in Apache ZooKeeper (#2167) | 10 months ago |
|
de6762c1f0 ZOOKEEPER-3615: [ADDENDUM] fix rat error (#2013) | 1 year ago |
|
df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) | 1 year ago |