1. ed39800 Upgrade to valgrind 3.13.0 (15 June 2017). by Elliott Hughes · 7 years ago
  2. b3a1e4b Update copyright dates, to include 2015. No functional change. by sewardj · 9 years ago
  3. 0f157dd Update copyright dates (20XY-2012 ==> 20XY-2013) by sewardj · 11 years ago
  4. c91f584 Fix inclusion of header files in coregrind. No pub_tool_*.h should be by florian · 11 years ago
  5. cd19e99 Fix Char/HChar mixups and constness in m_scheduler. by florian · 12 years ago
  6. 78bfc71 Add command-line option --fair-sched=[no|yes|try]. Use --fair-sched=try by bart · 13 years ago