summaryrefslogtreecommitdiff
path: root/cmake
AgeCommit message (Expand)Author
2021-09-28Remove linking against RT (#7257)Gereon Kremer
2021-08-16Add check for static libraries when compiling CryptoMiniSat #7010 (#7014)Andrew V. Jones
2021-07-24Fix CLN build (#6920)Andres Noetzli
2021-07-23Configuration: Indicate dependencies being built (#6921)Andres Noetzli
2021-07-23Fix CoCoA build for newer compilers (#6919)Andres Noetzli
2021-07-20ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)Andres Noetzli
2021-07-19'CryptoMiniSat_LIBRARIES' should respect lib/lib64 (#6905)Andrew V. Jones
2021-07-18'ANTLR3_RUNTIME' should respect lib/lib64 (#6906)Andrew V. Jones
2021-07-12Fix ANTLR build on CMake <3.11 (#6864)Andres Noetzli
2021-07-09Use newer config.sub to fix build on Apple M1 (#6854)Andres Noetzli
2021-07-02Fix CaDiCaL auto-download on macOS (#6828)Andres Noetzli
2021-07-01Fix message to show that cadical and symfpu are required (#6823)Gereon Kremer
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback