| Age | Commit message (Expand) | Author |
|---|
| 2018-02-06 | Resolving warnings from -Winconsistent-missing-override on clang. (#1563) | Tim King |
| 2018-02-06 | Fix rewrite for string replace (#1537) | Andrew Reynolds |
| 2018-01-10 | Removing throw specifiers for TypeRules. (#1501) | Tim King |
| 2018-01-10 | Removing throw specifiers from type enumerators. (#1502) | Tim King |
| 2018-01-02 | Improve rewriter for string equality (#1427) | Andrew Reynolds |
| 2017-12-08 | Make collect model info return a Bool (#1421) | Andrew Reynolds |
| 2017-12-06 | Remove CDChunkList (#1414) | Andres Noetzli |
| 2017-12-04 | Fix strings rewriter for strip constant endpoint reverse direction (#1424) | Andrew Reynolds |
| 2017-12-01 | Improve rewriter for string replace (#1416) | Andrew Reynolds |
| 2017-11-30 | Fixes for issue 1404 (#1409) | Andrew Reynolds |
| 2017-11-28 | Improve rewrite for string substr (#1337) | Andrew Reynolds |
| 2017-11-13 | Initializes RegExpOpr::d_char_start and d_char_end. (#1359) | Tim King |
| 2017-11-05 | Improve rewriting for string contains part 2 (#1300) | Andrew Reynolds |
| 2017-10-27 | Improve strings rewriter for contains (#1207) | Andrew Reynolds |
| 2017-09-11 | Adding reasonable breaks in switch statement in TheoryStrings::normalizeRegex... | Tim King |
| 2017-09-11 | Addressing a coverity scan complaint in theory_strings.cpp. I believe the roo... | Tim King |
| 2017-09-05 | Remove support for conversions between uint32/uint16 and string. (#1069) | Andrew Reynolds |
| 2017-08-24 | Merge pull request #191 from timothy-king/cleanup-regexp | Andrew Reynolds |
| 2017-08-21 | Cleanup: use Assert rather than C assert. (#1052) | Aina Niemetz |
| 2017-07-29 | Add support for charat in native language, minor cleanup. | ajreynol |
| 2017-07-28 | Fix cache issues for cyclic string equations. | ajreynol |
| 2017-07-13 | Cleaning up the CVC4::String class. | Tim King |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-05-10 | Do not split on cardinality for string equivalence classes with non-constant ... | ajreynol |
| 2017-05-09 | Change str.replace for empty string. | ajreynol |
| 2017-04-05 | Fix several spelling errors | Fabian Wolff |
| 2017-04-04 | Simplify Theory::collectModelInfo interface to not take deprecated fullModel ... | ajreynol |
| 2017-03-27 | Minor cleanups to ExtTheory. | Tim King |
| 2017-03-27 | Merge pull request #137 from 4tXJ7f/throw_quals | Clark Barrett |
| 2017-03-27 | Making the ExtTheory object a private member of Theory. | Tim King |
| 2017-03-27 | Remove throw qualifiers in type enumerators | Andres Notzli |
| 2017-03-22 | Fix more cases of rewritten explanations in strings for bug 784. Minor. | ajreynol |
| 2017-03-21 | Improve computeCareGraph functions to check shared term equality status once ... | ajreynol |
| 2017-03-03 | Fix for collectModelInfo related to finite types + preregistration. Generaliz... | ajreynol |
| 2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
| 2017-01-30 | Fix regexp cache issue in strings, add regression. | ajreynol |
| 2017-01-13 | Do not rewrite explanations in strings. | ajreynol |
| 2016-12-07 | Add sets regression, fixes bug 754. Minor fix to regexp in strings. | ajreynol |
| 2016-12-07 | Fix nf exp tracking for non-linear string equalities, fixes bug 768. | ajreynol |
| 2016-12-01 | Improvement and bug fix for str.indexof reduction, add regression. Other mino... | ajreynol |
| 2016-11-18 | Add support for set-logic ALL, fix compiler error in GCC 6.1 | Clark Barrett |
| 2016-11-08 | Minor fixes related to ExtTheory + incremental, fixes bug760. | ajreynol |
| 2016-11-03 | Add priorities to getNextDecision. Properly handle case for finite types + un... | ajreynol |
| 2016-10-13 | Merging bv parts of ajr/bvExt branch, minor additions to ExtTheory. | ajreynol |
| 2016-10-01 | Incorporate non-bv parts of ajr/bvExt branch | ajreynol |
| 2016-09-29 | Address some coverity warnings, add another stat. | ajreynol |
| 2016-09-25 | Disambiguating a type issue. Coverity scan reported a MISMATCHED_ITERATOR here. | Tim King |
| 2016-09-18 | Minor fix for strings | ajreynol |
| 2016-08-26 | Basic support for EPR+CBQI. Minor cleanup. | ajreynol |
| 2016-08-16 | Initial infrastructure for ExtTheory, generalize extended term handling in Th... | ajreynol |
