Thread Previous • Date Previous • Date Next • Thread Next |
Commit from logg (2005-12-12 20:43 CET) ---------------- Don't use drand48() (not portable). Currently using rand() from std (#include <cstdlib>) which is a weaker random number generator, but it will do for now. dolfin ChangeLog 1.262 dolfin src/kernel/math/basic.cpp 1.9 dolfin src/kernel/math/dolfin/basic.h 1.9 dolfin src/test/main.cpp 1.14
Thread Previous • Date Previous • Date Next • Thread Next |