Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-21 17:28:04 -0700 (Wed, 21 Sep 2005)
Revision: 7774
Log message:

      A working model. For 2 nodes and buffer size of 5 it works fine.
      Next I need to put in an optimization on detecting failures
      and try to run it for 3 nodes.
      
      

Changes	Path
+2 -2	mojavefs/shmem/model/gc/view_change/spin/OMakefile
+41 -35	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml