2017-01-30 |
ajreynol | Fix regexp cache issue in strings, add regression. |
blob | commitdiff | raw |
2016-12-07 |
ajreynol | Fix nf exp tracking for non-linear string equalities... |
blob | commitdiff | raw | diff to current |
2016-12-02 |
Clark Barrett | Merge pull request #113 from 4tXJ7f/remove_extract_rule |
blob | commitdiff | raw | diff to current |
2016-12-01 |
ajreynol | Improvement and bug fix for str.indexof reduction,... |
blob | commitdiff | raw | diff to current |
2016-11-18 |
Clark Barrett | Merge pull request #110 from 4tXJ7f/fix_makefiles |
blob | commitdiff | raw | diff to current |
2016-11-18 |
Andres Notzli | Fix Makefiles in test |
blob | commitdiff | raw | diff to current |
2016-10-21 |
ajreynol | Move slow regress0 benchmarks to regress1, increment... |
blob | commitdiff | raw | diff to current |
2016-08-24 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2016-08-12 |
ajreynol | Add a few more regressions. |
blob | commitdiff | raw | diff to current |
2016-08-12 |
guykatzz | Merge pull request #90 from 4tXJ7f/fewer_preproc_holes |
blob | commitdiff | raw | diff to current |
2016-08-10 |
ajreynol | Improvements to strings: work on propagations for rever... |
blob | commitdiff | raw | diff to current |
2016-07-25 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-07-21 |
ajreynol | Fixes for strings, explanations for constant split... |
blob | commitdiff | raw | diff to current |
2016-07-20 |
ajreynol | Infer conflicts in strings based on abstracting equalit... |
blob | commitdiff | raw | diff to current |
2016-07-08 |
ajreynol | Minor fix to last commit. |
blob | commitdiff | raw | diff to current |
2016-07-08 |
ajreynol | Simplifications for strings normal forms, fix case... |
blob | commitdiff | raw | diff to current |
2016-07-07 |
ajreynol | Refactoring of strings preprocess module. When enabled... |
blob | commitdiff | raw | diff to current |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
blob | commitdiff | raw | diff to current |
2016-05-21 |
ajreynol | Minor fix for strings. |
blob | commitdiff | raw | diff to current |
2016-05-20 |
ajreynol | Minor fix to strings, cleanup in datatypes. |
blob | commitdiff | raw | diff to current |
2016-04-20 |
PaulMeng | update from the master |
blob | commitdiff | raw | diff to current |
2016-04-14 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-04-13 |
ajreynol | Update native language support for strings. |
blob | commitdiff | raw | diff to current |
2016-02-26 |
ajreynol | Refactoring of inferences in strings. Add several options. |
blob | commitdiff | raw | diff to current |
2015-10-19 |
ajreynol | Clean up explanations involving string length. Add... |
blob | commitdiff | raw | diff to current |
2015-10-19 |
ajreynol | Improve stratification of strings extended function... |
blob | commitdiff | raw | diff to current |
2015-10-15 |
ajreynol | Fix congruence check in strings, fixes bug 686. |
blob | commitdiff | raw | diff to current |
2015-10-11 |
ajreynol | Fix strings preprocessing + incremental, fixes bug... |
blob | commitdiff | raw | diff to current |
2015-10-06 |
ajreynol | More improvements to strings rewriter for regexps,... |
blob | commitdiff | raw | diff to current |
2015-10-02 |
ajreynol | Improvements to rewriter for regexp, contains, indexof... |
blob | commitdiff | raw | diff to current |
2015-09-28 |
ajreynol | Improve quantifiers engine wrt incremental presolve... |
blob | commitdiff | raw | diff to current |
2015-09-28 |
ajreynol | Minor fixes to strings, add regressions. |
blob | commitdiff | raw | diff to current |
2015-09-28 |
ajreynol | Fix bug for trivial extf inferences in strings. Improve... |
blob | commitdiff | raw | diff to current |
2015-09-27 |
ajreynol | Improved handling of extended operators. Do preprocess... |
blob | commitdiff | raw | diff to current |
2015-09-26 |
ajreynol | Lazy preprocessing of extended operators in strings... |
blob | commitdiff | raw | diff to current |
2015-09-09 |
ajreynol | Fix bug in strings rewriter regarding lengths of substr... |
blob | commitdiff | raw | diff to current |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
blob | commitdiff | raw | diff to current |
2015-04-22 |
Kshitij Bansal | Merge pull request #73 from kbansal/parser-dont-tokenize |
blob | commitdiff | raw | diff to current |
2015-04-17 |
Tianyi Liang | Patch for Kshitij's fix on requriePhase |
blob | commitdiff | raw | diff to current |
2015-04-17 |
Kshitij Bansal | Merge pull request #72 from kbansal/decision-requirephase |
blob | commitdiff | raw | diff to current |
2015-04-09 |
Kshitij Bansal | disable string reqressions timing out after change |
blob | commitdiff | raw | diff to current |
2015-02-06 |
Tianyi Liang | Improved string performance, thanks to Peter's benchmarks. |
blob | commitdiff | raw | diff to current |
2015-02-06 |
Tianyi Liang | Improved string performance, thanks to Peter's benchmarks. |
blob | commitdiff | raw | diff to current |
2015-01-07 |
Tianyi Liang | bug fix, thanks to Pierre's report |
blob | commitdiff | raw | diff to current |
2014-12-05 |
Tianyi Liang | Relaxed the constant requirement for regular expression... |
blob | commitdiff | raw | diff to current |
2014-12-03 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | add intersection rewriting |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-11-20 |
ajreynol | Disable constants sharing in eq engine, disable hack... |
blob | commitdiff | raw | diff to current |
2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-23 |
Morgan Deters | Parsing and infrastructure support for SMT-LIBv2.5... |
blob | commitdiff | raw | diff to current |
2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
blob | commitdiff | raw | diff to current |
2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw | diff to current |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-19 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-18 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-07-25 |
Tianyi Liang | patch for regular expression intersection caching |
blob | commitdiff | raw | diff to current |
2014-05-13 |
ajreynol | Add lazy strategy for bounded integers to avoid non... |
blob | commitdiff | raw | diff to current |
2014-05-12 |
Tim King | Merge remote-tracking branch 'timothy-king/master' |
blob | commitdiff | raw | diff to current |
2014-05-12 |
Tianyi Liang | Add a benchmark that detects a bug in parsing. Thank... |
blob | commitdiff | raw | diff to current |
2014-04-29 |
Tianyi Liang | add leading zeros support for str.to.int |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
blob | commitdiff | raw | diff to current |
2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-03-08 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
blob | commitdiff | raw | diff to current |
2014-03-08 |
Morgan Deters | Remove --ite-remove-quant; support pulling ground ITEs... |
blob | commitdiff | raw | diff to current |
2014-03-01 |
Tianyi Liang | a new regular expression engine for solving both positi... |
blob | commitdiff | raw | diff to current |
2014-02-28 |
Tianyi Liang | a new regular expression engine for solving both positi... |
blob | commitdiff | raw | diff to current |
2014-02-26 |
Tianyi Liang | bug fix (caused by merge), move cardinality option... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Tianyi Liang | fix makefile |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Tianyi Liang | add two cases to the regression test |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
next |