1. 3e4bd95 merge with head by yang-g · 9 years ago
  2. e8a7e30 Eliminate public thread-pool interface by Vijay Pai · 9 years ago
  3. 9e2f90c headers reorg by yang-g · 9 years ago
  4. d6c98df clang-format all source by Craig Tiller · 9 years ago
  5. 1f3e6c1 Start switching everything to dynamic pool by Vijay Pai · 9 years ago
  6. a2e1bb1 Change name of thread_pool files to fixed_size_thread_pool when appropriate by vjpai · 9 years ago
  7. 69f2410 Make thread_pool.h a public header by Vijay Pai · 9 years ago
  8. 6f4fb3b Add ability to override default thread pool by Yang Gao · 9 years ago