Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-10-20 18:14:00 -0700 (Thu, 20 Oct 2005)
Revision: 7949
Log message:

      Changed the implementation of the 'view' type such that it uses libmojave sets as opposed to lists. 
      
      

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-10-28 19:40:37 -0700 (Fri, 28 Oct 2005)
Revision: 8037
Log message:

      This commit consists of preliminary edits to the group communication library intended to incorporate the changes in the view change protocol that we modeled using TLA and spin. It should compile, but not everything is implemented quite yet.
      
      

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-10-30 01:55:10 -0700 (Sun, 30 Oct 2005)
Revision: 8054
Log message:

      Started the implementation of the consensus protocol.
      Current code compiles but is not complete and does not function properly.