projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify sygus conversion script. (#4627)
[cvc5.git] / cmake /
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