Age | Commit message (Expand) | Author |
2014-01-24 | optimize for the reverse direction | Tianyi Liang |
2014-01-23 | fix: constants are inferred to be the same | Tianyi Liang |
2014-01-23 | minor fix | Tianyi Liang |
2014-01-22 | Merge branch 'master' of https://github.com/CVC4/CVC4 | Tianyi Liang |
2014-01-22 | Some minor fixes to SmtEngine strings settings. | Morgan Deters |
2014-01-22 | commented out all_supported in strings for now, it has a bug here. | Tianyi Liang |
2014-01-22 | solve string exp issue for regexp | Tianyi Liang |
2014-01-22 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-01-22 | add warning for using strings in ALL_SUPPORTED | Tianyi Liang |
2014-01-22 | Smarter options, but still have a bug | Tianyi Liang |
2014-01-22 | Delay QuantifiersEngine and UF strong solver initialization until after final... | Morgan Deters |
2014-01-21 | Smarter options, but still have a bug | Tianyi Liang |
2014-01-20 | improve string contains | Tianyi Liang |
2014-01-20 | improve string contains | Tianyi Liang |
2014-01-18 | Fixed non-termination issue in bounded integers. | Andrew Reynolds |
2014-01-18 | Performance optimization for E-matching, working on using QCF module for prop... | Andrew Reynolds |
2014-01-18 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-01-18 | strings with new ideas | Tianyi Liang |
2014-01-17 | Merge branch '1.3.x' | Morgan Deters |
2014-01-17 | Fix for quote-escaping in smt2 printer | Morgan Deters |
2014-01-17 | strings with new ideas | Tianyi Liang |
2014-01-17 | More optimizations for quantifiers conflict find. Add trust user patterns mode. | Andrew Reynolds |
2014-01-17 | Merge branch '1.3.x' | Kshitij Bansal |
2014-01-17 | enable search for html doc | Kshitij Bansal |
2014-01-16 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-01-16 | adds partial functions | Tianyi Liang |
2014-01-15 | adds smt2 print for strings | Tianyi Liang |
2014-01-15 | adds smt2 print for strings | Tianyi Liang |
2014-01-15 | Optimizations for quantifiers conflict find: better caching, process matching... | Andrew Reynolds |
2014-01-10 | normal form breaking | Tianyi Liang |
2014-01-10 | add repalce | Tianyi Liang |
2014-01-10 | Add stats to quantifiers conflict find. Added option for qcf. Working on ha... | Andrew Reynolds |
2014-01-10 | Add new method --quant-cf for finding conflicts eagerly for quantified formul... | Andrew Reynolds |
2014-01-09 | move new functions under exp options | Tianyi Liang |
2014-01-09 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-01-09 | add constant replace, indexof | Tianyi Liang |
2014-01-09 | add constant replace, indexof | Tianyi Liang |
2014-01-09 | Merge branch '1.3.x' | Morgan Deters |
2014-01-09 | gmp is again default, not cln, for build ID (reverting due to license discuss... | Morgan Deters |
2014-01-09 | Another way to handle negative contain | Tianyi Liang |
2014-01-08 | Merge branch '1.3.x' | Morgan Deters |
2014-01-08 | Switch license default back to BSD, and add --best and --enable-gpl options. | Morgan Deters |
2014-01-08 | Cache apt packages on Travis. | Morgan Deters |
2014-01-08 | clean some code | Tianyi Liang |
2014-01-08 | Fix LogicInfo parsing for string logics | Morgan Deters |
2014-01-08 | Fix LogicInfo parsing for string logics | Morgan Deters |
2014-01-07 | remove a warning in strings | Tianyi Liang |
2014-01-07 | minor fix, bring back the assertion. | Tianyi Liang |
2014-01-07 | string contain changes | Tianyi Liang |
2014-01-03 | Removing and consolidating options for uf-ss and quantifiers. Bug fix for in... | Andrew Reynolds |