summaryrefslogtreecommitdiff
path: root/test/regress/regress0/strings/Makefile.am
AgeCommit message (Expand)Author
2014-07-25patch for regular expression intersection cachingTianyi Liang
2014-05-13Add lazy strategy for bounded integers to avoid non-terminating unsat cases. ...ajreynol
2014-05-12Add a benchmark that detects a bug in parsing. Thank Vijay for his bug report.Tianyi Liang
2014-04-29add leading zeros support for str.to.intTianyi Liang
2014-03-27adds new feature: re.loopTianyi Liang
2014-03-07Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodi...Morgan Deters
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-02-20fix makefileTianyi Liang
2014-02-20add two cases to the regression testTianyi Liang
2014-01-16adds partial functionsTianyi Liang
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-03adds LB strategyTianyi Liang
2013-10-21add a string test caseTianyi Liang
2013-10-20adds regular expression rangeTianyi Liang
2013-10-16adds fmf for stringsTianyi Liang
2013-10-15bug fix: string cache cleaningTianyi Liang
2013-10-14add another regexp testTianyi Liang
2013-10-11Adds regular expression support, it is actually CFL because of variables.Tianyi Liang
2013-10-01adds partial function substr. the use of this function should be guarded, esp...Tianyi Liang
2013-09-30replace with a new method for disequality, move to QF_STianyi Liang
2013-09-27adds communication with arith engineTianyi Liang
2013-09-27removes unsound cases, adds unrollingTianyi Liang
2013-09-27adds model generation for strings, and a hacked way in arith engine for modelsTianyi Liang
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-09-11Theory of strings.Tianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback