summaryrefslogtreecommitdiff
path: root/test/regress/regress0/strings/substr001.smt2
AgeCommit message (Expand)Author
2014-01-28merge internal and user of charat & substr into oneTianyi Liang
2014-01-16adds partial functionsTianyi Liang
2013-12-26new functions in stringsTianyi Liang
2013-12-05disable substring in default modeTianyi Liang
2013-10-01adds partial function substr. the use of this function should be guarded, esp...Tianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback