projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-09-27 Andrew ReynoldsIncorporate all unification enumerators into getTermLis... commit | commitdiff | tree
2018-09-27 Andrew ReynoldsFix Taylor overapproximation for large exponentials... commit | commitdiff | tree
2018-09-27 Andrew Reynolds Fix homogeneous string constant rewrite (#2545) commit | commitdiff | tree
2018-09-27 Andrew ReynoldsFix bug in getSymbols. (#2544) commit | commitdiff | tree
2018-09-27 Mathias Preinercmake: Only print dumping warning if not disabled by... commit | commitdiff | tree
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems... commit | commitdiff | tree
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) commit | commitdiff | tree
2018-09-26 Andrew ReynoldsEnable quantified array regression. (#2539) commit | commitdiff | tree
2018-09-26 Andrew ReynoldsSymmetry breaking for variable agnostic enumerators... commit | commitdiff | tree
2018-09-26 Aina Niemetzcmake: New INSTALL.md for build and testing instruction... commit | commitdiff | tree
2018-09-26 Mathias Preinercmake: Exclude examples for coverage target. (#2535) commit | commitdiff | tree
2018-09-26 Andrew ReynoldsEagerly ensure literal on active guards for sygus enume... commit | commitdiff | tree
2018-09-26 Mathias Preinercmake: Add check for GCC 4.5.1 and warn user. (#2533) commit | commitdiff | tree
2018-09-26 Aina Niemetzexamples/hashsmt/sha1_inversion: Fix includes for newer... commit | commitdiff | tree
2018-09-25 Aina Niemetzcmake: configure.sh wrapper: Removed unused option... commit | commitdiff | tree
2018-09-25 yoni206carefully printing trusted assertions in proofs (#2505) commit | commitdiff | tree
2018-09-25 Mathias Preinercmake: Fix tag code generation dependencies. (#2529) commit | commitdiff | tree
2018-09-25 Andrew ReynoldsFix warnings uncovered by cmake build (#2521) commit | commitdiff | tree
2018-09-25 Andrew ReynoldsFix quantifiers selector over store rewrite (#2510) commit | commitdiff | tree
2018-09-25 Andrew ReynoldsAllow partial models for multiple sygus enumerators... commit | commitdiff | tree
2018-09-25 Andrew ReynoldsInfrastructure for variable agnostic sygus enumerators... commit | commitdiff | tree
2018-09-25 Andrew Reynolds Improve non-linear check model error handling (#2497) commit | commitdiff | tree
2018-09-25 Andrew ReynoldsRefactor strings equality rewriting (#2513) commit | commitdiff | tree
2018-09-25 Mathias Preinercmake: Fix dependencies for code generation. (#2524) commit | commitdiff | tree
2018-09-25 Mathias PreinerFix wiki urls. (#2504) commit | commitdiff | tree
2018-09-25 Aina Niemetzcmake: Fix git version info (again). (#2523) commit | commitdiff | tree
2018-09-24 Mathias Preinercmake: Fix theory order #2. (#2522) commit | commitdiff | tree
2018-09-24 Andres NoetzliUnify rewrites related to (str.contains x y) --> (... commit | commitdiff | tree
2018-09-24 Mathias Preinercmake: Fix theory order. (#2518) commit | commitdiff | tree
2018-09-24 Andres NoetzliMake string rewriter unit tests more robust (#2520) commit | commitdiff | tree
2018-09-24 Aina Niemetzcmake: Fix and simplify git version info. (#2516) commit | commitdiff | tree
2018-09-24 Mathias Preinercmake: Add program prefix option. (#2515) commit | commitdiff | tree
2018-09-24 Mathias PreinerFix generating debug/trace tags. commit | commitdiff | tree
2018-09-23 Aina Niemetz New C++ API: Add checks for Terms/OpTerms. (#2455) commit | commitdiff | tree
2018-09-23 Andrew ReynoldsFix regress2. (#2502) commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add python3 option. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Enable -Wall. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Fix systemtests dependency. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Run make coverage in parallel by default. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Use explicit build directo... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: configure wrapper: Modify next steps message... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Refactor cvc4_add_unit_test macro to support... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Guard GetGitRevisionDescription. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add target runexamples. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Require JUnit version 4. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Do not allow dumping with portfolio build. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: More documentation, clean up. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Move extracting git information to src/base... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Guard examples that require Boost. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Disable unit tests if assertions are not enabled. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: FindANTLR: Check if antlr3FileStreamNew is avail... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Fixes for sh. commit | commitdiff | tree
2018-09-22 Mathias Preinertravis: Switch to cmake. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Do not build examples and unit and system tests... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Add --name option. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: examples: Configure output directory per target. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added java examples commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Add --prefix for install... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add some more documentation, cleanup. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Move helper functions to cmake/Helpers.cmake. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added target examples (currently .cpp examples... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Simplify build type configuration. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Refactor and clean up build profile printing. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added target check commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add make install rule. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Fix handling of options... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for Valgrind. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Removed env vars help... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Configurable build directory commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Create build dirs for... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: done (except: configurable... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Updated and prettified configuration printing. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: option parsing commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add ENABLE_BEST to enable best configuration... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add Java runtime as required dependency (require... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add convenience wrappers for tag generation. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add library versioning for libcvc4.so. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Rebase with current master, add new tests/source... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add missing checks for cvc4autoconfig.h to Confi... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Use target specific includes for libcvc4. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add missing dependency. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add support for building static binaries/libraries. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add options for specifying install directories... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for GLPK-cut-log. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for ABC. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add SWIG support + Python and Java bindings. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add dependencies for test targets and support... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Various portfolio/default option fixes. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Enable parallel execution for test targets regre... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added system tests and target make systemtests. commit | commitdiff | tree
next