Age | Commit message (Expand) | Author |
2015-10-02 | Improvements to rewriter for regexp, contains, indexof. Improvements and fixe... | ajreynol |
2015-10-01 | Evaluate extended operators on partially concrete arguments. More aggressive ... | ajreynol |
2015-10-01 | More improvements to strings. More aggressive inference of constant eqc, redu... | ajreynol |
2015-09-30 | Refactor strings, bug fix inferences vs lemmas. | ajreynol |
2015-09-28 | Minor fix | ajreynol |
2015-09-28 | Minor fixes to strings, add regressions. | ajreynol |
2015-09-28 | Fix bug for trivial extf inferences in strings. Improve caching for splits in... | ajreynol |
2015-09-27 | Improved handling of extended operators. Do preprocess on memberships eagerl... | ajreynol |
2015-09-26 | Lazy preprocessing of extended operators in strings. Add regressions. Fixes ... | ajreynol |
2015-09-09 | Fix bug in strings rewriter regarding lengths of substr terms. | ajreynol |
2015-08-17 | fix for bug663 | Tianyi Liang |
2015-07-30 | Implement virtual term substitution for non-nested quantifiers. Fix soundnes... | ajreynol |
2015-04-17 | Patch for Kshitij's fix on requriePhase | Tianyi Liang |
2015-04-09 | Bug fix negative contains cache. | ajreynol |
2015-03-25 | change const are triggers from false to true in equality engines | Kshitij Bansal |
2015-03-16 | Add requirePhase len(x) = 0. | Tianyi Liang |
2015-03-11 | Strings split on constant lengths, add length=0 to split lemma for empty string. | ajreynol |
2015-02-05 | Improved string performance, thanks to Peter's benchmarks. | Tianyi Liang |
2014-12-26 | Adding an option to the equality engine constructor to treat all constants as | Dejan Jovanovic |
2014-12-22 | bug fix for constant regular expression model building | Tianyi Liang |
2014-12-06 | Added C++/Java api examples; | Tianyi Liang |
2014-12-04 | Relaxed the constant requirement for regular expression loop; | Tianyi Liang |
2014-11-26 | add more functions for regular expressions | Tianyi Liang |
2014-11-20 | Disable constants sharing in eq engine, disable hack in theory engine. Chang... | ajreynol |
2014-11-17 | New, uniform checkTime statistic for all theories (as discussed in meeting). | Morgan Deters |
2014-11-09 | Update TheoryStrings to use CDHashSet<>::key_begin() / key_end(). | Morgan Deters |
2014-10-21 | Fixed bug 589 | Tianyi Liang |
2014-10-17 | Minor change for performance according to Andy's suggestion. | Tianyi Liang |
2014-09-03 | check() optimization | Kshitij Bansal |
2014-07-25 | patch for regular expression intersection caching | Tianyi Liang |
2014-07-24 | merging... | Tianyi Liang |
2014-07-24 | add delayed length lemmas | Tianyi Liang |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-24 | Squashed commit of the following: | Morgan Deters |
2014-05-18 | minor fix for string equality engine assertion. | Tianyi Liang |
2014-05-11 | Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function. | Tianyi Liang |
2014-05-07 | patch to the last commit: add a single character case | Tianyi Liang |
2014-05-07 | fix a bug in contain | Tianyi Liang |
2014-05-07 | add splits | Tianyi Liang |
2014-05-05 | fix a bug in replace and contains | Tianyi Liang |
2014-04-29 | fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlr | Tianyi Liang |
2014-04-28 | add strings-opt2 for regular splitting | Tianyi Liang |
2014-04-28 | Merge remote-tracking branch 'upstream/master' into sets | Kshitij Bansal |
2014-04-24 | minor change: add a heuristic for preventing constant splitting. | Tianyi Liang |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
2014-03-28 | minor printer fix; intersection fix | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-27 | deriv symbolic regexp | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |