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

2018-09-22	Mathias Preiner	cmake: configure.sh wrapper: Fixes for sh.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	travis: Switch to cmake.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Do not build examples and unit and system tests...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: configure.sh wrapper: Add --name option.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: examples: Configure output directory per target.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added java examples	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: configure.sh wrapper: Add --prefix for install...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add some more documentation, cleanup.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Move helper functions to cmake/Helpers.cmake.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added target examples (currently .cpp examples...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Simplify build type configuration.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Refactor and clean up build profile printing.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added target check	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add make install rule.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Fix handling of options...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for Valgrind.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Various CMakeLists.txt fixes/cleanup.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Only build libcvc4 and libcvc4parser as libraries.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Move find_package to where it is actually needed.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Removed env vars help...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Configurable build directory	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Create build dirs for...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: done (except: configurable...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Updated and prettified configuration printing.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: option parsing	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add ENABLE_BEST to enable best configuration...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add Java runtime as required dependency (required...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add convenience wrappers for tag generation.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add library versioning for libcvc4.so.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Rebase with current master, add new tests/source...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add missing checks for cvc4autoconfig.h to ConfigureC...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Use target specific includes for libcvc4.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add missing dependency.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add support for building static binaries/libraries.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add options for specifying install directories...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for GLPK-cut-log.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for ABC.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Compile Java tests and add to ctest if Java...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add SWIG support + Python and Java bindings.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add dependencies for test targets and support...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Various portfolio/default option fixes.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Enable parallel execution for test targets regress...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added system tests and target make systemtests.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added regression tests and target make regress.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add portfolio support.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add ASAN support.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Enable shared by default.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Disable W-suggest-override for unit tests.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add target units.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Removed obsolete CMakeLists file in test.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add support for CxxTest.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Filter through and disable unused HAVE_* variables...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Do not set global output directories for binaries...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Fix some includes.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added support for coverage and profiling.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added 3-valued option handling (to enable detection...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for readline.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Generate token headers.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added licensing options and warnings/errors.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Cleanup CMakeLists.txt files, remove SHARED.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add build configurations.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Fixed compiler flag macros.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for LFSC.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for CaDiCaL.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for CryptoMiniSat.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for SymFPU.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for CLN.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add libsignatures for proofs.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Remove unused CMakeLists.txt	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Generate cvc4autoconfig.h (options currently...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added missing dependency for src/util	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Working build infrastructure.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Antlr parser generation done.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Generate trace and debug tags	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: .cpp generation done, .h generation not yet...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	commit \| commitdiff \| tree
2018-07-30	Tim King	Storing a std::pair<Key,Data> on CDOhash_map.	commit \| commitdiff \| tree
2018-03-22	Mathias Preiner	Ignore whitespaces and moved code for contrib/get-authors.	commit \| commitdiff \| tree
2018-03-21	Aina Niemetz	Add bit-vector extract example. (#1681)	commit \| commitdiff \| tree
2018-03-20	Andrew Reynolds	Minor refactor datatypes sygus (#1673)	commit \| commitdiff \| tree
2018-03-06	Andres Noetzli	Remove printf from output utilities (#1629)	commit \| commitdiff \| tree
2018-03-05	Mathias Preiner	Fix boost url in contrib/get-win-dependencies.	commit \| commitdiff \| tree
2018-02-08	Tim King	Initializing Timer::d_wall_limit (CID 1362899). (#1573)	commit \| commitdiff \| tree
2018-01-14	Aina Niemetz	Remove BITVECTOR_SUB from isInvertible(). (#1513)	commit \| commitdiff \| tree
2018-01-08	Tim King	Removes throw specifiers from command.{h,cpp}. (#1485)	commit \| commitdiff \| tree
2018-01-05	Aina Niemetz	Fix side condition handling for PLUS, XOR, SIGN_EXTEND...	commit \| commitdiff \| tree
2017-11-29	Mathias Preiner	Add Cryptominisat script and patches to source file...	commit \| commitdiff \| tree
2017-11-01	Andres Noetzli	Add option to build shared Windows dependencies (...	commit \| commitdiff \| tree
2017-10-24	Mathias Preiner	Remove clang-format options introduced in version 5.0.	commit \| commitdiff \| tree
2017-10-17	Tim King	Making the values argument const in the SetUserAttributeComm...	commit \| commitdiff \| tree
2017-10-17	Tim King	Fixing 2 instances of an unused variable. (#1253)	commit \| commitdiff \| tree
2017-10-16	Tim King	Adds unit test that show Node and TNode work with for...	commit \| commitdiff \| tree
2017-10-13	Andrew Reynolds	CBQI BV quick heuristics (#1239)	commit \| commitdiff \| tree
2017-10-12	Mathias Preiner	Reduce number of travis builds.	commit \| commitdiff \| tree
2017-09-13	Andres Noetzli	Enable ccache on Travis, disable debug symbols (#1094)	commit \| commitdiff \| tree
2017-09-05	Mathias Preiner	Fix link in configure.ac.	commit \| commitdiff \| tree
2017-08-29	Mathias Preiner	Fix indentation for disabled Java tests.	commit \| commitdiff \| tree
2017-08-29	Mathias Preiner	Disable Java tests for now until they get fixed.	commit \| commitdiff \| tree
next

RSS Atom