Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 24, 2013

• Merge pull request andrewjstone#13 from andrewjstone/feature/backend-behaviour

  Show description for 776cfc4
  andrewjstone

  committed
  776cfc4

  Copy full SHA for 776cfc4

• add an ets backend and rafter_backend behaviour

  Show description for 21a3db2
  andrewjstone

  committed
  21a3db2

  Copy full SHA for 21a3db2

Commits on Sep 3, 2013

• Merge pull request andrewjstone#7 from andrewjstone/feature/persistent-log

  Show description for a45de09
  andrewjstone

  committed
  a45de09

  Copy full SHA for a45de09

• add committed_entry_exists_in_log invariant

  andrewjstone

  committed
  a29cfa5

  Copy full SHA for a29cfa5

• This commit add suports for persistent logs.

  Show description for 88a1232
  andrewjstone

  committed
  88a1232

  Copy full SHA for 88a1232

Commits on Jul 17, 2013

• Merge pull request andrewjstone#4 from andrewjstone/moar-eqc

  Show description for 64570a7
  andrewjstone

  committed
  64570a7

  Copy full SHA for 64570a7

• fix config eqc test failures due to api changes

  andrewjstone

  committed
  6700b17

  Copy full SHA for 6700b17

• passing system eqc test

  andrewjstone

  committed
  3cdc79e

  Copy full SHA for 3cdc79e

• WIP

  andrewjstone

  committed
  cc58981

  Copy full SHA for cc58981

Commits on Jul 16, 2013

• dont call stop_node with empty list in system test

  andrewjstone

  committed
  706bff6

  Copy full SHA for 706bff6

• stop node with low frequency in system test

  andrewjstone

  committed
  2dd612b

  Copy full SHA for 2dd612b

• Track a model command index in system eqc test

  Show description for 606e36d
  andrewjstone

  committed
  606e36d

  Copy full SHA for 606e36d

• build up a leader state and add invariants to system test

  andrewjstone

  committed
  6be40ec

  Copy full SHA for 6be40ec

Commits on Jul 11, 2013

• add some postconditions to system eqc_statem test

  andrewjstone

  committed
  f55da72

  Copy full SHA for f55da72

• more next_state functionality for system test

  andrewjstone

  committed
  a2a7534

  Copy full SHA for a2a7534

Commits on Jul 10, 2013

• rafter overall system test eqc stub

  andrewjstone

  committed
  9342006

  Copy full SHA for 9342006

Commits on Jul 2, 2013

• Merge pull request andrewjstone#3 from andrewjstone/dynamic-consensus-eqc

  Show description for 4945872
  andrewjstone

  committed
  4945872

  Copy full SHA for 4945872

• actual passing eqc test for config

  andrewjstone

  committed
  97c4610

  Copy full SHA for 97c4610

Commits on Jun 29, 2013

• more initial config dueling fixes

  andrewjstone

  committed
  3a19a21

  Copy full SHA for 3a19a21

Commits on Jun 28, 2013

• WIP - more fixes. sometimes it passes ;)

  andrewjstone

  committed
  bc30240

  Copy full SHA for bc30240

• WIP - many fixes

  andrewjstone

  committed
  59fa644

  Copy full SHA for 59fa644

• passing config eqc tests

  andrewjstone

  committed
  1fd8c5b

  Copy full SHA for 1fd8c5b

• handle peers not in consensus group

  andrewjstone

  committed
  6ae3687

  Copy full SHA for 6ae3687

Commits on Jun 27, 2013

• failing eqc consensus

  andrewjstone

  committed
  5f5fd7e

  Copy full SHA for 5f5fd7e

Commits on Jun 25, 2013

• start to stateful eqc tests for config

  andrewjstone

  committed
  f04699c

  Copy full SHA for f04699c

• README update

  andrewjstone

  committed
  80fa229

  Copy full SHA for 80fa229

• Merge pull request andrewjstone#2 from andrewjstone/dynamic-group

  Show description for 3381eda
  andrewjstone

  committed
  3381eda

  Copy full SHA for 3381eda

• update README.md

  andrewjstone

  committed
  db09f04

  Copy full SHA for db09f04

• add some documentation

  andrewjstone

  committed
  a7de9d4

  Copy full SHA for a7de9d4

• remove leader-only mode stuff

  andrewjstone

  committed
  094cf8c

  Copy full SHA for 094cf8c

• generate op id from client api

  andrewjstone

  committed
  61eaeb5

  Copy full SHA for 61eaeb5

Commits on Jun 24, 2013

• only count local server in quorum if part of consensus group

  andrewjstone

  committed
  34734da

  Copy full SHA for 34734da

Commits on Jun 23, 2013

• more useful leader_election test

  andrewjstone

  committed
  e79865a

  Copy full SHA for e79865a

• make leader_election test pass again

  andrewjstone

  committed
  0bf9688

  Copy full SHA for 0bf9688

• dynamic reconfig working

  andrewjstone

  committed
  1391e37

  Copy full SHA for 1391e37

Pagination

Previous

Next