Age | Commit message (Expand) | Author |
2016-05-21 | Minor fix for strings. | ajreynol |
2016-05-20 | Minor fix to strings, cleanup in datatypes. | ajreynol |
2016-04-13 | Update native language support for strings. | ajreynol |
2016-02-26 | Refactoring of inferences in strings. Add several options. | 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-15 | Fix congruence check in strings, fixes bug 686. | ajreynol |
2015-10-11 | Fix strings preprocessing + incremental, fixes bug 682. Add initial infrastru... | ajreynol |
2015-10-06 | More improvements to strings rewriter for regexps, contains, indexof, replace... | ajreynol |
2015-10-02 | Improvements to rewriter for regexp, contains, indexof. Improvements and fixe... | ajreynol |
2015-09-28 | Improve quantifiers engine wrt incremental presolve. Add regressions. | 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-09-09 | Fix bug in strings rewriter regarding lengths of substr terms. | ajreynol |
2015-04-17 | Patch for Kshitij's fix on requriePhase | Tianyi Liang |
2015-04-09 | disable string reqressions timing out after change | Kshitij Bansal |
2015-02-05 | Improved string performance, thanks to Peter's benchmarks. | Tianyi Liang |
2015-01-07 | bug fix, thanks to Pierre's report | Tianyi Liang |
2014-12-04 | Relaxed the constant requirement for regular expression loop; | Tianyi Liang |
2014-11-26 | add intersection rewriting | Tianyi Liang |
2014-11-20 | Disable constants sharing in eq engine, disable hack in theory engine. Chang... | ajreynol |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-07-25 | patch for regular expression intersection caching | Tianyi Liang |
2014-05-13 | Add lazy strategy for bounded integers to avoid non-terminating unsat cases. ... | ajreynol |
2014-05-12 | Add a benchmark that detects a bug in parsing. Thank Vijay for his bug report. | Tianyi Liang |
2014-04-29 | add leading zeros support for str.to.int | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-07 | Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodi... | Morgan Deters |
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-20 | fix makefile | Tianyi Liang |
2014-02-20 | add two cases to the regression test | Tianyi Liang |
2014-01-16 | adds partial functions | Tianyi Liang |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-03 | adds LB strategy | Tianyi Liang |
2013-10-21 | add a string test case | Tianyi Liang |
2013-10-20 | adds regular expression range | Tianyi Liang |
2013-10-16 | adds fmf for strings | Tianyi Liang |
2013-10-15 | bug fix: string cache cleaning | Tianyi Liang |
2013-10-14 | add another regexp test | Tianyi Liang |
2013-10-11 | Adds regular expression support, it is actually CFL because of variables. | Tianyi Liang |
2013-10-01 | adds partial function substr. the use of this function should be guarded, esp... | Tianyi Liang |
2013-09-30 | replace with a new method for disequality, move to QF_S | Tianyi Liang |
2013-09-27 | adds communication with arith engine | Tianyi Liang |
2013-09-27 | removes unsound cases, adds unrolling | Tianyi Liang |
2013-09-27 | adds model generation for strings, and a hacked way in arith engine for models | Tianyi Liang |
2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
2013-09-11 | Theory of strings. | Tianyi Liang |