Code

Commit index implemented#9

Code

Merged

NicolasT merged 7 commits intoNicolasT:masterNicolasT/kontiki:masterfrom qrilka:commit-indexqrilka/kontiki:commit-indexCopy head branch name to clipboardDec 13, 2013

+113-58

Commits

Commits on Dec 1, 2013

• Added cabal sandbox files + TAGS to .gitignore

  qrilka

  committed
  24c06f4

  Copy full SHA for 24c06f4

• Added commit index to types and to Follower code

  qrilka

  committed
  0192cd1

  Copy full SHA for 0192cd1

• CSetCommitIndex generation for leader

  qrilka

  committed
  92f86b2

  Copy full SHA for 92f86b2

• Some cleanup of 'udp' example

  qrilka

  committed
  682d6f0

  Copy full SHA for 682d6f0

• Forgot to update commit index in node state

  qrilka

  committed
  5f8da1b

  Copy full SHA for 5f8da1b

• Updated 'udp' example to use CSetCommitIndex

  qrilka

  committed
  289448b

  Copy full SHA for 289448b

Commits on Dec 11, 2013

• Minor cleanup: some formatting and redundant constraint removed

  qrilka

  committed
  ae1451f

  Copy full SHA for ae1451f