summaryrefslogtreecommitdiff
path: root/src/util/regexp.cpp
AgeCommit message (Expand)Author
2017-10-27Improve strings rewriter for contains (#1207)Andrew Reynolds
2017-10-18Strings API escape sequences (#1245)Andrew Reynolds
2017-09-18Fix issue #1105 involving string to int (#1112)Andrew Reynolds
2017-07-17Fixing the order of the comparison operation.Tim King
2017-07-13Cleaning up the CVC4::String class.Tim King
2017-07-07Update copyright headers.Mathias Preiner
2016-08-10Improvements to strings: work on propagations for reverse normal form process...ajreynol
2016-04-03Updating the copyright headers and scripts.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-03-28printer change for string smtlib2Tianyi Liang
2015-01-11adjusted to both v2.0 and v2.5 string literalsTianyi Liang
2015-01-08switch ascii encoding to unsigned charTianyi Liang
2014-12-06Added C++/Java api examples;Tianyi Liang
2014-07-01Update copyrights.Morgan Deters
2014-06-19dos2unix-convert some sources.Morgan Deters
2014-05-20Fix compiler warning (missing virtual dtor)Morgan Deters
2014-05-13Reject un-escaped extended ASCII charactersTianyi Liang
2014-05-11Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function.Tianyi Liang
2014-05-07add splitsTianyi Liang
2014-04-29fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlrTianyi Liang
2014-04-28add strings-opt2 for regular splittingTianyi Liang
2014-04-24minor change: add a heuristic for preventing constant splitting.Tianyi Liang
2014-03-28minor printer fix; intersection fixTianyi Liang
2014-03-27adds intersectionTianyi Liang
2014-02-26bug fix (caused by merge), move cardinality option to expert optionTianyi Liang
2014-02-26add a new fileTianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback