summaryrefslogtreecommitdiff
path: root/cmake
AgeCommit message (Expand)Author
2021-06-24cmake: Add new code coverage targets. (#6796)Mathias Preiner
2021-06-21Update to CaDiCaL 1.4.1. (#6780)Mathias Preiner
2021-06-18Remove obsolete libpoly patch (#6762)Andres Noetzli
2021-06-18Fix CaDiCaL build on Windows (#6764)Andres Noetzli
2021-06-15Update to a more recent libpoly version. (#6730)Gereon Kremer
2021-06-15Add cocoalib (#6731)Gereon Kremer
2021-05-21Use scikit-build CMake files for pycvc5 (#6543)makaimann
2021-05-20Update version of CaDiCaL. (#6583)Mathias Preiner
2021-05-20Use most recent version of libpoly (#6587)Gereon Kremer
2021-05-18Add Solver.java to the Java API (#6196)mudathirmahgoub
2021-05-04cmake: Fix ninja build. (#6481)Mathias Preiner
2021-05-03SymFPU: Automatically apply patch from 2020-11-14. (#6471)Aina Niemetz
2021-04-27Initial setup for docs of python API (#6445)Gereon Kremer
2021-04-23Add missing dependency for CaDiCaL (#6431)Gereon Kremer
2021-04-22cmake: Do not require --auto-download for already downloaded dependencies. (#...Mathias Preiner
2021-04-21Pass GMP to libpoly (#6411)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-21cmake: Add optional module name argument for check_python_module helper. (#6406)Mathias Preiner
2021-04-20Fix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399)Andres Noetzli
2021-04-20Properly link Poly against GMP (#6398)Gereon Kremer
2021-04-16Refactor cmake: auto-download and default-on dependencies (#6355)Gereon Kremer
2021-04-14Fix libpoly build and use new release (#6354)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-06cmake: Add helper to check if a given Python module is installed. (#6299)Mathias Preiner
2021-04-02FindCaDiCaL: Avoid redirect to file (#6272)Gereon Kremer
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-03-31Refactor GMP and Poly dependencies (#6245)Gereon Kremer
2021-03-31Refactor dependencies for external SAT solvers (#6215)Gereon Kremer
2021-03-31Refactor SymFPU dependency (#6218)Gereon Kremer
2021-03-29Add external project to install gtest (#6229)Gereon Kremer
2021-03-29Fix configuration printing. (#6236)Aina Niemetz
2021-03-27When building ANTLR via CMake, do not require javac #6224 (#6225)Andrew V. Jones
2021-03-27Refactor ANTLR3 dependency (#6202)Gereon Kremer
2021-03-26Use color output to print configuration. (#6219)Aina Niemetz
2021-03-24Refactor our integration of LFSC (#6201)Gereon Kremer
2021-03-20Generate cvc/Kind.java for the java API (#6143)mudathirmahgoub
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-05Reimplement time limit mechanism for windows (#6049)Gereon Kremer
2021-03-04Add proper define for libpoly usage (#6050)Gereon Kremer
2021-03-04Add cmake scripts for iwyu targets. (#6042)Gereon Kremer
2021-03-02Remove obsolete dependency on CxxTest. (#6038)Aina Niemetz
2021-03-02Add aarch64 (ARM64) cross-compile support. (#6033)Mathias Preiner
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-02Use SMT-COMP configuration for competition build (#4995)Andres Noetzli
2020-09-01[API] Fix Python Examples (#4943)Andres Noetzli
2020-07-30When linking Editline, use 'pkg-config' to correctly find the link-time depen...Andrew V. Jones
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback