projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
[cvc5.git] / CMakeLists.txt
2022-05-10 Gereon KremerCompress debug symbols to make libcvc5 smaller (#8743) blob | commitdiff | raw
2022-04-05 Mathias PreinerUpdate copyright headers for release 1.0 (#8539) blob | commitdiff | raw | diff to current
2022-03-31 Andres NoetzliRemove support for Python 2.x (#8488) blob | commitdiff | raw | diff to current
2022-03-16 Andres Noetzli[CI] Build and release Win64 binaries (#8321) blob | commitdiff | raw | diff to current
2021-12-01 mudathirmahgoubEnable Java examples (#7702) blob | commitdiff | raw | diff to current
2021-11-30 Gereon KremerRemove now unused dumping infrastructure (#7703) blob | commitdiff | raw | diff to current
2021-11-24 Andres NoetzliAlways enable API black box unit tests (#7696) blob | commitdiff | raw | diff to current
2021-11-24 Mathias Preinercmake: Add option --[no]-static-binary. (#7695) blob | commitdiff | raw | diff to current
2021-11-09 Mathias Preinercmake: Use fastcov for generating coverage reports... blob | commitdiff | raw | diff to current
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534) blob | commitdiff | raw | diff to current
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455) blob | commitdiff | raw | diff to current
2021-11-01 Gereon KremerAdd fuzzing target for murxla (#7490) blob | commitdiff | raw | diff to current
2021-10-28 Gereon KremerCombine `--static` and `--static-binary` (#7520) blob | commitdiff | raw | diff to current
2021-10-28 Andrew V. JonesAdd support for checking if a `-Wno` flag exists before... blob | commitdiff | raw | diff to current
2021-10-21 Gereon KremerAdd setup to generate graphs for cmake target dependenc... blob | commitdiff | raw | diff to current
2021-10-11 Gereon KremerAdd CI workflow to test different cmake versions (... blob | commitdiff | raw | diff to current
2021-10-07 Gereon KremerAdd a binary / SMT-LIB quickstart (#7315) blob | commitdiff | raw | diff to current
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) blob | commitdiff | raw | diff to current
2021-10-07 Gereon KremerFix/Improve static and shared builds with CLN or Poly... blob | commitdiff | raw | diff to current
2021-10-05 Gereon KremerReformulate (#7305) blob | commitdiff | raw | diff to current
2021-09-30 Gereon KremerRefactor our static builds (#7251) blob | commitdiff | raw | diff to current
2021-09-29 Gereon Kremerremove stuff (#7258) blob | commitdiff | raw | diff to current
2021-09-20 Andres NoetzliOptionally enable interprocedural optimization (#7209) blob | commitdiff | raw | diff to current
2021-08-10 Andres NoetzliDisable external initialization of `thread_local` varia... blob | commitdiff | raw | diff to current
2021-07-23 Andres NoetzliConfiguration: Indicate dependencies being built (... blob | commitdiff | raw | diff to current
2021-06-24 Mathias Preinercmake: Add new code coverage targets. (#6796) blob | commitdiff | raw | diff to current
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
next