projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cmake: configure.sh wrapper: Fixes for sh.
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