projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 656b13b) | patch
Optionally enable interprocedural optimization (#7209)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 20 Sep 2021 16:22:57 +0000 (09:22 -0700)
committerGitHub <noreply@github.com>
Mon, 20 Sep 2021 16:22:57 +0000 (16:22 +0000)
commit69fe669d9645f4e311ebd34852066070205b8036
tree2ab928de004637a46c03b3ddd99ae792aa22309btree
parent656b13b04627a7c226fb6367ca4323c4971d5f48commit | diff
Optionally enable interprocedural optimization (#7209)

This commit adds support for enabling interprocedural optimization. The
option is enabled by default for --best builds and cuts down our
executable size from about 33M to 20M.
CMakeLists.txt diff | blob | history
configure.sh diff | blob | history