Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
valgrind
/
f491479ff110a500b8852cc69cb481366d52b5a3
/
drd
/
drd_vc.c
1081fe2
Remove emacs modeline and/or local variables from DRD source files
by bart
· 13 years ago
922304f
Updated modeline and copyright statement in DRD source files.
by bart
· 14 years ago
876cafd
E-mail address update.
by bart
· 14 years ago
9eecbbb
Update copyright dates to 2010.
by sewardj
· 14 years ago
8f822af
svn merge -r9818:10278 svn://svn.valgrind.org/valgrind/branches/DRDDEV
by bart
· 15 years ago
48fcfc6
Fixed a memory leak.
by bart
· 15 years ago
bedfd23
- Reindented code such that it uses three spaces for indentation instead
by bart
· 16 years ago
86562bd
- Updated copyright statements. - Improved consistency of source file headers.
by bart
· 16 years ago
41b226c
Wrapped DRD_() macro around all vector clock function names.
by bart
· 16 years ago
9c606bd
by sewardj
· 16 years ago
ccf17de
Renamed exp-drd directory into drd. Moved drd from the experimental tool class to the class of regular tools.
by bart
· 16 years ago
[Renamed from exp-drd/drd_vc.c]
fa1b293
Eliminated out-of-line copy of vc_lte().
by bart
· 16 years ago
fbbac09
Added vc_combine2().
by bart
· 17 years ago
fdb6558
Simplified format in which a vector clock is printed.
by bart
· 17 years ago
635a581
Minor optimization: commented out an assert statement.
by bart
· 17 years ago
a7faf67
Cleaned up vc_min() and vc_combine() implementations.
by bart
· 17 years ago
5bd9f2d
Added new command-line option --trace-rwlock. Added regression test exp-drd/tests/rwlock_race. Updated to do list. Fixed bug in vc_min(), the function that computes the elementwise minimum of two vector clocks. Fixed bug in thread_update_danger_set(). Fixed recently introduced bug in mutex code with regard to vector clock combining.
by bart
· 17 years ago
c46c232
Added vc_assign() function.
by bart
· 17 years ago
8564292
by sewardj
· 17 years ago
af44c82
Add DRD as an experimental tool. Bart Van Assche is the maintainer.
by sewardj
· 17 years ago