projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6d3f74) | patch
Static options acceses again (#7771)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 8 Dec 2021 22:15:18 +0000 (14:15 -0800)
committerGitHub <noreply@github.com>
Wed, 8 Dec 2021 22:15:18 +0000 (16:15 -0600)
commit15a1c744470514a9e1091989ad498b27cbca72f6
tree36fe34f9e8674707f0ed247e19a22169009724datree
parentd6d3f74ebff704675aa941ac9eeafa97bad662dbcommit | diff
Static options acceses again (#7771)

This PR removes some more static accesses to options from strings and solver engine.
src/smt/abstract_values.h diff | blob | history
src/smt/solver_engine.cpp diff | blob | history
src/smt/solver_engine.h diff | blob | history
src/theory/strings/strategy.cpp diff | blob | history
src/theory/strings/strategy.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history