projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99acb6a) | patch
cmake: Fix optimization level for debug builds. (#6097)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 10 Mar 2021 19:40:15 +0000 (11:40 -0800)
committerGitHub <noreply@github.com>
Wed, 10 Mar 2021 19:40:15 +0000 (19:40 +0000)
commit27fb04bc96999e101b45458c549345e864e085e9
treedb3326985c464226c544c3b234ca772efa1854f9tree
parent99acb6adc4858e9228a75283c0d4a640ce7cc812commit | diff
cmake: Fix optimization level for debug builds. (#6097)

Further cleans up some unused variables and moves the configuration of
best to configure.sh.
CMakeLists.txt diff | blob | history
cmake/ConfigDebug.cmake diff | blob | history
configure.sh diff | blob | history
test/unit/expr/node_black.cpp diff | blob | history