# Model of Raft for Runway

This is a model of [Raft](https://raft.github.io) for
[Runway](https://github.com/SalesforceEng/runway-browser). It includes a
`.model` file describing the state and how it changes, as well as a `.js` file
which can be used with
[runway-browser](https://github.com/SalesforceEng/runway-browser) to produce an
interactive visualization.

The model you find in this repo is an early draft and may not be correct. This
is certainly not the official specification of Raft; if there is such a thing,
it's [raft.tla](https://github.com/ongardie/raft.tla).

# Model of Raft for Runway

This is a model of [Raft](https://raft.github.io) for
[Runway](https://github.com/salesforce/runway-browser). It includes a
`.model` file describing the state and how it changes, as well as a `.js` file
which can be used with
[runway-browser](https://github.com/salesforce/runway-browser) to produce an
interactive visualization.

The model you find in this repo is an early draft and may not be correct. This
is certainly not the official specification of Raft; if there is such a thing,
it's [raft.tla](https://github.com/ongardie/raft.tla).

Update github URLs (SalesforceEng -> salesforce org)
Update github URLs (SalesforceEng -> salesforce org)
