summaryrefslogtreecommitdiff
path: root/test/regress/regress0/strings
AgeCommit message (Expand)Author
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-05disable substring in default modeTianyi Liang
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-14Adds Regular Expression support.Tianyi 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-27Some fixes to recent strings commits.Morgan Deters
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