2014-02-06 |
Tianyi Liang | minor cleanup for merge |
commit | commitdiff | tree |
2014-02-06 |
Tianyi Liang | minor fix for merge |
commit | commitdiff | tree |
2014-02-06 |
Morgan Deters | Minor fix for previous commit |
commit | commitdiff | tree |
2014-02-06 |
Morgan Deters | Oops.. premature push on lexer fix (remove debugging... |
commit | commitdiff | tree |
2014-02-06 |
Morgan Deters | Fixes for escape-handling for string literals in SMT... |
commit | commitdiff | tree |
2014-02-05 |
Andrew Reynolds | Bug fix for theory strings related to old cycle detecti... |
commit | commitdiff | tree |
2014-02-04 |
Andrew Reynolds | Do not use transitive closure module for cycle detectio... |
commit | commitdiff | tree |
2014-02-04 |
Andrew Reynolds | Add variable ordering for QCF to accelerate matching... |
commit | commitdiff | tree |
2014-02-03 |
Andrew Reynolds | Handle nested (universal) quantifiers in QCF algorithm... |
commit | commitdiff | tree |
2014-01-31 |
Tianyi Liang | Substr fix: (= (str.substr "" 0 3) "xxx") should be... |
commit | commitdiff | tree |
2014-01-30 |
Andrew Reynolds | Refactor QCF slightly. Bug fix for relevant domain... |
commit | commitdiff | tree |
2014-01-30 |
Tianyi Liang | stats for eq/diseq splits |
commit | commitdiff | tree |
2014-01-30 |
Tianyi Liang | another name change |
commit | commitdiff | tree |
2014-01-30 |
Tianyi Liang | change string stats text names |
commit | commitdiff | tree |
2014-01-30 |
Tianyi Liang | adds stats |
commit | commitdiff | tree |
2014-01-29 |
Tianyi Liang | roll back to uf implementation for substr and charat |
commit | commitdiff | tree |
2014-01-29 |
Tianyi Liang | add prefixof, suffixof |
commit | commitdiff | tree |
2014-01-28 |
Tianyi Liang | merge internal and user of charat & substr into one |
commit | commitdiff | tree |
2014-01-28 |
Andrew Reynolds | More optimizations of quantifier instantiation data... |
commit | commitdiff | tree |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
2014-01-27 |
Morgan Deters | URL update |
commit | commitdiff | tree |
2014-01-27 |
Andrew Reynolds | More optimization of QCF and instantiation caching... |
commit | commitdiff | tree |
2014-01-26 |
Andrew Reynolds | More optimization of QCF. Fixed InstMatchTrie for... |
commit | commitdiff | tree |
2014-01-25 |
Tianyi Liang | replace charat uf with internal one |
commit | commitdiff | tree |
2014-01-25 |
Tianyi Liang | minor fix, indexof rewriter opt |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | fix: indexof, replace rewriting |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | rev diseq |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | rev const split |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | optimize for the reverse direction |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | rev diseq |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | rev const split |
commit | commitdiff | tree |
2014-01-24 |
Andrew Reynolds | Simplify the QCF algorithm by more aggressive flattenin... |
commit | commitdiff | tree |
2014-01-24 |
Tianyi Liang | optimize for the reverse direction |
commit | commitdiff | tree |
2014-01-23 |
Tianyi Liang | fix: constants are inferred to be the same |
commit | commitdiff | tree |
2014-01-23 |
Tianyi Liang | minor fix |
commit | commitdiff | tree |
2014-01-22 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
2014-01-22 |
Morgan Deters | Some minor fixes to SmtEngine strings settings. |
commit | commitdiff | tree |
2014-01-22 |
Tianyi Liang | commented out all_supported in strings for now, it... |
commit | commitdiff | tree |
2014-01-22 |
Tianyi Liang | solve string exp issue for regexp |
commit | commitdiff | tree |
2014-01-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
2014-01-22 |
Tianyi Liang | add warning for using strings in ALL_SUPPORTED |
commit | commitdiff | tree |
2014-01-22 |
Tianyi Liang | Smarter options, but still have a bug |
commit | commitdiff | tree |
2014-01-22 |
Morgan Deters | Delay QuantifiersEngine and UF strong solver initializa... |
commit | commitdiff | tree |
2014-01-21 |
Tianyi Liang | Smarter options, but still have a bug |
commit | commitdiff | tree |
2014-01-21 |
Tianyi Liang | improve string contains |
commit | commitdiff | tree |
2014-01-20 |
Tianyi Liang | improve string contains |
commit | commitdiff | tree |
2014-01-18 |
Andrew Reynolds | Fixed non-termination issue in bounded integers. |
commit | commitdiff | tree |
2014-01-18 |
Andrew Reynolds | Performance optimization for E-matching, working on... |
commit | commitdiff | tree |
2014-01-18 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
2014-01-18 |
Tianyi Liang | strings with new ideas |
commit | commitdiff | tree |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
2014-01-18 |
Morgan Deters | Fix for quote-escaping in smt2 printer |
commit | commitdiff | tree |
2014-01-17 |
Tianyi Liang | strings with new ideas |
commit | commitdiff | tree |
2014-01-17 |
Andrew Reynolds | More optimizations for quantifiers conflict find. ... |
commit | commitdiff | tree |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
commit | commitdiff | tree |
2014-01-17 |
Kshitij Bansal | enable search for html doc |
commit | commitdiff | tree |
2014-01-16 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
2014-01-16 |
Tianyi Liang | adds partial functions |
commit | commitdiff | tree |
2014-01-15 |
Tianyi Liang | adds smt2 print for strings |
commit | commitdiff | tree |
2014-01-15 |
Tianyi Liang | adds smt2 print for strings |
commit | commitdiff | tree |
2014-01-15 |
Andrew Reynolds | Optimizations for quantifiers conflict find: better... |
commit | commitdiff | tree |
2014-01-10 |
Tianyi Liang | normal form breaking |
commit | commitdiff | tree |
2014-01-10 |
Tianyi Liang | add repalce |
commit | commitdiff | tree |
2014-01-10 |
Andrew Reynolds | Add stats to quantifiers conflict find. Added option... |
commit | commitdiff | tree |
2014-01-10 |
Andrew Reynolds | Add new method --quant-cf for finding conflicts eagerly... |
commit | commitdiff | tree |
2014-01-10 |
Tianyi Liang | move new functions under exp options |
commit | commitdiff | tree |
2014-01-09 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
2014-01-09 |
Tianyi Liang | add constant replace, indexof |
commit | commitdiff | tree |
2014-01-09 |
Tianyi Liang | add constant replace, indexof |
commit | commitdiff | tree |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
2014-01-09 |
Morgan Deters | gmp is again default, not cln, for build ID (reverting... |
commit | commitdiff | tree |
2014-01-09 |
Tianyi Liang | Another way to handle negative contain |
commit | commitdiff | tree |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
2014-01-08 |
Morgan Deters | Switch license default back to BSD, and add --best... |
commit | commitdiff | tree |
2014-01-08 |
Morgan Deters | Cache apt packages on Travis. |
commit | commitdiff | tree |
2014-01-08 |
Tianyi Liang | clean some code |
commit | commitdiff | tree |
2014-01-08 |
Morgan Deters | Fix LogicInfo parsing for string logics |
commit | commitdiff | tree |
2014-01-08 |
Morgan Deters | Fix LogicInfo parsing for string logics |
commit | commitdiff | tree |
2014-01-08 |
Tianyi Liang | remove a warning in strings |
commit | commitdiff | tree |
2014-01-08 |
Tianyi Liang | minor fix, bring back the assertion. |
commit | commitdiff | tree |
2014-01-08 |
Tianyi Liang | string contain changes |
commit | commitdiff | tree |
2014-01-04 |
Andrew Reynolds | Removing and consolidating options for uf-ss and quanti... |
commit | commitdiff | tree |
2014-01-03 |
Andrew Reynolds | Added support for proof production in Equality Engine... |
commit | commitdiff | tree |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
2014-01-02 |
Morgan Deters | Update copyright year. |
commit | commitdiff | tree |
2013-12-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
2013-12-27 |
Tianyi Liang | minor fix |
commit | commitdiff | tree |
2013-12-27 |
Tianyi Liang | minor fix |
commit | commitdiff | tree |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
2013-12-27 |
Morgan Deters | Fix for ANTLR warning. |
commit | commitdiff | tree |
2013-12-26 |
Tianyi Liang | new functions in strings |
commit | commitdiff | tree |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
2013-12-25 |
Morgan Deters | fix for some nightly build failures |
commit | commitdiff | tree |
2013-12-24 |
Morgan Deters | Cleanup related to output language fix. |
commit | commitdiff | tree |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
2013-12-24 |
Morgan Deters | Better automatic handling of output language setting. |
commit | commitdiff | tree |
2013-12-24 |
Morgan Deters | Better get-value parse error message for common user... |
commit | commitdiff | tree |
2013-12-24 |
Morgan Deters | Minor code cleanup. |
commit | commitdiff | tree |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
next |