projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55c2f66) | patch
Enable strings exp by default for strings specific logics (#6424)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 23 Apr 2021 02:18:13 +0000 (21:18 -0500)
committerGitHub <noreply@github.com>
Fri, 23 Apr 2021 02:18:13 +0000 (02:18 +0000)
commitcea1ad700bc4cff0d9fcfb0f14c8908e24bbc8c2
treec6155e30d275fe7b61b189281b45016ba3bd3e98tree
parent55c2f669abe354ffb258a0da89358f8c5366e2c4commit | diff
Enable strings exp by default for strings specific logics (#6424)

One of the main motivations for this PR is to simplify our process for doing SMT-LIB wide runs.
src/smt/set_defaults.cpp diff | blob | history
src/theory/quantifiers/fmf/full_model_check.cpp diff | blob | history