initial
moar
it compiles and has a working test
working eqc test for prop_monotonic_term
rename eqc test and add generators
add prop_candidate_up_to_date()
add eqc_statem test for rafter_log
add postcondition for rafter_log:get_last_entry test
add rafter_log:get_entry eqc command and postcondition
add rafter_log:truncate quickcheck test
remove abstraction around transport and just use erlang messaging
candidate state of the consensus fsm
fix timers and add most of leader state
complete leader state in consensus fsm
ensure RPC replies have "from" members
add a supervisor for each peer(consensus_fsm+log)
get this thing to start :)
initial README
fix stupid bug
add README and formatting of status