14 Commits

Author	SHA1	Message	Date
Andreas Streichardt	65b1716017	fix windows warnings	2017-05-19 16:41:33 +02:00
Kaveh Vahedipour	e67c26bee4	more robust random seeding	2017-05-19 15:29:15 +02:00
Kaveh Vahedipour	dd55480fc7	Better seed for RandomGenerator	2017-05-19 15:11:53 +02:00
jsteemann	2e3d704d10	fix MSVC compile warnings	2017-05-03 15:47:45 +02:00
Andreas Streichardt	7322e3bff3	Allow seeding of randomgenerator for tests	2017-04-21 18:08:49 +02:00
jsteemann	e3ca787992	warn before we run out of file descriptors	2017-03-29 02:35:46 +02:00
jsteemann	d4752433f0	slightly simplify logging	2017-03-29 01:16:55 +02:00
jsteemann	c5fc5d3fe8	added assertions	2017-02-14 12:01:52 +01:00
Kaveh Vahedipour	26ed19ca4d	bug in randomgenerator for 64bit int	2017-02-13 17:25:00 +01:00
jsteemann	d024a6d00a	remove logging for non-topics	2017-02-10 09:32:50 +01:00
Frank Celler	de71768bd0	fixed timeouts	2016-10-19 13:21:26 +00:00
Jan Steemann	8e591c16c2	fixed random number generator initialization	2016-08-02 12:25:46 +02:00
Frank Celler	37dc4ae54e	fixed random issue	2016-06-14 14:22:43 +02:00
Frank Celler	5335a5b0af	moved to Random	2016-04-21 22:53:20 -07:00