projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix fp issue (#2940)
[cvc5.git] / cmake / ConfigDebug.cmake
2018-09-27 Mathias Preinercmake: Only print dumping warning if not disabled by... blob | commitdiff | raw
2018-09-22 Aina Niemetzcmake: Do not allow dumping with portfolio build. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Refactor and clean up build profile printing. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Various portfolio/default option fixes. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Enable shared by default. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add support for CxxTest. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added 3-valued option handling (to enable detect... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add build configurations. blob | commitdiff | raw | diff to current