summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2021-03-29Fix configuration printing. (#6236)Aina Niemetz
2021-03-27Refactor ANTLR3 dependency (#6202)Gereon Kremer
2021-03-26Use color output to print configuration. (#6219)Aina Niemetz
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-20Generate cvc/Kind.java for the java API (#6143)mudathirmahgoub
2021-03-16ci: Enable checking of proofs + unsat cores. (#6088)Mathias Preiner
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-10cmake: Fix optimization level for debug builds. (#6097)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-04Add cmake scripts for iwyu targets. (#6042)Gereon Kremer
2021-03-03Remove obsolete gcc check. (#6041)Gereon Kremer
2021-03-02Remove obsolete dependency on CxxTest. (#6038)Aina Niemetz
2021-03-01Make -Werror optional but enable it for CI. (#6032)Mathias Preiner
2021-02-24Enable -Werror. (#5969)Mathias Preiner
2021-02-23Switch to C++17. (#5959)Mathias Preiner
2021-02-09cmake: Make Python3 default and improve toml error messages. (#5884)Mathias Preiner
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-10-05cmake: Add warning when unit testing is disabled due to assertions being disa...Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-17Do not allow to build Python bindings if building statically (#4784)Andrew V. Jones
2020-09-02Drop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables in CMakeLists.txt (#4979)FabianWolff
2020-09-02Use SMT-COMP configuration for competition build (#4995)Andres Noetzli
2020-09-01[API] Fix Python Examples (#4943)Andres Noetzli
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback