1. 5f47aa6 core: use C++11 <random> instead of Boost.Random by Davide Pesavento · 8 years ago
  2. 63df436 core: Make global random generator thread-local by Alexander Afanasyev · 10 years ago
  3. af6569a core: unify randomization by Junxiao Shi · 11 years ago