Age | Commit message (Expand) | Author |
2016-06-03 | Remove NodeListMap from strings, fixes memory leaks. Fix for regexp intersect... | ajreynol |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-10-15 | Change semantics of str.substr to allow endpoint out of bounds, and return em... | ajreynol |
2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
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 |
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-10-21 | Fixed bug 589 | 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-01 | Update copyrights. | Morgan Deters |
2014-06-24 | Squashed commit of the following: | 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-05 | add constant regular expression check for intersection. | 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-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-04-10 | minor fix for strings | Tianyi Liang |
2014-03-28 | minor printer fix; intersection fix | Tianyi Liang |
2014-03-27 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-27 | deriv symbolic regexp | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-26 | deriv symbolic regexp | Tianyi Liang |
2014-03-26 | adds intersection | Tianyi Liang |
2014-03-06 | adds incremental for strings; clean-up codes | Tianyi Liang |
2014-02-28 | add re.nostr for the empty regular expression; add re.allchar for the regular... | Tianyi Liang |
2014-02-28 | minor clean-up, bring back derivatives | Tianyi Liang |
2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
2014-02-26 | for merging | Tianyi Liang |
2014-02-21 | reorganize substr, fix some potential bugs, adds cache for preprocessing | Tianyi Liang |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-03 | string fmf changes | Tianyi Liang |
2013-11-11 | length lemma is changed, var-split lemma is changed | Tianyi Liang |
2013-11-06 | bug fix | Tianyi Liang |