projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b76dcf) | patch
Top-level structure for set defaults (#7047)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 24 Aug 2021 01:09:31 +0000 (20:09 -0500)
committerGitHub <noreply@github.com>
Tue, 24 Aug 2021 01:09:31 +0000 (01:09 +0000)
commit198e4a9b622bff260cf6b24f67f31fbff11873f2
treed88ff273cac79984e068809e8fd0b4745fd85541tree
parent3b76dcf208986709fefbd0978982de3fe8ecc626commit | diff
Top-level structure for set defaults (#7047)

This breaks setDefaults into three functions that summarize the high-level behavior of setDefaults.
src/smt/set_defaults.cpp diff | blob | history
src/smt/set_defaults.h diff | blob | history