summaryrefslogtreecommitdiff
path: root/src/util/regexp.cpp
AgeCommit message (Expand)Author
2020-03-30Rewrites for all remaining return statements in strings rewriter (#4178)Andrew Reynolds
2020-03-30Support indexed operators re.loop and re.^ (#4167)Andrew Reynolds
2020-03-27Move string utility file (#4164)Andrew Reynolds
2020-03-27Support unicode internal representation and escape sequences (#3852)Andrew Reynolds
2020-03-09Convert more uses of strings to words (#3921)Andrew Reynolds
2020-02-24Utilities for words (#3797)Andrew Reynolds
2020-01-29Fix isLeq function in String utility (#3659)Andrew Reynolds
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-07-31Eager conflict detection in strings based on constant prefix/suffix (#3110)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2018-08-26Use uniform length limit for String constants (#2381)Andres Noetzli
2018-08-09 Fix char overflow issues in regular expression solver (#2275)Andrew Reynolds
2018-07-04More cleanup in strings (#2138)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-07Add support for str.code (#1821)Andrew Reynolds
2018-03-23Remove abstract regular expression constant (#1698)Andrew Reynolds
2018-02-27Improve rewriter for string indexof (#1592)Andrew Reynolds
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