projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea1d4c3) | patch
cmake: Updated and prettified configuration printing.
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 7 Sep 2018 21:13:44 +0000 (14:13 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commitbb137cf7d56cbd850c29e0b496e2e5ca4a856a76
tree07f678c146727490864b3ab0f976961cb183643dtree
parentea1d4c3b5bb16a351bdf186a60391368d25d476fcommit | diff
cmake: Updated and prettified configuration printing.
CMakeLists.txt diff | blob | history