summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-09Increase stack size for Windows builds to 100 MB (#3943)Andres Noetzli
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-19Add Python bindings using Cython -- see below for more details (#2879)makaimann
2020-02-11cmake: Remove unused ENABLE_OPTIMIZED option. (#3749)Mathias Preiner
2020-02-10cmake: Use ld.gold if available for faster link times. (#3738)Mathias Preiner
2019-12-19Define all options modified by ENABLE_BEST using cvc4_option (#3578)Simon Dierl
2019-12-06contrib: Setup all dependencies in deps/ directory. (#3534)Mathias Preiner
2019-11-18Use -Wimplicit-fallthrough (#3464)Andres Noetzli
2019-11-16Add support for ThreadSanitizer instrumentation (#3467)Andres Noetzli
2019-11-08cmake: Disable C++ GNU extensions. (#3446)Mathias Preiner
2019-10-15Remove remaining references to Boost and Autotools (#3390)Andres Noetzli
2019-10-11Add support for UBSan instrumentation (#3382)Andres Noetzli
2019-10-07Build system: Add build type for incremental competition builds. (#3365)Aina Niemetz
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-08-15cmake: Use ExactVersion instead of SameMinorVersion. (#3191)Mathias Preiner
2019-08-14cmake: Export CVC4 library interface. (#3179)Mathias Preiner
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2019-04-12Referring to prerelease 1.8 (#2943)Haniel Barbosa
2019-04-05prerelease -> release (#2941)Haniel Barbosa
2019-04-03Update release notes and lib version (#2933)Haniel Barbosa
2019-01-15CMake: Fix search for static libraries (#2798)Andres Noetzli
2019-01-04cmake: Disable unit tests for static builds. (#2775)Mathias Preiner
2018-12-17 Configured for linking against drat2er (#2754)Alex Ozdemir
2018-11-08cmake: Add option to explicitely enable/disable static binaries. (#2698)Mathias Preiner
2018-10-23CMake: Set RPATH on installed binary (#2671)Andres Noetzli
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-10cmake: Use gcovr instead lcov for coverage report generation. (#2617)Mathias Preiner
2018-10-02cmake: Add examples to build-tests, add warning for disabling static build. (...Mathias Preiner
2018-10-01cmake: Generate compile_commands.json on configure. (#2559)Mathias Preiner
2018-10-01cmake: Add build target build-tests to build all test dependencies. (#2558)Mathias Preiner
2018-09-29cmake: Ignore ctest exit code for coverage reports.Mathias Preiner
2018-09-27cmake: Add CxxTest finder module to allow custom paths. (#2542)Mathias Preiner
2018-09-26cmake: Fix test target dependency issues. (#2540)Mathias Preiner
2018-09-25cmake: Exclude examples for coverage target. (#2535)Mathias Preiner
2018-09-25cmake: Add check for GCC 4.5.1 and warn user. (#2533)Mathias Preiner
2018-09-24cmake: Add program prefix option. (#2515)Mathias Preiner
2018-09-22cmake: Add python3 option.Mathias Preiner
2018-09-22cmake: Enable -Wall.Mathias Preiner
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: Run make coverage in parallel by default.Mathias Preiner
2018-09-22cmake: Add more documentation, some fixes and cleanup.Mathias Preiner
2018-09-22cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.Mathias Preiner
2018-09-22cmake: Do not allow dumping with portfolio build.Aina Niemetz
2018-09-22cmake: Move extracting git information to src/base cmake config file.Aina Niemetz
2018-09-22cmake: Disable unit tests if assertions are not enabled.Mathias Preiner
2018-09-22cmake: Do not build examples and unit and system tests by default.Aina Niemetz
2018-09-22cmake: Add some more documentation, cleanup.Mathias Preiner
2018-09-22cmake: Move helper functions to cmake/Helpers.cmake.Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback