git.libre-soc.org Git - cvc5.git/commit

author	Aina Niemetz <aina.niemetz@gmail.com>
	Fri, 17 Nov 2017 17:44:13 +0000 (09:44 -0800)
committer	GitHub <noreply@github.com>
	Fri, 17 Nov 2017 17:44:13 +0000 (09:44 -0800)
commit	40b04572d72ed5c46b85ec3cd06e5654efaa6d33
tree	ab2220a5fe9935778c510ce56a0bfdad2d96afe6	tree
parent	6c6f4e23aea405a812b1c6a3dd4d80696eb34741	commit \| diff

Add random number generator. (#1370)

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).

src/decision/justification_heuristic.cpp		diff \| blob \| history
src/options/main_options		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/arith/theory_arith_private.cpp		diff \| blob \| history
src/theory/quantifiers/ce_guided_pbe.cpp		diff \| blob \| history
src/theory/quantifiers/ceg_t_instantiator.cpp		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/random.cpp	[new file with mode: 0644]	blob
src/util/random.h	[new file with mode: 0644]	blob

RSS Atom