| Age | Commit message (Expand) | Author |
|---|
| 2016-01-28 | Adding listeners to Options. | Tim King |
| 2016-01-05 | Add SmtGlobals Class | Tim King |
| 2015-10-21 | Minor refactoring in strings related to length. | ajreynol |
| 2015-10-20 | Refactor strings, remove old cycle checks in normalize eqc. | ajreynol |
| 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 | Fix congruence check in strings, fixes bug 686. | ajreynol |
| 2015-10-15 | Change semantics of str.substr to allow endpoint out of bounds, and return em... | ajreynol |
| 2015-10-15 | Decompose string contains, minor refactoring. | 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-06 | More improvements to strings rewriter for regexps, contains, indexof, replace... | ajreynol |
| 2015-10-02 | Fixes related to explanations for cycles, sym inferences. Minor fixes and imp... | 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 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-07-30 | Implement virtual term substitution for non-nested quantifiers. Fix soundnes... | ajreynol |
| 2015-02-05 | Improved string performance, thanks to Peter's benchmarks. | 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-10-21 | Fixed bug 589 | Tianyi Liang |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-06-24 | Squashed commit of the following: | Morgan Deters |
| 2014-05-11 | Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function. | 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-24 | minor change: add a heuristic for preventing constant splitting. | Tianyi Liang |
| 2014-03-27 | deriv symbolic regexp | Tianyi Liang |
| 2014-03-27 | adds intersection | Tianyi Liang |
| 2014-03-19 | Refactor the theory specific parts of definition expansion into the theory so... | Martin Brain |
| 2014-03-17 | hot fix for pre-reg term caching in strings | Tianyi Liang |
| 2014-03-10 | adds intro vars length cache | Tianyi Liang |
| 2014-03-06 | adds incremental for strings; clean-up codes | Tianyi Liang |
| 2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
| 2014-02-21 | reorganize substr, fix some potential bugs, adds cache for preprocessing | Tianyi Liang |
| 2014-02-17 | type conversion | Tianyi Liang |
| 2014-02-13 | fix expanding def | Tianyi Liang |
| 2014-02-12 | bug fix for reverse check | Tianyi Liang |
| 2014-01-31 | Substr fix: (= (str.substr "" 0 3) "xxx") should be SAT in the defintion of S... | Tianyi Liang |
| 2014-01-30 | stats for eq/diseq splits | Tianyi Liang |
| 2014-01-30 | another name change | Tianyi Liang |
| 2014-01-30 | adds stats | Tianyi Liang |
| 2014-01-29 | roll back to uf implementation for substr and charat | Tianyi Liang |
| 2014-01-28 | merge internal and user of charat & substr into one | Tianyi Liang |
| 2014-01-25 | replace charat uf with internal one | Tianyi Liang |
