Age | Commit message (Expand) | Author |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-11-21 | Support string replace all (#2704) | Andrew Reynolds |
2018-11-07 | Fix for itos reduction (#2691) | Andrew Reynolds |
2018-10-18 | Improve reduction for str.to.int (#2636) | Andrew Reynolds |
2018-10-16 | Improve reduction for int.to.str (#2629) | Andrew Reynolds |
2018-09-18 | More aggressive caching of string skolems. (#2491) | Andrew Reynolds |
2018-09-17 | More aggressive skolem caching for strings, document and clean preprocessor (... | Andrew Reynolds |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-05-08 | Support for str.<= and str.< (#1882) | Andrew Reynolds |
2018-03-05 | Update semantics for string indexof and replace (#1630) | Andrew Reynolds |
2017-09-05 | Remove support for conversions between uint32/uint16 and string. (#1069) | Andrew Reynolds |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-12-01 | Improvement and bug fix for str.indexof reduction, add regression. Other mino... | ajreynol |
2016-07-19 | Add infrastructure for tracking instantiation lemmas (for proofs, and minimiz... | ajreynol |
2016-07-16 | Refactor strings extf evaluation info. Ensure strings eager preprocess elimin... | ajreynol |
2016-07-07 | Refactoring of strings preprocess module. When enabled, apply eager preproces... | ajreynol |
2016-07-06 | Add comment field for model, resolves hack for printing sep logic models. | ajreynol |
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-20 | Clean up explanations involving string length. Add regression. | ajreynol |
2015-10-19 | Improve stratification of strings extended function reductions, add regressio... | ajreynol |
2015-10-19 | Improve regexp rewriter, simplify regexp preprocess, add basic trans closure ... | ajreynol |
2015-10-15 | Change semantics of str.substr to allow endpoint out of bounds, and return em... | ajreynol |
2015-10-11 | Fix strings preprocessing + incremental, fixes bug 682. Add initial infrastru... | ajreynol |
2015-10-08 | Minor improvements to strings. Refactor rewriter. Enable fairness for multipl... | ajreynol |
2015-10-02 | Fixes related to explanations for cycles, sym inferences. Minor fixes and imp... | ajreynol |
2015-10-02 | Improvements to rewriter for regexp, contains, indexof. Improvements and fixe... | 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-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-04-09 | Fix unsat-core issues related to rewrite rules, quantifiers preprocessing, an... | ajreynol |
2015-02-05 | Improved string performance, thanks to Peter's benchmarks. | Tianyi Liang |
2014-10-21 | Fixed bug 589 | Tianyi Liang |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-05-12 | Fix a bug in the IndexOf function. | Tianyi Liang |
2014-05-07 | fix a bug in contain | 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-29 | add leading zeros support for str.to.int | Tianyi Liang |
2014-04-28 | add strings-opt2 for regular splitting | Tianyi Liang |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
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 |
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 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2014-02-24 | bug fix: strings preprocess for the orignal term, causing unknown in some cases | Tianyi Liang |