summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2020-08-12Add option to only build library (#4801)makaimann
2020-08-04Add documentation and build instructions for recompilation (LGPL). (#4844)Mathias Preiner
2020-08-01Ensure that we only find '.a's when building statically (#4785)Andrew V. Jones
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-07-10Add deps/install/lib to RPATH and warn user when using dynamic libs. (#4684)Gereon Kremer
2020-07-07Increase the minimum version of CMake due to the use of 'APPEND' with strings...Andrew V. Jones
2020-07-02Remove SWIG bindings (#4683)Andres Noetzli
2020-06-24Fix CVC4_EXTRAVERSION variable (#4653)Andres Noetzli
2020-06-19Update version information post 1.8 release (#4635)Andres Noetzli
2020-06-19Update info for 1.8 release (#4633)Andres Noetzli
2020-06-11Fix install of static builds (#4604)Andres Noetzli
2020-06-04If using 'ninja', tell the user to run 'ninja' not 'make' (#4568)Andrew V. Jones
2020-05-22Add support for SAT solver Kissat. (#4514)Aina Niemetz
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback