summaryrefslogtreecommitdiff
path: root/src/theory/strings/theory_strings.cpp
AgeCommit message (Expand)Author
2018-07-02Remove some dead code from theory strings (#2125)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
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-25Cleanup various exit calls (#1692)Andrew Reynolds
2018-03-23Remove unused code (#1700)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-02-23Fix cd-simplification for strings (#1624)Andrew Reynolds
2018-02-22Minor improvements to string rewriter (#1572)Andrew Reynolds
2018-01-02Improve rewriter for string equality (#1427)Andrew Reynolds
2017-12-08Make collect model info return a Bool (#1421)Andrew Reynolds
2017-11-30Fixes for issue 1404 (#1409)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-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-07Update copyright headers.Mathias Preiner
2017-05-10Do not split on cardinality for string equivalence classes with non-constant ...ajreynol
2017-04-04Simplify Theory::collectModelInfo interface to not take deprecated fullModel ...ajreynol
2017-03-27Minor cleanups to ExtTheory.Tim King
2017-03-27Making the ExtTheory object a private member of Theory.Tim King
2017-03-22Fix more cases of rewritten explanations in strings for bug 784. Minor.ajreynol
2017-03-21Improve computeCareGraph functions to check shared term equality status once ...ajreynol
2017-03-03Fix for collectModelInfo related to finite types + preregistration. Generaliz...ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2017-01-30Fix regexp cache issue in strings, add regression.ajreynol
2017-01-13Do not rewrite explanations in strings.ajreynol
2016-12-07Add sets regression, fixes bug 754. Minor fix to regexp in strings.ajreynol
2016-12-07Fix nf exp tracking for non-linear string equalities, fixes bug 768.ajreynol
2016-11-18Add support for set-logic ALL, fix compiler error in GCC 6.1Clark Barrett
2016-11-08Minor fixes related to ExtTheory + incremental, fixes bug760.ajreynol
2016-11-03Add priorities to getNextDecision. Properly handle case for finite types + un...ajreynol
2016-10-13Merging bv parts of ajr/bvExt branch, minor additions to ExtTheory.ajreynol
2016-10-01Incorporate non-bv parts of ajr/bvExt branchajreynol
2016-09-25Disambiguating a type issue. Coverity scan reported a MISMATCHED_ITERATOR here.Tim King
2016-09-18Minor fix for stringsajreynol
2016-08-26Basic support for EPR+CBQI. Minor cleanup.ajreynol
2016-08-16Initial infrastructure for ExtTheory, generalize extended term handling in Th...ajreynol
2016-08-11Minor change to strings, introduce proxy vars only when necessary.ajreynol
2016-08-10Improvements to strings: work on propagations for reverse normal form process...ajreynol
2016-07-30Prioritize inferences when processing normal forms in strings.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback