summaryrefslogtreecommitdiff
path: root/src/theory/strings/options
AgeCommit message (Expand)Author
2014-04-28add strings-opt2 for regular splittingTianyi Liang
2014-03-27adds intersectionTianyi Liang
2014-03-07remove unrolling depthTianyi Liang
2014-02-28a new regular expression engine for solving both positive and negative member...Tianyi Liang
2014-02-26bug fix (caused by merge), move cardinality option to expert optionTianyi Liang
2014-01-22Smarter options, but still have a bugTianyi Liang
2013-12-05disable substring in default modeTianyi Liang
2013-12-03adds LB strategyTianyi Liang
2013-11-06change optionsTianyi Liang
2013-10-16adds fmf for stringsTianyi Liang
2013-10-16renames for strings fmfTianyi Liang
2013-10-15bug fix in strings : change from assert to alwaysassertTianyi Liang
2013-10-11Adds regular expression support, it is actually CFL because of variables.Tianyi Liang
2013-09-27removes unsound cases, adds unrollingTianyi Liang
2013-09-11Theory of strings.Tianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback