projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc2b801) | patch
Define all options modified by ENABLE_BEST using cvc4_option (#3578)
authorSimon Dierl <simon.dierl@cs.tu-dortmund.de>
Thu, 19 Dec 2019 23:51:29 +0000 (00:51 +0100)
committerAndres Noetzli <andres.noetzli@gmail.com>
Thu, 19 Dec 2019 23:51:29 +0000 (15:51 -0800)
commitf5ca3e5d09b457ac21b10793eb5d1efe3fbe40f6
tree28e5c54de38ff924005c84800c6f3c56216fe898tree
parentbc2b801ec4ad83e013c302e7608238feef386a8acommit | diff
Define all options modified by ENABLE_BEST using cvc4_option (#3578)

Signed-off-by: Simon Dierl <simon.dierl@cs.tu-dortmund.de>
CMakeLists.txt diff | blob | history