ref: 7e91f1538aa559da9f3b6a479c2d4227d6be9c38
dir: /random.c/
#include "flisp.h" #include "mt19937-64.h" #include "timefuncs.h" #include "random.h" static mt19937_64 ctx; uint64_t genrand_uint64(void) { return genrand64_int64(&ctx); } uint32_t genrand_uint32(void) { return genrand64_int64(&ctx) >> 32; } double genrand_double(void) { return genrand64_real1(&ctx); } void randomize(void) { unsigned long long tm = sec_realtime() * 1000.0; init_by_array64(&ctx, &tm, 1); }