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

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
2018-09-22	Aina Niemetz	cmake: Added licensing options and warnings/errors.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Cleanup CMakeLists.txt files, remove SHARED.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Add build configurations.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Fixed compiler flag macros.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add module finder for LFSC.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add module finder for CaDiCaL.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add module finder for CryptoMiniSat.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add module finder for SymFPU.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add module finder for CLN.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add libsignatures for proofs.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Generate cvc4autoconfig.h (options currently...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Working build infrastructure.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Antlr parser generation done.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Generate trace and debug tags	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: .cpp generation done, .h generation not yet...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	blob \| commitdiff \| raw \| diff to current

RSS Atom