2016-07-26 |
ajreynol | Minor improvements to strings related to constant split... |
blob | commitdiff | raw |
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-16 |
ajreynol | Refactor strings extf evaluation info. Ensure strings... |
blob | commitdiff | raw | diff to current |
2016-07-15 |
ajreynol | Minor simplification to normal form explanations. |
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-06 |
ajreynol | Minor cleanup in strings, mostly related to negated... |
blob | commitdiff | raw | diff to current |
2016-06-08 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-06-06 |
guykatzz | Merge pull request #85 from CVC4/master_for_proof_merge |
blob | commitdiff | raw | diff to current |
2016-06-03 |
ajreynol | Remove NodeListMap from strings, fixes memory leaks... |
blob | commitdiff | raw | diff to current |
2016-05-20 |
ajreynol | Improvements to theory combination + strings: do not... |
blob | commitdiff | raw | diff to current |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
blob | commitdiff | raw | diff to current |
2016-03-01 |
ajreynol | Shorter explanations for strings based on tracking... |
blob | commitdiff | raw | diff to current |
2016-02-26 |
ajreynol | Refactoring of inferences in strings. Add several options. |
blob | commitdiff | raw | diff to current |
2016-01-28 |
Tim King | Adding listeners to Options. |
blob | commitdiff | raw | diff to current |
2016-01-06 |
Tim King | Add SmtGlobals Class |
blob | commitdiff | raw | diff to current |
2015-10-21 |
ajreynol | Minor refactoring in strings related to length. |
blob | commitdiff | raw | diff to current |
2015-10-20 |
ajreynol | Refactor strings, remove old cycle checks in normalize... |
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-19 |
ajreynol | Improve regexp rewriter, simplify regexp preprocess... |
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-15 |
ajreynol | Change semantics of str.substr to allow endpoint out... |
blob | commitdiff | raw | diff to current |
2015-10-15 |
ajreynol | Decompose string contains, minor refactoring. |
blob | commitdiff | raw | diff to current |
2015-10-11 |
ajreynol | Fix strings preprocessing + incremental, fixes bug... |
blob | commitdiff | raw | diff to current |
2015-10-08 |
ajreynol | Minor improvements to strings. Refactor rewriter. Enabl... |
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 | Fixes related to explanations for cycles, sym inference... |
blob | commitdiff | raw | diff to current |
2015-10-01 |
ajreynol | Evaluate extended operators on partially concrete argum... |
blob | commitdiff | raw | diff to current |
2015-10-01 |
ajreynol | More improvements to strings. More aggressive inference... |
blob | commitdiff | raw | diff to current |
2015-09-30 |
ajreynol | Refactor strings, bug fix inferences vs lemmas. |
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-07-30 |
ajreynol | Implement virtual term substitution for non-nested... |
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 |
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 | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | add more functions for regular expressions |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | add more functions for regular expressions |
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-22 |
Tianyi Liang | Fixed bug 589 |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
blob | commitdiff | raw | diff to current |
2014-06-24 |
Tianyi Liang | Merge pull request #41 from mdeters/tianyi-merge |
blob | commitdiff | raw | diff to current |
2014-06-24 |
Morgan Deters | Squashed commit of the following: |
blob | commitdiff | raw | diff to current |
2014-05-12 |
Tianyi Liang | Replace lemma sending with EQ assertions. Fix a typo... |
blob | commitdiff | raw | diff to current |
2014-05-12 |
Tianyi Liang | Replace lemma sending with EQ assertions. Fix a typo... |
blob | commitdiff | raw | diff to current |
2014-04-29 |
Tianyi Liang | fix a typo: --string-exp => --strings-exp; fix a signed... |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Tianyi Liang | add strings-opt2 for regular splitting |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Tianyi Liang | add strings-opt2 for regular splitting |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-24 |
Tianyi Liang | minor change: add a heuristic for preventing constant... |
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 | deriv symbolic regexp |
blob | commitdiff | raw | diff to current |
2014-03-27 |
Tianyi Liang | adds intersection |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Tianyi Liang | deriv symbolic regexp |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Tianyi Liang | adds intersection |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Tianyi Liang | deriv symbolic regexp |
blob | commitdiff | raw | diff to current |
2014-03-25 |
Tianyi Liang | adds intersection |
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-19 |
Martin Brain | Refactor the theory specific parts of definition expans... |
blob | commitdiff | raw | diff to current |
2014-03-17 |
Tianyi Liang | hot fix for pre-reg term caching in strings |
blob | commitdiff | raw | diff to current |
2014-03-17 |
Tianyi Liang | hot fix for pre-reg term caching in strings |
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 | adds intro vars length cache |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes |
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-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Tianyi Liang | reorganize substr, fix some potential bugs, adds cache... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Tianyi Liang | reorganize substr, fix some potential bugs, adds cache... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch 'master' of github.com:CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-17 |
Tianyi Liang | type conversion |
blob | commitdiff | raw | diff to current |
2014-02-17 |
Tianyi Liang | type conversion |
blob | commitdiff | raw | diff to current |
2014-02-14 |
Tianyi Liang | fix expanding def |
blob | commitdiff | raw | diff to current |
2014-02-12 |
Tianyi Liang | bug fix for reverse check |
blob | commitdiff | raw | diff to current |
2014-01-31 |
Tianyi Liang | Substr fix: (= (str.substr "" 0 3) "xxx") should be... |
blob | commitdiff | raw | diff to current |
next |