├── .gitignore ├── Makefile ├── README.md ├── bin └── start-node ├── include ├── rafter.hrl ├── rafter_consensus_fsm.hrl └── rafter_opts.hrl ├── rebar ├── rebar.config ├── src ├── rafter.app.src ├── rafter.erl ├── rafter_app.erl ├── rafter_backend.erl ├── rafter_backend_echo.erl ├── rafter_backend_ets.erl ├── rafter_config.erl ├── rafter_consensus_fsm.erl ├── rafter_consensus_sup.erl ├── rafter_log.erl ├── rafter_requester.erl └── rafter_sup.erl └── test ├── rafter_backend_ets_eqc.erl ├── rafter_config_eqc.erl ├── rafter_gen.erl ├── rafter_leader_election_eqc.erl └── rafter_system_test_eqc.erl /.gitignore: -------------------------------------------------------------------------------- 1 | deps 2 | log 3 | ebin 4 | .eunit 5 | *.beam 6 | *.swp 7 | erl_crash.dump 8 | 9 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/README.md -------------------------------------------------------------------------------- /bin/start-node: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/bin/start-node -------------------------------------------------------------------------------- /include/rafter.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/include/rafter.hrl -------------------------------------------------------------------------------- /include/rafter_consensus_fsm.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/include/rafter_consensus_fsm.hrl -------------------------------------------------------------------------------- /include/rafter_opts.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/include/rafter_opts.hrl -------------------------------------------------------------------------------- /rebar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/rebar -------------------------------------------------------------------------------- /rebar.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/rebar.config -------------------------------------------------------------------------------- /src/rafter.app.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter.app.src -------------------------------------------------------------------------------- /src/rafter.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter.erl -------------------------------------------------------------------------------- /src/rafter_app.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_app.erl -------------------------------------------------------------------------------- /src/rafter_backend.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_backend.erl -------------------------------------------------------------------------------- /src/rafter_backend_echo.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_backend_echo.erl -------------------------------------------------------------------------------- /src/rafter_backend_ets.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_backend_ets.erl -------------------------------------------------------------------------------- /src/rafter_config.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_config.erl -------------------------------------------------------------------------------- /src/rafter_consensus_fsm.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_consensus_fsm.erl -------------------------------------------------------------------------------- /src/rafter_consensus_sup.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_consensus_sup.erl -------------------------------------------------------------------------------- /src/rafter_log.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_log.erl -------------------------------------------------------------------------------- /src/rafter_requester.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_requester.erl -------------------------------------------------------------------------------- /src/rafter_sup.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/src/rafter_sup.erl -------------------------------------------------------------------------------- /test/rafter_backend_ets_eqc.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/test/rafter_backend_ets_eqc.erl -------------------------------------------------------------------------------- /test/rafter_config_eqc.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/test/rafter_config_eqc.erl -------------------------------------------------------------------------------- /test/rafter_gen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/test/rafter_gen.erl -------------------------------------------------------------------------------- /test/rafter_leader_election_eqc.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/test/rafter_leader_election_eqc.erl -------------------------------------------------------------------------------- /test/rafter_system_test_eqc.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewjstone/rafter/HEAD/test/rafter_system_test_eqc.erl --------------------------------------------------------------------------------