Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-12-29 | Fix RNG for seed = 0. (#1459) | Aina Niemetz | |
The default value for the seed for CVC4's RNG is 0. However, xorshift* requires a non-zero seed, else it generates only zero values. This fixes and prevents this behavior by resetting a given zero seed to ~0. | |||
2017-11-17 | Add random number generator. (#1370) | Aina Niemetz | |
This adds a deterministic (seeded) random number generator (RNG). It implements the xorshift* generator (see S. Vigna, An experimental exploration of Marsaglia's xorshift generators, scrambled. ACM Trans. Math. Softw. 42(4): 30:1-30:23, 2016). |