Age | Commit message (Expand) | Author |
2015-07-30 | Implement virtual term substitution for non-nested quantifiers. Fix soundnes... | ajreynol |
2015-07-27 | minor change to the last fix | Tianyi Liang |
2015-07-27 | Hotfix for substr function. | Tianyi Liang |
2015-04-27 | Disambiguate namespaces in options, fix permissions | Clark Barrett |
2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
2015-04-17 | Patch for Kshitij's fix on requriePhase | Tianyi Liang |
2015-04-09 | Fix unsat-core issues related to rewrite rules, quantifiers preprocessing, an... | ajreynol |
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-25 | Switch back to eager loop temporarily. | Tianyi Liang |
2015-02-24 | minor fix for internal string print | Tianyi Liang |
2015-02-05 | Improved string performance, thanks to Peter's benchmarks. | Tianyi Liang |
2015-01-08 | switch ascii encoding to unsigned char | Tianyi Liang |
2015-01-07 | patch to the last commit | Tianyi Liang |
2015-01-07 | bug fix, thanks to Pierre's report | Tianyi Liang |
2015-01-07 | added initial AX rules; | 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-10 | bug fix, thanks to Guy's example. | 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-12-04 | clean up and improve intersection | Tianyi Liang |
2014-12-02 | disable inter cache | Tianyi Liang |
2014-11-26 | add intersection rewriting | Tianyi Liang |
2014-11-26 | add more regexp rewriting | 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 | bug fix for pierre 0717 | Tianyi Liang |
2014-07-25 | fix for regexp union rewriting | Tianyi Liang |
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-11 | Spelling. | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-24 | Squashed commit of the following: | Morgan Deters |
2014-06-21 | Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, ... | Morgan Deters |
2014-06-19 | dos2unix-convert some sources. | Morgan Deters |
2014-05-30 | Bug fix for string-opt2 (copied from Tianyi's branch). | Morgan Deters |
2014-05-18 | minor fix for string equality engine assertion. | Tianyi Liang |
2014-05-12 | Fix a bug in the IndexOf function. | 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 |