projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add cache for new dependencies folder. (#6265)
[cvc5.git] / cmake /
2021-04-02 Gereon KremerFindCaDiCaL: Avoid redirect to file (#6272) tree | commitdiff
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) tree | commitdiff
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245) tree | commitdiff
2021-03-31 Gereon KremerRefactor dependencies for external SAT solvers (#6215) tree | commitdiff
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218) tree | commitdiff
2021-03-29 Gereon KremerAdd external project to install gtest (#6229) tree | commitdiff
2021-03-29 Aina NiemetzFix configuration printing. (#6236) tree | commitdiff
2021-03-27 Andrew V. JonesWhen building ANTLR via CMake, do not require javac... tree | commitdiff
2021-03-27 Gereon KremerRefactor ANTLR3 dependency (#6202) tree | commitdiff
2021-03-27 Aina NiemetzUse color output to print configuration. (#6219) tree | commitdiff
2021-03-24 Gereon KremerRefactor our integration of LFSC (#6201) tree | commitdiff
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143) tree | commitdiff
2021-03-16 Mathias Preinercmake: Generate cvc4_export.h and set visibility to... tree | commitdiff
2021-03-10 Mathias Preinercmake: Fix optimization level for debug builds. (#6097) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-03-05 Gereon KremerReimplement time limit mechanism for windows (#6049) tree | commitdiff
2021-03-04 Gereon KremerAdd proper define for libpoly usage (#6050) tree | commitdiff
2021-03-04 Gereon KremerAdd cmake scripts for iwyu targets. (#6042) tree | commitdiff
2021-03-02 Aina NiemetzRemove obsolete dependency on CxxTest. (#6038) tree | commitdiff
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-02 Andres NoetzliUse SMT-COMP configuration for competition build (... tree | commitdiff
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) tree | commitdiff
2020-07-30 Andrew V. JonesWhen linking Editline, use 'pkg-config' to correctly... tree | commitdiff
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... tree | commitdiff
2020-07-17 Gereon KremerIntegration of libpoly (#4679) tree | commitdiff
2020-07-01 Andres NoetzliAdd testing infrastructure for LFSC signatures (#4678) tree | commitdiff
2020-06-09 Andres NoetzliLanguage bindings: Enable catching of exceptions (... tree | commitdiff
2020-06-09 Andres NoetzliFix Java target and Relations example (#4583) tree | commitdiff
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) tree | commitdiff
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) tree | commitdiff
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more... tree | commitdiff
2020-02-11 Mathias Preinercmake: Remove unused ENABLE_OPTIMIZED option. (#3749) tree | commitdiff
2019-12-06 Mathias Preinercontrib: Setup all dependencies in deps/ directory... tree | commitdiff
2019-11-14 Alex OzdemirUse Shebang in cxxtestgen when appropriate (#3458) tree | commitdiff
2019-10-09 Mathias Preinercmake: Fix include of CVC4JavaTargets.cmake. (#3373) tree | commitdiff
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) tree | commitdiff
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) tree | commitdiff
2019-08-30 Andrew ReynoldsUndo unintential change to FindCxxTest (#3240) tree | commitdiff
2019-08-30 Andres NoetzliInfer conflicts based on regular expression inclusion... tree | commitdiff
2019-08-14 Mathias Preinercmake: Export CVC4 library interface. (#3179) tree | commitdiff
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137) tree | commitdiff
2019-05-18 Andres NoetzliSupport for incremental bit-blasting with CaDiCaL ... tree | commitdiff
2019-04-16 makaimannCheck for rt library in configuration -- support for... tree | commitdiff
2019-01-11 Alex OzdemirFixed linking against drat2er, and use drat2er (#2785) tree | commitdiff
2018-12-17 Alex Ozdemir Configured for linking against drat2er (#2754) tree | commitdiff
2018-10-22 Andres NoetzliOnly build CryptoMiniSat library, no binary (#2657) tree | commitdiff
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664) tree | commitdiff
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths... tree | commitdiff
2018-09-27 Mathias Preinercmake: Only print dumping warning if not disabled by... tree | commitdiff
2018-09-24 Aina Niemetzcmake: Fix and simplify git version info. (#2516) tree | commitdiff
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Do not allow dumping with portfolio build. tree | commitdiff
2018-09-22 Mathias Preinercmake: FindANTLR: Check if antlr3FileStreamNew is avail... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add some more documentation, cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Move helper functions to cmake/Helpers.cmake. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Refactor and clean up build profile printing. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for Valgrind. tree | commitdiff
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add missing checks for cvc4autoconfig.h to Confi... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add options for specifying install directories... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for GLPK-cut-log. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for ABC. tree | commitdiff
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java... tree | commitdiff
2018-09-22 Mathias Preinercmake: Various portfolio/default option fixes. tree | commitdiff
2018-09-22 Mathias Preinercmake: Enable shared by default. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add support for CxxTest. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Filter through and disable unused HAVE_* variabl... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added support for coverage and profiling. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added 3-valued option handling (to enable detect... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for readline. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added licensing options and warnings/errors. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add build configurations. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for LFSC. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CaDiCaL. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CryptoMiniSat. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for SymFPU. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CLN. tree | commitdiff
2018-09-22 Mathias Preinercmake: Antlr parser generation done. tree | commitdiff
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff