Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-11-16 | Add support for ThreadSanitizer instrumentation (#3467) | Andres Noetzli | |
This commit adds support for compiling CVC4 with ThreadSanitizer instrumentation. This is useful for debugging issues when CVC4 is used in a multi-threaded context (e.g. #3292). | |||
2019-10-11 | Add support for UBSan instrumentation (#3382) | Andres Noetzli | |
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. | |||
2019-10-07 | Build system: Add build type for incremental competition builds. (#3365) | Aina Niemetz | |
Previously, competition builds for incremental tracks required to manually pass in -DCVC4_SMTCOMP_APPLICATION_TRACK as compiler flag. This introduces an additional build type for incremental competition builds to simplify configuration for such builds. | |||
2019-09-06 | Remove portfolio (#3236) | Andrew Reynolds | |
2019-08-08 | Fix issues with Ninja build system and add configure option. (#3166) | Mathias Preiner | |
Adds option --ninja to configure.sh. | |||
2019-04-09 | Removing references to cvc4-bugs@... (#2945) | Haniel Barbosa | |
2018-12-17 | Configured for linking against drat2er (#2754) | Alex Ozdemir | |
drat2er is a C/C++ project which includes support for * Checking DRAT proofs * Converting DRAT proofs to LRAT proofs * Converting DRAT proofs to ER proofs It does the first 2 by using drat-trim under the hood. I've modified our CMake configuration to allow drat2er to be linked into CVC4, and I added a contrib script. | |||
2018-11-08 | cmake: Add option to explicitely enable/disable static binaries. (#2698) | Mathias Preiner | |
2018-11-05 | configure.sh: Fix option parsing to match --help (#2611) | Andres Noetzli | |
2018-09-27 | cmake: Add CxxTest finder module to allow custom paths. (#2542) | Mathias Preiner | |
2018-09-25 | cmake: configure.sh wrapper: Removed unused option --gmp. | Aina Niemetz | |
2018-09-24 | cmake: Add program prefix option. (#2515) | Mathias Preiner | |
2018-09-22 | cmake: Add python3 option. | Mathias Preiner | |
2018-09-22 | cmake: Add more documentation, some fixes and cleanup. | Mathias Preiner | |
2018-09-22 | cmake: configure.sh wrapper: Use explicit build directory structure. | Aina Niemetz | |
We don't create build directories for every build type (and configuration) anymore. The default build directory is now 'build' (created where you call the wrapper script from). Option --name allows to configure an individual name (and path) for the build directory. | |||
2018-09-22 | cmake: configure wrapper: Modify next steps message after configuration. | Mathias Preiner | |
Since configure.sh is only a wrapper for cmake it prints all the messages from cmake. At the end we print the next steps after configuration. If configure.sh is used we add the info to also change into the build directory before calling make. | |||
2018-09-22 | cmake: Add support for cross-compiling for Windows. | Mathias Preiner | |
2018-09-22 | cmake: configure.sh wrapper: Fixes for sh. | Mathias Preiner | |
2018-09-22 | cmake: configure.sh wrapper: Add --name option. | Mathias Preiner | |
2018-09-22 | cmake: configure.sh wrapper: Add --prefix for install directory. | Mathias Preiner | |
2018-09-22 | cmake: Add make install rule. | Mathias Preiner | |
2018-09-22 | cmake: configure.sh wrapper: Fix handling of options with arguments. | Aina Niemetz | |
2018-09-22 | cmake: configure.sh wrapper: Removed env vars help text. | Aina Niemetz | |
2018-09-22 | cmake: configure.sh wrapper: Configurable build directory | Aina Niemetz | |
2018-09-22 | cmake: configure.sh wrapper: Create build dirs for configurations | Aina Niemetz | |
2018-09-22 | cmake: configure.sh wrapper: done (except: configurable build dir) | Aina Niemetz | |
2018-09-22 | cmake: configure.sh wrapper: option parsing | Aina Niemetz | |