Merge branch 'master' of github.coecis.cornell.edu:rv22/harmony

Author: Robbert van Renesse

distributions/harmony-1.2.zip

@@ -1,107 +1,106 @@
 charm.c
 charm.Windows.exe
-code/2pc.hny
+code/2pc1.hny
+code/2pc2.hny
 code/BBhoare.hny
-code/BBhoaretest.hny
-code/BBsema.hny
 code/BBsemadata.hny
 code/BBsematest.hny
-code/Diners.hny
+code/BBsema.hny
 code/DinersAvoid.hny
 code/DinersCV.hny
-code/DinersCV2.hny
 code/DinersSema.hny
-code/Peterson.hny
+code/Diners.hny
 code/PetersonInductive.hny
 code/PetersonMethod.hny
-code/RW.hny
+code/Peterson.hny
 code/RWbusychk.hny
+code/RWbusy.hny
 code/RWcv.hny
 code/RWfair.hny
-code/RWhoare.hny
 code/RWlock.hny
 code/RWmulti.hny
 code/RWqtest.hny
 code/RWqueue.hny
 code/RWsbs.hny
 code/RWtest.hny
-code/Up.hny
+code/RW.hny
 code/UpEnter.hny
 code/UpLock.hny
-code/abd.hny
+code/Up.hny
 code/abdtest.hny
-code/abp.hny
+code/abd.hny
 code/abptest.hny
-code/actor.hny
-code/actortest.hny
+code/abp.hny
 code/atm.hny
 code/atomicinc.hny
 code/baddblwait.hny
 code/bank.hny
-code/barrier.hny
-code/barrier1.hny
 code/barriertest.hny
-code/bosco.hny
+code/barrier.hny
 code/bosco2.hny
+code/bosco.hny
+code/boundedbuffer.hny
 code/chain.hny
 code/clock.hny
 code/counter.hny
-code/cs.hny
-code/csTAS.hny
 code/csbarebones.hny
 code/cslock.hny
 code/csonebit.hny
-code/dinersfix.hny
+code/cssynch.hny
+code/cs.hny
 code/dinersfix2.hny
+code/dinersfix.hny
 code/gpu.hny
 code/hoare.hny
 code/hw.hny
+code/intsettest.hny
 code/leader.hny
 code/linkedlist.hny
-code/lltest.hny
-code/lockintf.hny
+code/lockspec.hny
 code/locksusp.hny
 code/mesa.hny
 code/multitest.hny
 code/naiveFlags.hny
 code/naiveLock.hny
 code/naiveTurn.hny
-code/nbqueue.hny
-code/nbqueuetest.hny
 code/needhamschroeder.hny
 code/oo.hny
-code/paxos.hny
+code/paxos1.hny
+code/paxos2.hny
 code/prog1.hny
 code/prog2.hny
 code/qbarrier.hny
-code/qsort.hny
 code/qsorttest.hny
+code/qsort.hny
 code/qtest1.hny
 code/qtest2.hny
 code/qtest3.hny
 code/qtest4.hny
 code/qtestconc.hny
 code/qtestseq.hny
-code/queue.hny
 code/queueMS.hny
 code/queuebug.hny
+code/queueconc.hny
 code/queuedemo.hny
 code/queuefix.hny
 code/queuelin.hny
 code/queuespec.hny
+code/queue.hny
+code/setobj.hny
 code/spinlock.hny
-code/spinlockInv.hny
 code/stack1.hny
 code/stack2.hny
 code/stack3.hny
 code/stack4.hny
 code/stacktest.hny
-code/trap.hny
+code/taslock.hny
+code/ticket.hny
 code/trap2.hny
 code/trap3.hny
 code/trap4.hny
 code/trap5.hny
 code/trap6.hny
+code/trap.hny
 code/triangle.hny
 code/xy.hny
 harmony