cvc5.git
2018-10-04 Andres NoetzliOnly use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)
2018-10-04 Andrew ReynoldsFix end constraint for regexp elimination (#2571)
2018-10-04 Andrew ReynoldsClean remaining references to getNextDecisionRequest...
2018-10-04 Aina NiemetzFix mem leak in sha1_collision example. (#2588)
2018-10-04 Aina NiemetzFix mem leak in sets_translate example. (#2589)
2018-10-04 Andrew ReynoldsSimplify datatypes printing (#2573)
2018-10-04 Aina NiemetzFix compiler warnings. (#2585)
2018-10-03 Andrew ReynoldsFix regress (#2575)
2018-10-03 Andrew ReynoldsAdd actively generated sygus enumerators (#2552)
2018-10-03 Haniel BarbosaMake CegisUnif with condition independent robust to...
2018-10-03 Andrew ReynoldsFix stale op list in sets (#2572)
2018-10-03 Andrew ReynoldsEliminate partial operators within lambdas during gramm...
2018-10-03 Andres Noetzlicmake: Display skipped tests as not run (#2567)
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566)
2018-10-03 Mathias Preinerunit: Fix ASAN detection for GCC. (#2561)
2018-10-02 Andres NoetzliMake registration of preprocessing passes explicit...
2018-10-02 Alex OzdemirFix documentation for `make regress`. (#2557)
2018-10-02 Mathias Preinercmake: Add examples to build-tests, add warning for...
2018-10-02 Andres NoetzliFix "catching polymorphic type by value" warnings ...
2018-10-01 Mathias Preinercmake: Generate compile_commands.json on configure...
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test...
2018-10-01 Haniel Barbosainit scalar class members (coverity issues 1473720...
2018-10-01 Aina NiemetzFix compiler warnings. (#2555)
2018-10-01 Andres Noetzli Fix dumping pre/post preprocessing passes (#2469)
2018-10-01 Andres NoetzliRefactor preprocessing pass registration (#2468)
2018-09-30 Andrew ReynoldsAdd rewrite for solving stoi (#2532)
2018-09-30 Mathias Preinercmake: Ignore ctest exit code for coverage reports.
2018-09-29 Haniel BarbosaStream concrete values for variable agnostic enumerator...
2018-09-28 Andres NoetzliRewrites for (= "" _) and (= (str.replace _) _) (#2546)
2018-09-28 Andres Noetzlicmake: Only do Java tests when unit testing on (#2551)
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths...
2018-09-27 Andrew ReynoldsRemove assertion. (#2549)
2018-09-27 Andrew ReynoldsInfrastructure for using active enumerators in sygus...
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.
next