1. 3bdf125 Updated documentation. by bart · 17 years ago
  2. 57ac34f Updated to do list. by bart · 17 years ago
  3. 7b8e43b Updated to do list. by bart · 17 years ago
  4. 0268dfa Added support for OpenMP barriers -- if libgomp.so has been built with debug information. More in general, added support for nested synchronization constructs. by bart · 17 years ago
  5. 621ccb2 Updated to do list. by bart · 17 years ago
  6. fd563cd Updated to do list. by bart · 17 years ago
  7. 2ebd6dd Updated to do list. by bart · 17 years ago
  8. 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
  9. d8b32c9 Updated to do list. by bart · 17 years ago
  10. 7bf8c6f Updated tc20_verifywrap to current output, and documented that an error message is missing at the end of the output for this test. by bart · 17 years ago
  11. 28230a3 Eliminated upper bounds on the number of condition variables, semaphores and barriers. Added command-line option --trace-semaphore. by bart · 17 years ago
  12. b78312c Bug fix: "mutex reinitialization" error message is no longer printed for the tc09_bad_unlock test. by bart · 17 years ago
  13. 9510256 Updated to do list. by bart · 17 years ago
  14. 8bc718c Updated to do list. by bart · 17 years ago
  15. 9cb4197 Updated to do list. by bart · 17 years ago
  16. d1af074 Updated to do list. by bart · 17 years ago
  17. 055c56b Updated to do list. by bart · 17 years ago
  18. 347eeba by sewardj · 17 years ago
  19. 8564292 by sewardj · 17 years ago
  20. 8b09d4f by sewardj · 17 years ago
  21. e0744f0 Only pass valid ThreadIDs to VG_(record_ExeContext). (Bart Van Assche) by sewardj · 17 years ago
  22. 721ad7b Remove pthread_object_size.h and associated hardwired constants. by sewardj · 17 years ago
  23. af44c82 Add DRD as an experimental tool. Bart Van Assche is the maintainer. by sewardj · 17 years ago