Commits on Dec 13, 2012
  1. Add Cereal Serialize instances to all states

    This should ease the implementations of 'correct' applications, which
    should store process state to persistent storage at several points of
    the protocol.
    committed Dec 14, 2012
  2. Fix Travis CI configuration

    Not sure what went wrong :-/
    committed Dec 14, 2012
  3. Update Cabal description

    committed Dec 13, 2012
  4. Fix algorithm compliance bug in Proposer

    We can't just send any value we want in an `Accept' message: it must be
    the value found in the highest previously accepted proposal (which is
    received as part of `Promise's from Acceptors), or a chosen value if not
    a single value was accepted before.
    committed Dec 13, 2012
  5. Extend 'synod' demo

    This commit alters the 'synod' demo in various ways:
    - Instead of adding some random delay to message delivery, the new
      version also drops messages randomly
    - Two proposers are used instead of one, so they can start battling
    - Enhanced logging
    committed Dec 13, 2012
  6. Enable GHC optimizations

    committed Dec 13, 2012
  7. Add README

    committed Dec 13, 2012
  8. Initial import

    committed Dec 13, 2012