├── .gitignore ├── AsyncIsr.tla ├── FiniteReplicatedLog.tla ├── IdSequence.tla ├── KafkaReplication.tla ├── KafkaTruncateToHighWatermark.tla ├── Kip101.tla ├── Kip279.tla ├── Kip320.tla ├── Kip320FirstTry.tla └── Util.tla /.gitignore: -------------------------------------------------------------------------------- 1 | *.toolbox -------------------------------------------------------------------------------- /AsyncIsr.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/AsyncIsr.tla -------------------------------------------------------------------------------- /FiniteReplicatedLog.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/FiniteReplicatedLog.tla -------------------------------------------------------------------------------- /IdSequence.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/IdSequence.tla -------------------------------------------------------------------------------- /KafkaReplication.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/KafkaReplication.tla -------------------------------------------------------------------------------- /KafkaTruncateToHighWatermark.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/KafkaTruncateToHighWatermark.tla -------------------------------------------------------------------------------- /Kip101.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/Kip101.tla -------------------------------------------------------------------------------- /Kip279.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/Kip279.tla -------------------------------------------------------------------------------- /Kip320.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/Kip320.tla -------------------------------------------------------------------------------- /Kip320FirstTry.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/Kip320FirstTry.tla -------------------------------------------------------------------------------- /Util.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hachikuji/kafka-specification/HEAD/Util.tla --------------------------------------------------------------------------------