Eliminating static calls to rewriter from strings (#7302)
[cvc5.git] / cmake /
2021-10-01 Gereon KremerRemove (apparently obsolete) checks in cms config ...
2021-09-30 Gereon KremerRefactor our static builds (#7251)
2021-09-28 Gereon KremerRemove linking against RT (#7257)
2021-08-16 Andrew V. JonesAdd check for static libraries when compiling CryptoMin...
2021-07-24 Andres NoetzliFix CLN build (#6920)
2021-07-23 Andres NoetzliConfiguration: Indicate dependencies being built (...
2021-07-23 Andres NoetzliFix CoCoA build for newer compilers (#6919)
2021-07-20 Andres NoetzliANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)
2021-07-19 Andrew V. Jones'CryptoMiniSat_LIBRARIES' should respect lib/lib64...
2021-07-19 Andrew V. Jones'ANTLR3_RUNTIME' should respect lib/lib64 (#6906)
2021-07-12 Andres NoetzliFix ANTLR build on CMake <3.11 (#6864)
2021-07-09 Andres NoetzliUse newer config.sub to fix build on Apple M1 (#6854)
2021-07-02 Andres NoetzliFix CaDiCaL auto-download on macOS (#6828)
2021-07-01 Gereon KremerFix message to show that cadical and symfpu are require...
2021-06-24 Mathias Preinercmake: Add new code coverage targets. (#6796)
2021-06-21 Mathias PreinerUpdate to CaDiCaL 1.4.1. (#6780)
2021-06-18 Andres NoetzliRemove obsolete libpoly patch (#6762)
2021-06-18 Andres NoetzliFix CaDiCaL build on Windows (#6764)
2021-06-15 Gereon KremerUpdate to a more recent libpoly version. (#6730)
2021-06-15 Gereon KremerAdd cocoalib (#6731)
2021-05-21 makaimannUse scikit-build CMake files for pycvc5 (#6543)
2021-05-20 Mathias PreinerUpdate version of CaDiCaL. (#6583)
2021-05-20 Gereon KremerUse most recent version of libpoly (#6587)
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196)
2021-05-04 Mathias Preinercmake: Fix ninja build. (#6481)
2021-05-03 Aina NiemetzSymFPU: Automatically apply patch from 2020-11-14....
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445)
2021-04-23 Gereon KremerAdd missing dependency for CaDiCaL (#6431)
2021-04-22 Mathias Preinercmake: Do not require --auto-download for already downl...
2021-04-21 Gereon KremerPass GMP to libpoly (#6411)
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371)
2021-04-21 Mathias Preinercmake: Add optional module name argument for check_pyth...
2021-04-20 Andres NoetzliFix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399)
2021-04-20 Gereon KremerProperly link Poly against GMP (#6398)
2021-04-16 Gereon KremerRefactor cmake: auto-download and default-on dependenci...
2021-04-14 Gereon KremerFix libpoly build and use new release (#6354)
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316)
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327)
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (...
2021-04-06 Mathias Preinercmake: Add helper to check if a given Python module...
2021-04-02 Gereon KremerFindCaDiCaL: Avoid redirect to file (#6272)
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251)
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245)
2021-03-31 Gereon KremerRefactor dependencies for external SAT solvers (#6215)
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218)
2021-03-29 Gereon KremerAdd external project to install gtest (#6229)
2021-03-29 Aina NiemetzFix configuration printing. (#6236)
2021-03-27 Andrew V. JonesWhen building ANTLR via CMake, do not require javac...
2021-03-27 Gereon KremerRefactor ANTLR3 dependency (#6202)
2021-03-27 Aina NiemetzUse color output to print configuration. (#6219)
2021-03-24 Gereon KremerRefactor our integration of LFSC (#6201)
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143)
2021-03-16 Mathias Preinercmake: Generate cvc4_export.h and set visibility to...
2021-03-10 Mathias Preinercmake: Fix optimization level for debug builds. (#6097)
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081)
2021-03-05 Gereon KremerReimplement time limit mechanism for windows (#6049)
2021-03-04 Gereon KremerAdd proper define for libpoly usage (#6050)
2021-03-04 Gereon KremerAdd cmake scripts for iwyu targets. (#6042)
2021-03-02 Aina NiemetzRemove obsolete dependency on CxxTest. (#6038)
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033)
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and...
2020-09-02 Andres NoetzliUse SMT-COMP configuration for competition build (...
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943)
2020-07-30 Andrew V. JonesWhen linking Editline, use 'pkg-config' to correctly...
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ...
2020-07-17 Gereon KremerIntegration of libpoly (#4679)
2020-07-01 Andres NoetzliAdd testing infrastructure for LFSC signatures (#4678)
2020-06-09 Andres NoetzliLanguage bindings: Enable catching of exceptions (...
2020-06-09 Andres NoetzliFix Java target and Relations example (#4583)
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514)
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186)
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more...
2020-02-11 Mathias Preinercmake: Remove unused ENABLE_OPTIMIZED option. (#3749)
2019-12-06 Mathias Preinercontrib: Setup all dependencies in deps/ directory...
2019-11-14 Alex OzdemirUse Shebang in cxxtestgen when appropriate (#3458)
2019-10-09 Mathias Preinercmake: Fix include of CVC4JavaTargets.cmake. (#3373)
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196)
2019-09-07 Andrew ReynoldsRemove portfolio (#3236)
2019-08-30 Andrew ReynoldsUndo unintential change to FindCxxTest (#3240)
2019-08-30 Andres NoetzliInfer conflicts based on regular expression inclusion...
2019-08-14 Mathias Preinercmake: Export CVC4 library interface. (#3179)
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137)
2019-05-18 Andres NoetzliSupport for incremental bit-blasting with CaDiCaL ...
2019-04-16 makaimannCheck for rt library in configuration -- support for...
2019-01-11 Alex OzdemirFixed linking against drat2er, and use drat2er (#2785)
2018-12-17 Alex Ozdemir Configured for linking against drat2er (#2754)
2018-10-22 Andres NoetzliOnly build CryptoMiniSat library, no binary (#2657)
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664)
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths...
2018-09-27 Mathias Preinercmake: Only print dumping warning if not disabled by...
2018-09-24 Aina Niemetzcmake: Fix and simplify git version info. (#2516)
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static.
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup.
2018-09-22 Mathias Preinercmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows.
2018-09-22 Aina Niemetzcmake: Do not allow dumping with portfolio build.
2018-09-22 Mathias Preinercmake: FindANTLR: Check if antlr3FileStreamNew is avail...
2018-09-22 Mathias Preinercmake: Add some more documentation, cleanup.
2018-09-22 Mathias Preinercmake: Move helper functions to cmake/Helpers.cmake.
2018-09-22 Aina Niemetzcmake: Refactor and clean up build profile printing.
next