chiark / gitweb /
~ianmdlvl / nlopt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 564795c) | patch
use thread_id, if available, in nlopt_srand_time to ensure that different threads...
authorstevenj <stevenj@alum.mit.edu>
Thu, 3 Jun 2010 22:55:50 +0000 (18:55 -0400)
committerstevenj <stevenj@alum.mit.edu>
Thu, 3 Jun 2010 22:55:50 +0000 (18:55 -0400)
commitaaf523fb6566150c8c3203b72790cf580e30094e
treeb9475b995a879a4187e7fd169720dfdc8da90cf0tree | snapshot
parent564795c57e3961f030345faf0178e7124609844dcommit | diff
use thread_id, if available, in nlopt_srand_time to ensure that different threads get different seed even if they are called simultaneously

darcs-hash:20100603225550-c8de0-963cf98deef902085d264eb09e4067f0e8e32742.gz
api/general.c diff | blob | history
configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.