projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use newer config.sub to fix build on Apple M1 (#6854)
[cvc5.git] / CMakeLists.txt
2021-06-24 Mathias Preinercmake: Add new code coverage targets. (#6796) blob | commitdiff | raw
2021-06-21 Mathias PreinerMake CaDiCaL a required dependency. (#6761) blob | commitdiff | raw | diff to current
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) blob | commitdiff | raw | diff to current
2021-06-15 Gereon KremerAdd cocoalib (#6731) blob | commitdiff | raw | diff to current
2021-05-25 Andres Noetzli[Unit tests] Fix path of Java bindings (#6616) blob | commitdiff | raw | diff to current
2021-04-22 Mathias Preinercmake: Do not require --auto-download for already downl... blob | commitdiff | raw | diff to current
2021-04-22 Gereon KremerRemove unused stuff from options setup (#6422) blob | commitdiff | raw | diff to current
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current
2021-04-16 Gereon KremerRefactor cmake: auto-download and default-on dependenci... blob | commitdiff | raw | diff to current
2021-04-12 Gereon KremerOnly require GMP 6.1 (#6332) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) blob | commitdiff | raw | diff to current
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... blob | commitdiff | raw | diff to current
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) blob | commitdiff | raw | diff to current
2021-03-29 Aina NiemetzFix configuration printing. (#6236) blob | commitdiff | raw | diff to current
2021-03-27 Gereon KremerRefactor ANTLR3 dependency (#6202) blob | commitdiff | raw | diff to current
2021-03-27 Aina NiemetzUse color output to print configuration. (#6219) blob | commitdiff | raw | diff to current
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143) blob | commitdiff | raw | diff to current
2021-03-16 Mathias Preinerci: Enable checking of proofs + unsat cores. (#6088) blob | commitdiff | raw | diff to current
2021-03-16 Mathias Preinercmake: Generate cvc4_export.h and set visibility to... blob | commitdiff | raw | diff to current
2021-03-10 Mathias Preinercmake: Fix optimization level for debug builds. (#6097) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-03-04 Gereon KremerAdd cmake scripts for iwyu targets. (#6042) blob | commitdiff | raw | diff to current
2021-03-03 Gereon KremerRemove obsolete gcc check. (#6041) blob | commitdiff | raw | diff to current
2021-03-02 Aina NiemetzRemove obsolete dependency on CxxTest. (#6038) blob | commitdiff | raw | diff to current
2021-03-01 Mathias PreinerMake -Werror optional but enable it for CI. (#6032) blob | commitdiff | raw | diff to current
2021-02-25 Mathias PreinerEnable -Werror. (#5969) blob | commitdiff | raw | diff to current
2021-02-23 Mathias PreinerSwitch to C++17. (#5959) blob | commitdiff | raw | diff to current
2021-02-09 Mathias Preinercmake: Make Python3 default and improve toml error... blob | commitdiff | raw | diff to current
2020-12-02 Aina Niemetzgoogle test: Infrastructure and first api test. (#5548) blob | commitdiff | raw | diff to current
2020-10-05 Aina Niemetzcmake: Add warning when unit testing is disabled due... blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-17 Andrew V. JonesDo not allow to build Python bindings if building stati... blob | commitdiff | raw | diff to current
2020-09-03 FabianWolffDrop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables... blob | commitdiff | raw | diff to current
2020-09-02 Andres NoetzliUse SMT-COMP configuration for competition build (... blob | commitdiff | raw | diff to current
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) blob | commitdiff | raw | diff to current
2020-08-12 makaimannAdd option to only build library (#4801) blob | commitdiff | raw | diff to current
2020-08-04 Mathias PreinerAdd documentation and build instructions for recompilat... blob | commitdiff | raw | diff to current
2020-08-01 Andrew V. JonesEnsure that we only find '.a's when building statically... blob | commitdiff | raw | diff to current
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... blob | commitdiff | raw | diff to current
2020-07-17 Gereon KremerIntegration of libpoly (#4679) blob | commitdiff | raw | diff to current
2020-07-10 Gereon KremerAdd deps/install/lib to RPATH and warn user when using... blob | commitdiff | raw | diff to current
2020-07-07 Andrew V. JonesIncrease the minimum version of CMake due to the use... blob | commitdiff | raw | diff to current
2020-07-03 Andres NoetzliRemove SWIG bindings (#4683) blob | commitdiff | raw | diff to current
2020-06-24 Andres NoetzliFix CVC4_EXTRAVERSION variable (#4653) blob | commitdiff | raw | diff to current
2020-06-19 Andres NoetzliUpdate version information post 1.8 release (#4635) blob | commitdiff | raw | diff to current
2020-06-19 Andres NoetzliUpdate info for 1.8 release (#4633) blob | commitdiff | raw | diff to current
2020-06-12 Andres NoetzliFix install of static builds (#4604) blob | commitdiff | raw | diff to current
2020-06-05 Andrew V. JonesIf using 'ninja', tell the user to run 'ninja' not... blob | commitdiff | raw | diff to current
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) blob | commitdiff | raw | diff to current
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) blob | commitdiff | raw | diff to current
2020-03-09 Andres NoetzliIncrease stack size for Windows builds to 100 MB (... blob | commitdiff | raw | diff to current
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) blob | commitdiff | raw | diff to current
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more... blob | commitdiff | raw | diff to current
2020-02-11 Mathias Preinercmake: Remove unused ENABLE_OPTIMIZED option. (#3749) blob | commitdiff | raw | diff to current
2020-02-10 Mathias Preinercmake: Use ld.gold if available for faster link times... blob | commitdiff | raw | diff to current
2019-12-19 Simon DierlDefine all options modified by ENABLE_BEST using cvc4_o... blob | commitdiff | raw | diff to current
2019-12-06 Mathias Preinercontrib: Setup all dependencies in deps/ directory... blob | commitdiff | raw | diff to current
2019-11-18 Andres NoetzliUse -Wimplicit-fallthrough (#3464) blob | commitdiff | raw | diff to current
2019-11-17 Andres NoetzliAdd support for ThreadSanitizer instrumentation (#3467) blob | commitdiff | raw | diff to current
2019-11-08 Mathias Preinercmake: Disable C++ GNU extensions. (#3446) blob | commitdiff | raw | diff to current
2019-10-15 Andres NoetzliRemove remaining references to Boost and Autotools... blob | commitdiff | raw | diff to current
2019-10-11 Andres NoetzliAdd support for UBSan instrumentation (#3382) blob | commitdiff | raw | diff to current
2019-10-08 Aina NiemetzBuild system: Add build type for incremental competitio... blob | commitdiff | raw | diff to current
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) blob | commitdiff | raw | diff to current
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) blob | commitdiff | raw | diff to current
2019-08-15 Mathias Preinercmake: Use ExactVersion instead of SameMinorVersion... blob | commitdiff | raw | diff to current
2019-08-14 Mathias Preinercmake: Export CVC4 library interface. (#3179) blob | commitdiff | raw | diff to current
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure... blob | commitdiff | raw | diff to current
2019-04-12 Haniel BarbosaReferring to prerelease 1.8 (#2943) blob | commitdiff | raw | diff to current
2019-04-05 Haniel Barbosaprerelease -> release (#2941) blob | commitdiff | raw | diff to current
2019-04-04 Haniel BarbosaUpdate release notes and lib version (#2933) blob | commitdiff | raw | diff to current
2019-01-16 Andres NoetzliCMake: Fix search for static libraries (#2798) blob | commitdiff | raw | diff to current
2019-01-05 Mathias Preinercmake: Disable unit tests for static builds. (#2775) blob | commitdiff | raw | diff to current
2018-12-17 Alex Ozdemir Configured for linking against drat2er (#2754) blob | commitdiff | raw | diff to current
2018-11-08 Mathias Preinercmake: Add option to explicitely enable/disable static... blob | commitdiff | raw | diff to current
2018-10-24 Andres NoetzliCMake: Set RPATH on installed binary (#2671) blob | commitdiff | raw | diff to current
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) blob | commitdiff | raw | diff to current
2018-10-11 Mathias Preinercmake: Use gcovr instead lcov for coverage report gener... blob | commitdiff | raw | diff to current
2018-10-02 Mathias Preinercmake: Add examples to build-tests, add warning for... blob | commitdiff | raw | diff to current
2018-10-01 Mathias Preinercmake: Generate compile_commands.json on configure... blob | commitdiff | raw | diff to current
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test... blob | commitdiff | raw | diff to current
2018-09-30 Mathias Preinercmake: Ignore ctest exit code for coverage reports. blob | commitdiff | raw | diff to current
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths... blob | commitdiff | raw | diff to current
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) blob | commitdiff | raw | diff to current
2018-09-26 Mathias Preinercmake: Exclude examples for coverage target. (#2535) blob | commitdiff | raw | diff to current
2018-09-26 Mathias Preinercmake: Add check for GCC 4.5.1 and warn user. (#2533) blob | commitdiff | raw | diff to current
2018-09-24 Mathias Preinercmake: Add program prefix option. (#2515) blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add python3 option. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Enable -Wall. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Run make coverage in parallel by default. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Do not allow dumping with portfolio build. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Move extracting git information to src/base... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Disable unit tests if assertions are not enabled. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Do not build examples and unit and system tests... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add some more documentation, cleanup. blob | commitdiff | raw | diff to current
next