summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2021-06-24cmake: Add new code coverage targets. (#6796)Mathias Preiner
2021-06-21Make CaDiCaL a required dependency. (#6761)Mathias Preiner
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-15Add cocoalib (#6731)Gereon Kremer
2021-05-25[Unit tests] Fix path of Java bindings (#6616)Andres Noetzli
2021-04-22cmake: Do not require --auto-download for already downloaded dependencies. (#...Mathias Preiner
2021-04-22Remove unused stuff from options setup (#6422)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-16Refactor cmake: auto-download and default-on dependencies (#6355)Gereon Kremer
2021-04-12Only require GMP 6.1 (#6332)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-07New C++ Api: Initial setup of Api documentation. (#6295)Aina Niemetz
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback