projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12246d5) | patch
Random: support URNG interface (#2595)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Oct 2018 17:36:40 +0000 (10:36 -0700)
committerGitHub <noreply@github.com>
Tue, 9 Oct 2018 17:36:40 +0000 (10:36 -0700)
commit90ffa8b4eb26af9060e57be7fe5d6008717d3ce6
tree0442e608d7cf01131cd98293a3a20b0906348c71tree
parent12246d53ac1dd4bbd464dee9dea61b8ac05b4b49commit | diff
Random: support URNG interface (#2595)

Use std::shuffle (with Random as the unified random generator) instead
of std::random_shuffle for deterministic, reproducable random shuffling.
src/theory/quantifiers/cegqi/ceg_bv_instantiator.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_unif.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_unif_io.cpp diff | blob | history
src/util/random.cpp diff | blob | history
src/util/random.h diff | blob | history