search

ongardie / raft.tla

TLA+ specification for the Raft consensus algorithm
445 stars 73 forks source link

source code #8

Closed TriveniSamineni closed 5 years ago

TriveniSamineni commented 5 years ago

Can I get the source code for raft tla. Whatever the code is there is after pluscal translation & I didnt find the code before translation.Will u help me with that.

ongardie commented 5 years ago

I didn't use PlusCal. The original hand-typed TLA+ code is in this repo.