Markus Mäkelä
2852530893
Use standard RNG
...
The custom random number generator can now be replaced with a C++11
RNG. This greatly improves the reliability and trustworthiness of it.
In addition to this, the conversion of the RNG to a thread-local object
removes the race condition that was present in the previous
implementation. It also theoretically improves performance by a tiny bit.
2018-08-13 10:37:48 +03:00
..
2018-08-10 09:50:56 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-07-04 22:01:01 +03:00
2018-08-10 07:50:18 +03:00
2018-07-26 11:27:09 +03:00
2018-08-10 07:50:18 +03:00
2018-08-10 07:50:18 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2017-02-20 17:44:22 +02:00
2018-08-10 09:44:44 +03:00
2018-07-17 11:52:21 +03:00
2018-08-10 07:50:18 +03:00
2018-07-26 11:27:09 +03:00
2018-07-31 14:53:56 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-08-06 21:20:29 +03:00
2018-08-10 07:50:18 +03:00
2018-06-25 10:07:52 +03:00
2018-07-13 11:11:02 +03:00
2018-07-31 09:41:08 +03:00
2018-08-10 07:50:18 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-08-08 09:17:15 +03:00
2018-06-25 10:07:52 +03:00
2018-07-17 11:52:20 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-08-07 08:40:28 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-08-10 11:19:09 +03:00
2018-08-10 11:19:09 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-08-07 08:40:28 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-06-25 10:07:52 +03:00
2018-06-26 09:19:46 +03:00
2018-08-10 07:50:18 +03:00
2018-07-06 11:22:42 +03:00
2018-06-25 10:07:52 +03:00
2018-08-08 09:17:15 +03:00
2018-08-10 07:50:18 +03:00
2018-08-13 10:37:48 +03:00
2018-08-10 07:50:18 +03:00
2018-07-11 14:08:56 +03:00
2018-08-10 07:50:18 +03:00
2018-06-25 10:07:52 +03:00
2018-07-31 09:41:14 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-08-06 21:20:29 +03:00
2018-08-10 07:50:18 +03:00
2018-08-06 21:20:29 +03:00
2018-08-10 07:50:18 +03:00
2018-08-06 21:20:29 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-08-10 07:50:18 +03:00
2017-03-09 10:01:38 +02:00
2018-06-26 09:19:46 +03:00
2018-08-13 08:30:05 +03:00
2018-08-10 07:50:18 +03:00