cvc5.git
2018-09-22 Mathias Preinercmake: Guard GetGitRevisionDescription.
2018-09-22 Aina Niemetzcmake: Add target runexamples.
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows.
2018-09-22 Mathias Preinercmake: Require JUnit version 4.
2018-09-22 Aina Niemetzcmake: Do not allow dumping with portfolio build.
2018-09-22 Aina Niemetzcmake: More documentation, clean up.
2018-09-22 Aina Niemetzcmake: Move extracting git information to src/base...
2018-09-22 Mathias Preinercmake: Guard examples that require Boost.
2018-09-22 Mathias Preinercmake: Disable unit tests if assertions are not enabled.
2018-09-22 Mathias Preinercmake: FindANTLR: Check if antlr3FileStreamNew is avail...
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Fixes for sh.
2018-09-22 Mathias Preinertravis: Switch to cmake.
2018-09-22 Aina Niemetzcmake: Do not build examples and unit and system tests...
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Add --name option.
2018-09-22 Aina Niemetzcmake: examples: Configure output directory per target.
2018-09-22 Aina Niemetzcmake: Added java examples
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Add --prefix for install...
2018-09-22 Mathias Preinercmake: Add some more documentation, cleanup.
2018-09-22 Mathias Preinercmake: Move helper functions to cmake/Helpers.cmake.
2018-09-22 Aina Niemetzcmake: Added target examples (currently .cpp examples...
2018-09-22 Mathias Preinercmake: Simplify build type configuration.
2018-09-22 Aina Niemetzcmake: Refactor and clean up build profile printing.
2018-09-22 Aina Niemetzcmake: Added target check
2018-09-22 Mathias Preinercmake: Add make install rule.
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Fix handling of options...
2018-09-22 Mathias Preinercmake: Add module finder for Valgrind.
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup.
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries.
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed.
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Removed env vars help...
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Configurable build directory
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Create build dirs for...
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: done (except: configurable...
2018-09-22 Aina Niemetzcmake: Updated and prettified configuration printing.
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: option parsing
2018-09-22 Aina Niemetzcmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug...
2018-09-22 Aina Niemetzcmake: Add ENABLE_BEST to enable best configuration...
2018-09-22 Mathias Preinercmake: Add Java runtime as required dependency (require...
2018-09-22 Mathias Preinercmake: Add convenience wrappers for tag generation.
2018-09-22 Mathias Preinercmake: Add library versioning for libcvc4.so.
2018-09-22 Mathias Preinercmake: Rebase with current master, add new tests/source...
2018-09-22 Mathias Preinercmake: Add missing checks for cvc4autoconfig.h to Confi...
2018-09-22 Mathias Preinercmake: Use target specific includes for libcvc4.
2018-09-22 Mathias Preinercmake: Add missing dependency.
2018-09-22 Mathias Preinercmake: Add support for building static binaries/libraries.
2018-09-22 Mathias Preinercmake: Add options for specifying install directories...
2018-09-22 Mathias Preinercmake: Add module finder for GLPK-cut-log.
2018-09-22 Mathias Preinercmake: Add module finder for ABC.
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java...
2018-09-22 Mathias Preinercmake: Add SWIG support + Python and Java bindings.
2018-09-22 Aina Niemetzcmake: Add dependencies for test targets and support...
2018-09-22 Mathias Preinercmake: Various portfolio/default option fixes.
2018-09-22 Aina Niemetzcmake: Enable parallel execution for test targets regre...
2018-09-22 Aina Niemetzcmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON.
2018-09-22 Aina Niemetzcmake: Added system tests and target make systemtests.
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress.
2018-09-22 Mathias Preinercmake: Add portfolio support.
2018-09-22 Mathias Preinercmake: Add ASAN support.
2018-09-22 Mathias Preinercmake: Enable shared by default.
2018-09-22 Mathias Preinercmake: Disable W-suggest-override for unit tests.
2018-09-22 Aina Niemetzcmake: Add target units.
2018-09-22 Aina Niemetzcmake: Removed obsolete CMakeLists file in test.
2018-09-22 Aina Niemetzcmake: Add support for CxxTest.
2018-09-22 Aina Niemetzcmake: Filter through and disable unused HAVE_* variabl...
2018-09-22 Mathias Preinercmake: Do not set global output directories for binarie...
2018-09-22 Mathias Preinercmake: Fix some includes.
2018-09-22 Aina Niemetzcmake: Added support for coverage and profiling.
2018-09-22 Aina Niemetzcmake: Added 3-valued option handling (to enable detect...
2018-09-22 Mathias Preinercmake: Add module finder for readline.
2018-09-22 Mathias Preinercmake: Generate token headers.
2018-09-22 Aina Niemetzcmake: Added licensing options and warnings/errors.
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED.
2018-09-22 Aina Niemetzcmake: Add build configurations.
2018-09-22 Aina Niemetzcmake: Fixed compiler flag macros.
2018-09-22 Mathias Preinercmake: Add module finder for LFSC.
2018-09-22 Mathias Preinercmake: Add module finder for CaDiCaL.
2018-09-22 Mathias Preinercmake: Add module finder for CryptoMiniSat.
2018-09-22 Mathias Preinercmake: Add module finder for SymFPU.
2018-09-22 Mathias Preinercmake: Add module finder for CLN.
2018-09-22 Mathias Preinercmake: Add libsignatures for proofs.
2018-09-22 Mathias Preinercmake: Remove unused CMakeLists.txt
2018-09-22 Aina Niemetzcmake: Generate cvc4autoconfig.h (options currently...
2018-09-22 Aina Niemetzcmake: Added missing dependency for src/util
2018-09-22 Mathias Preinercmake: Working build infrastructure.
2018-09-22 Mathias Preinercmake: Antlr parser generation done.
2018-09-22 Aina Niemetzcmake: Generate trace and debug tags
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet...
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure.
2018-09-19 Andrew ReynoldsDecision strategy: incorporate arrays. (#2495)
2018-09-19 Andres NoetzliAdd rewrites for str.contains + str.replace/substr...
2018-09-19 Andrew ReynoldsDecision strategy: incorporate separation logic. (...
2018-09-19 Andrew ReynoldsAdd two rewrites for string contains character (#2492)
2018-09-19 Andrew Reynolds Refactor strings extended functions inferences (#2480)
2018-09-19 Aina NiemetzNew C++ API: Introduce new macro and exception for...
2018-09-18 Andres NoetzliFix issue with str.idof in evaluator (#2493)
2018-09-18 Andrew ReynoldsDecision strategy: incorporate strings fmf. (#2485)
2018-09-18 Andrew ReynoldsMore aggressive caching of string skolems. (#2491)
2018-09-18 Andrew ReynoldsMove and rename sygus solver classes (#2488)
2018-09-18 Haniel Barbosafix assertion error (#2487)
2018-09-18 Andrew ReynoldsClean remaining references to getNextDecisionRequest...
next