1. 03f8d3f Update copyright dates to include 2012. by sewardj · 12 years ago
  2. 1081fe2 Remove emacs modeline and/or local variables from DRD source files by bart · 13 years ago
  3. 922304f Updated modeline and copyright statement in DRD source files. by bart · 13 years ago
  4. 876cafd E-mail address update. by bart · 14 years ago
  5. 9eecbbb Update copyright dates to 2010. by sewardj · 14 years ago
  6. 8f822af svn merge -r9818:10278 svn://svn.valgrind.org/valgrind/branches/DRDDEV by bart · 15 years ago
  7. 48fcfc6 Fixed a memory leak. by bart · 15 years ago
  8. bedfd23 - Reindented code such that it uses three spaces for indentation instead by bart · 15 years ago
  9. 86562bd - Updated copyright statements. - Improved consistency of source file headers. by bart · 16 years ago
  10. 41b226c Wrapped DRD_() macro around all vector clock function names. by bart · 16 years ago
  11. 9c606bd by sewardj · 16 years ago
  12. 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]
  13. fa1b293 Eliminated out-of-line copy of vc_lte(). by bart · 16 years ago
  14. fbbac09 Added vc_combine2(). by bart · 16 years ago
  15. fdb6558 Simplified format in which a vector clock is printed. by bart · 16 years ago
  16. 635a581 Minor optimization: commented out an assert statement. by bart · 16 years ago
  17. a7faf67 Cleaned up vc_min() and vc_combine() implementations. by bart · 17 years ago
  18. 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
  19. c46c232 Added vc_assign() function. by bart · 17 years ago
  20. 8564292 by sewardj · 17 years ago
  21. af44c82 Add DRD as an experimental tool. Bart Van Assche is the maintainer. by sewardj · 17 years ago