Skip to content

ongardie/runway-model-raft

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

71 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Model of Raft for Runway

screenshot

try this model in Runway

This is a model of Raft for Runway. 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 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.

The view is very similar to RaftScope (code). This model is on its way to become RaftScope v2.0, but RaftScope is still easier to embed and has the replay mode that's useful for talks.