projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ee1b13) | patch
Use SMT-COMP configuration for competition build (#4995)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 2 Sep 2020 18:30:57 +0000 (11:30 -0700)
committerGitHub <noreply@github.com>
Wed, 2 Sep 2020 18:30:57 +0000 (11:30 -0700)
commita692d44ed5ba0107113df54d2654417bc9f9c345
tree6b26f74a13a9892855f700a1a3cae9b3d6c3b380tree
parent0ee1b1371e7cf50c14883316fdd6374114799a99commit | diff
Use SMT-COMP configuration for competition build (#4995)

This commit changes our `competition` build to include the libraries
that we have used for SMT-COMP by default. This makes it easier for
users to reproduce our SMT-COMP configuration for performance
measurements. We are using GPL libraries for this build type, so the
commit adds color to highlight the fact that this build type produces a
GPL build.
CMakeLists.txt diff | blob | history
NEWS diff | blob | history
cmake/ConfigCompetition.cmake diff | blob | history
cmake/Helpers.cmake diff | blob | history