projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91acac5) | patch
Add support for UBSan instrumentation (#3382)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 11 Oct 2019 08:09:09 +0000 (01:09 -0700)
committerGitHub <noreply@github.com>
Fri, 11 Oct 2019 08:09:09 +0000 (01:09 -0700)
commit54449d5a9bd8e0de1a32aa35895f4edae51c5e45
tree3a0d6d45f3143fb46463da234326b0dbf77e87dctree
parent91acac585b0b2bc5a3fab4466d887cfbafa35f77commit | diff
Add support for UBSan instrumentation (#3382)

This commit adds support for compiling CVC4 with UBSan instrumentation.
The commit also adds a dummy version of `AigBitblaster`. Previously,
when CVC4 was built without ABC, `AigBitblaster` was not fully defined
(the class was declared but the implementation was not being compiled).
This lead to missing RTTI information when compiling with UBSan
instrumentation.
CMakeLists.txt diff | blob | history
configure.sh diff | blob | history
src/base/configuration.cpp diff | blob | history
src/base/configuration.h diff | blob | history
src/base/configuration_private.h diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/theory/bv/bitblast/aig_bitblaster.h diff | blob | history