summaryrefslogtreecommitdiff
path: root/drd/drd_semaphore.c
AgeCommit message (Expand)AuthorFilesLines
2009-02-21Changes:bart1-16/+14
2009-02-16- Updated copyright statements.bart1-3/+2
2009-02-15Wrapped DRD_() macro around even more function names.bart1-47/+66
2009-02-15Wrapped DRD_() macro around thread-related function names.bart1-8/+8
2009-02-15Wrapped DRD_() macro around all client object function names.bart1-6/+7
2009-02-14Wrapped DRD_() macro around all segment function names.bart1-3/+3
2008-12-24Renamed a variable and removed two statements that were commented out.bart1-6/+4
2008-12-23Comment out unused code so as to get a warning free build.sewardj1-2/+2
2008-12-21Fixed bug in vector clock updating for semaphores with non-zero initial value.bart1-15/+30
2008-12-17Fixed semaphore vector clock updating / simplified semaphore tracing.bart1-27/+65
2008-12-17Fixed regression test tc20_verifywrap2, which was broken through r8829.bart1-6/+6
2008-12-17Fix some format string mismatch warnings, associated with r8825.sewardj1-5/+5
2008-12-14Added more semaphore tracing info.bart1-14/+21
2008-07-04Renamed exp-drd directory into drd. Moved drd from the experimental tool clas...bart1-0/+284