projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate Boolean ITE within terms, fixes 2947 (#2949)
[cvc5.git] / CMakeLists.txt
2019-04-05 Haniel Barbosaprerelease -> release (#2941) blob | commitdiff | raw
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
2018-09-22 Mathias Preinercmake: Move helper functions to cmake/Helpers.cmake. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added target examples (currently .cpp examples... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Simplify build type configuration. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Refactor and clean up build profile printing. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added target check blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add make install rule. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Fix handling of options... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for Valgrind. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Updated and prettified configuration printing. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add ENABLE_BEST to enable best configuration... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add Java runtime as required dependency (require... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add library versioning for libcvc4.so. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add missing checks for cvc4autoconfig.h to Confi... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Use target specific includes for libcvc4. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add support for building static binaries/libraries. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add options for specifying install directories... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for GLPK-cut-log. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for ABC. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add SWIG support + Python and Java bindings. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add dependencies for test targets and support... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Various portfolio/default option fixes. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add portfolio support. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add ASAN support. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Enable shared by default. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Disable W-suggest-override for unit tests. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add support for CxxTest. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Filter through and disable unused HAVE_* variabl... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Do not set global output directories for binarie... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added support for coverage and profiling. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added 3-valued option handling (to enable detect... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for readline. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added licensing options and warnings/errors. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add build configurations. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Fixed compiler flag macros. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for LFSC. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for CaDiCaL. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for CryptoMiniSat. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for SymFPU. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for CLN. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add libsignatures for proofs. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Generate cvc4autoconfig.h (options currently... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Working build infrastructure. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Antlr parser generation done. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Generate trace and debug tags blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. blob | commitdiff | raw | diff to current