git.libre-soc.org Git - cvc5.git/history

2020-10-05	Aina Niemetz	cmake: Add warning when unit testing is disabled due...	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-17	Andrew V. Jones	Do not allow to build Python bindings if building stati...	blob \| commitdiff \| raw \| diff to current
2020-09-03	FabianWolff	Drop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables...	blob \| commitdiff \| raw \| diff to current
2020-09-02	Andres Noetzli	Use 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	makaimann	Add option to only build library (#4801)	blob \| commitdiff \| raw \| diff to current
2020-08-04	Mathias Preiner	Add documentation and build instructions for recompilat...	blob \| commitdiff \| raw \| diff to current
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
next

RSS Atom