| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2016-08-11 | Minor change to strings, introduce proxy vars only when necessary. | ajreynol |
| 2016-08-10 | Improvements to strings: work on propagations for reverse normal form process... | ajreynol |
| 2016-07-30 | Prioritize inferences when processing normal forms in strings. | ajreynol |
| 2016-07-26 | Minor improvements to strings related to constant splitting, including a few ... | ajreynol |
| 2016-07-21 | Fixes for strings, explanations for constant split propagations, substr under... | ajreynol |
| 2016-07-20 | Infer conflicts in strings based on abstracting equality as contains. Minor c... | ajreynol |
| 2016-07-19 | Add infrastructure for tracking instantiation lemmas (for proofs, and minimiz... | ajreynol |
| 2016-07-16 | Refactor strings extf evaluation info. Ensure strings eager preprocess elimin... | ajreynol |
| 2016-07-15 | Minor simplification to normal form explanations. | ajreynol |
| 2016-07-08 | Minor fix to last commit. | ajreynol |
| 2016-07-07 | Simplifications for strings normal forms, fix case for concat reps in normal ... | ajreynol |
| 2016-07-07 | Refactoring of strings preprocess module. When enabled, apply eager preproces... | ajreynol |
| 2016-07-06 | Minor cleanup in strings, mostly related to negated str.contains. | ajreynol |
| 2016-07-06 | Add comment field for model, resolves hack for printing sep logic models. | ajreynol |
