Age | Commit message (Expand) | Author |
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 |
2014-05-07 | add splits | Tianyi Liang |
2014-05-05 | fix a bug in replace and contains | Tianyi Liang |
2014-05-05 | add constant regular expression check for intersection. | Tianyi Liang |
2014-04-29 | Fix warnings, cleanup in strings typechecker. | Morgan Deters |
2014-04-29 | fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlr | Tianyi Liang |
2014-04-29 | add leading zeros support for str.to.int | 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-19 | fix warnings in strings/ | Kshitij Bansal |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-04-10 | minor fix for strings | Tianyi Liang |
2014-04-01 | windows build fix for UINT32_MAX | Tianyi Liang |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |