summaryrefslogtreecommitdiff
path: root/src/theory/strings
AgeCommit message (Expand)Author
2018-05-21Infrastructure for strings strategies (#1883)Andrew Reynolds
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-07Add support for str.code (#1821)Andrew Reynolds
2018-04-16Make 256 the default cardinality for strings (#1783)Andrew Reynolds
2018-04-15Make strings fmf apply to all but internally generated Skolems (#1780)Andrew Reynolds
2018-04-15Fix type error with regexp (#1778)Andrew Reynolds
2018-04-13Disable split for negative contains. (#1774)Andrew Reynolds
2018-03-26Better normalization of string concatenation (#1719)Andres Noetzli
2018-03-26 Add reasoning for inequalities in str rewriter (#1713)Andres Noetzli
2018-03-26Rewrites for substr of strings of length one (#1712)Andres Noetzli
2018-03-25Cleanup various exit calls (#1692)Andrew Reynolds
2018-03-23Remove abstract regular expression constant (#1698)Andrew Reynolds
2018-03-23Remove unused code (#1700)Andrew Reynolds
2018-03-21More rewrites for indexof (#1648)Andrew Reynolds
2018-03-21Fix for string disequality processing (#1679)Andrew Reynolds
2018-03-19Document inferences for strings (#1642)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Update semantics for string indexof and replace (#1630)Andrew Reynolds
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-27Improve rewriter for string indexof (#1592)Andrew Reynolds
2018-02-23Fix cd-simplification for strings (#1624)Andrew Reynolds
2018-02-22Minor improvements to string rewriter (#1572)Andrew Reynolds
2018-02-06Resolving warnings from -Winconsistent-missing-override on clang. (#1563)Tim King
2018-02-06Fix rewrite for string replace (#1537)Andrew Reynolds
2018-01-10Removing throw specifiers for TypeRules. (#1501)Tim King
2018-01-10Removing throw specifiers from type enumerators. (#1502)Tim King
2018-01-02Improve rewriter for string equality (#1427)Andrew Reynolds
2017-12-08Make collect model info return a Bool (#1421)Andrew Reynolds
2017-12-06Remove CDChunkList (#1414)Andres Noetzli
2017-12-04Fix strings rewriter for strip constant endpoint reverse direction (#1424)Andrew Reynolds
2017-12-01Improve rewriter for string replace (#1416)Andrew Reynolds
2017-11-30Fixes for issue 1404 (#1409)Andrew Reynolds
2017-11-28Improve rewrite for string substr (#1337)Andrew Reynolds
2017-11-13Initializes RegExpOpr::d_char_start and d_char_end. (#1359)Tim King
2017-11-05Improve rewriting for string contains part 2 (#1300)Andrew Reynolds
2017-10-27Improve strings rewriter for contains (#1207)Andrew Reynolds
2017-09-11Adding reasonable breaks in switch statement in TheoryStrings::normalizeRegex...Tim King
2017-09-11Addressing a coverity scan complaint in theory_strings.cpp. I believe the roo...Tim King
2017-09-05Remove support for conversions between uint32/uint16 and string. (#1069)Andrew Reynolds
2017-08-24Merge pull request #191 from timothy-king/cleanup-regexpAndrew Reynolds
2017-08-21Cleanup: use Assert rather than C assert. (#1052)Aina Niemetz
2017-07-29Add support for charat in native language, minor cleanup.ajreynol
2017-07-28Fix cache issues for cyclic string equations.ajreynol
2017-07-13Cleaning up the CVC4::String class.Tim King
2017-07-07Update copyright headers.Mathias Preiner
2017-05-10Do not split on cardinality for string equivalence classes with non-constant ...ajreynol
2017-05-09Change str.replace for empty string.ajreynol
2017-04-05Fix several spelling errorsFabian Wolff
2017-04-04Simplify Theory::collectModelInfo interface to not take deprecated fullModel ...ajreynol
2017-03-27Minor cleanups to ExtTheory.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback