cleaned up code
authorbdemsky <bdemsky>
Thu, 29 Jan 2009 22:29:42 +0000 (22:29 +0000)
committerbdemsky <bdemsky>
Thu, 29 Jan 2009 22:29:42 +0000 (22:29 +0000)
commit4d5772865ca167ba3caeb40b1c1ca7fd0d7861f5
tree2e2fa2f4b11e074496a2fd4364449ce439febe82
parentd4b510bef2ca79f713977e05978015d5288a872d
cleaned up code
fixed random bugs in the search for the halting bug
defined pure attribute for transRead method...see if gcc can help us
more now
Robust/src/Runtime/DSTM/interface/dstm.h
Robust/src/Runtime/DSTM/interface/dstmserver.c
Robust/src/Runtime/DSTM/interface/trans.c