cvc5.git
2018-09-27 Andrew ReynoldsIncorporate all unification enumerators into getTermLis...
2018-09-27 Andrew ReynoldsFix Taylor overapproximation for large exponentials...
2018-09-27 Andrew Reynolds Fix homogeneous string constant rewrite (#2545)
2018-09-27 Andrew ReynoldsFix bug in getSymbols. (#2544)
2018-09-27 Mathias Preinercmake: Only print dumping warning if not disabled by...
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems...
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540)
2018-09-26 Andrew ReynoldsEnable quantified array regression. (#2539)
2018-09-26 Andrew ReynoldsSymmetry breaking for variable agnostic enumerators...
2018-09-26 Aina Niemetzcmake: New INSTALL.md for build and testing instruction...
2018-09-26 Mathias Preinercmake: Exclude examples for coverage target. (#2535)
2018-09-26 Andrew ReynoldsEagerly ensure literal on active guards for sygus enume...
2018-09-26 Mathias Preinercmake: Add check for GCC 4.5.1 and warn user. (#2533)
2018-09-26 Aina Niemetzexamples/hashsmt/sha1_inversion: Fix includes for newer...
2018-09-25 Aina Niemetzcmake: configure.sh wrapper: Removed unused option...
2018-09-25 yoni206carefully printing trusted assertions in proofs (#2505)
2018-09-25 Mathias Preinercmake: Fix tag code generation dependencies. (#2529)
2018-09-25 Andrew ReynoldsFix warnings uncovered by cmake build (#2521)
2018-09-25 Andrew ReynoldsFix quantifiers selector over store rewrite (#2510)
2018-09-25 Andrew ReynoldsAllow partial models for multiple sygus enumerators...
2018-09-25 Andrew ReynoldsInfrastructure for variable agnostic sygus enumerators...
2018-09-25 Andrew Reynolds Improve non-linear check model error handling (#2497)
2018-09-25 Andrew ReynoldsRefactor strings equality rewriting (#2513)
2018-09-25 Mathias Preinercmake: Fix dependencies for code generation. (#2524)
2018-09-25 Mathias PreinerFix wiki urls. (#2504)
2018-09-25 Aina Niemetzcmake: Fix git version info (again). (#2523)
2018-09-24 Mathias Preinercmake: Fix theory order #2. (#2522)
2018-09-24 Andres NoetzliUnify rewrites related to (str.contains x y) --> (...
2018-09-24 Mathias Preinercmake: Fix theory order. (#2518)
2018-09-24 Andres NoetzliMake string rewriter unit tests more robust (#2520)
2018-09-24 Aina Niemetzcmake: Fix and simplify git version info. (#2516)
2018-09-24 Mathias Preinercmake: Add program prefix option. (#2515)
2018-09-24 Mathias PreinerFix generating debug/trace tags.
2018-09-23 Aina Niemetz New C++ API: Add checks for Terms/OpTerms. (#2455)
2018-09-23 Andrew ReynoldsFix regress2. (#2502)
2018-09-22 Mathias Preinercmake: Add python3 option.
2018-09-22 Mathias Preinercmake: Enable -Wall.
2018-09-22 Mathias Preinercmake: Fix systemtests dependency.
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static.
2018-09-22 Mathias Preinercmake: Run make coverage in parallel by default.
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup.
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Use explicit build directo...
2018-09-22 Mathias Preinercmake: configure wrapper: Modify next steps message...
2018-09-22 Mathias Preinercmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.
2018-09-22 Aina Niemetzcmake: Refactor cvc4_add_unit_test macro to support...
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.
next