Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-21 23:14:48 -0700 (Wed, 21 Sep 2005)
Revision: 7776
Log message:

      This model includes the optimization for detecting failures
      
      

Changes	Path
+1 -1	mojavefs/shmem/model/gc/view_change/spin/OMakefile
+18 -16	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml