projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove instantiation model true option (#4861)
[cvc5.git]
/
CMakeLists.txt
2020-08-04
Mathias Preiner
Add documentation and build instructions for recompilat...
blob
|
commitdiff
|
raw
2020-08-01
Andrew V. Jones
Ensure that we only find '.a's when building statically...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-17
Andrew V. Jones
Support for using 'libedit' over 'readline' #4571 ...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-17
Gereon Kremer
Integration of libpoly (#4679)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-10
Gereon Kremer
Add deps/install/lib to RPATH and warn user when using...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-07
Andrew V. Jones
Increase the minimum version of CMake due to the use...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-03
Andres Noetzli
Remove SWIG bindings (#4683)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-24
Andres Noetzli
Fix CVC4_EXTRAVERSION variable (#4653)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
Andres Noetzli
Update version information post 1.8 release (#4635)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
Andres Noetzli
Update info for 1.8 release (#4633)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-12
Andres Noetzli
Fix install of static builds (#4604)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Andrew V. Jones
If using 'ninja', tell the user to run 'ninja' not...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-22
Aina Niemetz
Add support for SAT solver Kissat. (#4514)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Andrew Reynolds
Remove replay and use-theory options and idl (#4186)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-09
Andres Noetzli
Increase stack size for Windows builds to 100 MB (...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-19
makaimann
Add Python bindings using Cython -- see below for more...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-11
Mathias Preiner
cmake: Remove unused ENABLE_OPTIMIZED option. (#3749)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-10
Mathias Preiner
cmake: Use ld.gold if available for faster link times...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-19
Simon Dierl
Define all options modified by ENABLE_BEST using cvc4_o...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-06
Mathias Preiner
contrib: Setup all dependencies in deps/ directory...
blob
|
commitdiff
|
raw
|
diff to current
2019-11-18
Andres Noetzli
Use -Wimplicit-fallthrough (#3464)
blob
|
commitdiff
|
raw
|
diff to current
2019-11-17
Andres Noetzli
Add support for ThreadSanitizer instrumentation (#3467)
blob
|
commitdiff
|
raw
|
diff to current
2019-11-08
Mathias Preiner
cmake: Disable C++ GNU extensions. (#3446)
blob
|
commitdiff
|
raw
|
diff to current
2019-10-15
Andres Noetzli
Remove remaining references to Boost and Autotools...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-11
Andres Noetzli
Add support for UBSan instrumentation (#3382)
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Aina Niemetz
Build system: Add build type for incremental competitio...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-15
Mathias Preiner
cmake: Use ExactVersion instead of SameMinorVersion...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Mathias Preiner
cmake: Export CVC4 library interface. (#3179)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-08
Mathias Preiner
Fix issues with Ninja build system and add configure...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-12
Haniel Barbosa
Referring to prerelease 1.8 (#2943)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-05
Haniel Barbosa
prerelease -> release (#2941)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-04
Haniel Barbosa
Update release notes and lib version (#2933)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-16
Andres Noetzli
CMake: Fix search for static libraries (#2798)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-05
Mathias Preiner
cmake: 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 Preiner
cmake: Add option to explicitely enable/disable static...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-24
Andres Noetzli
CMake: Set RPATH on installed binary (#2671)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-11
Mathias Preiner
cmake: Use gcovr instead lcov for coverage report gener...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-02
Mathias Preiner
cmake: Add examples to build-tests, add warning for...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-01
Mathias Preiner
cmake: Generate compile_commands.json on configure...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-01
Mathias Preiner
cmake: Add build target build-tests to build all test...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-30
Mathias Preiner
cmake: Ignore ctest exit code for coverage reports.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-28
Mathias Preiner
cmake: Add CxxTest finder module to allow custom paths...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Mathias Preiner
cmake: Fix test target dependency issues. (#2540)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Mathias Preiner
cmake: Exclude examples for coverage target. (#2535)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Mathias Preiner
cmake: Add check for GCC 4.5.1 and warn user. (#2533)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-24
Mathias Preiner
cmake: Add program prefix option. (#2515)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add python3 option.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Enable -Wall.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Build fully static binaries with option --static.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Run make coverage in parallel by default.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add more documentation, some fixes and cleanup.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Do not allow dumping with portfolio build.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Move extracting git information to src/base...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Disable unit tests if assertions are not enabled.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Do not build examples and unit and system tests...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add some more documentation, cleanup.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Move helper functions to cmake/Helpers.cmake.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added target examples (currently .cpp examples...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Simplify build type configuration.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Refactor and clean up build profile printing.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added target check
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add make install rule.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: configure.sh wrapper: Fix handling of options...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add module finder for Valgrind.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Various CMakeLists.txt fixes/cleanup.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Move find_package to where it is actually needed.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Updated and prettified configuration printing.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Add ENABLE_BEST to enable best configuration...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add Java runtime as required dependency (require...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add library versioning for libcvc4.so.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add missing checks for cvc4autoconfig.h to Confi...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Use target specific includes for libcvc4.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add support for building static binaries/libraries.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add options for specifying install directories...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add module finder for GLPK-cut-log.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add module finder for ABC.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Compile Java tests and add to ctest if Java...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add SWIG support + Python and Java bindings.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Add dependencies for test targets and support...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Various portfolio/default option fixes.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added regression tests and target make regress.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add portfolio support.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add ASAN support.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Enable shared by default.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Disable W-suggest-override for unit tests.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Add support for CxxTest.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Filter through and disable unused HAVE_* variabl...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Do not set global output directories for binarie...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added support for coverage and profiling.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added 3-valued option handling (to enable detect...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Add module finder for readline.
blob
|
commitdiff
|
raw
|
diff to current
next