mirror of
https://github.com/wassname/ray.git
synced 2026-08-07 11:27:43 +08:00
* use different random number generator to be compatible with older valgrind versions * seed from time * style * fix * remove more random devices * also remove random_device from global scheduler * rename mutex * linting