| Age | Commit message (Expand) | Author |
|---|
| 2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
| 2014-02-26 | sorry for the missing file | Tianyi Liang |
| 2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
| 2014-02-21 | add new theory (sets) | Kshitij Bansal |
| 2014-02-20 | fix makefile | Tianyi Liang |
| 2014-02-20 | add more tests, and define int.to.str(NEGATIVE)="" | Tianyi Liang |
| 2014-02-20 | add two cases to the regression test | Tianyi Liang |
| 2014-02-19 | Merge branch '1.3.x' | Tim King |
| 2014-02-19 | Stopping non-linear terms from entering the dio solver. Fixes bug 547. | Tim King |
| 2014-02-10 | Fix build (some nonexistent files listed in Makefile) | Morgan Deters |
| 2014-02-09 | More complete guess instantiation strategy, cvc4 now typically times out inst... | Andrew Reynolds |
| 2014-01-28 | merge internal and user of charat & substr into one | Tianyi Liang |
| 2014-01-26 | More optimization of QCF. Fixed InstMatchTrie for caching instantiations. U... | Andrew Reynolds |
| 2014-01-18 | strings with new ideas | Tianyi Liang |
| 2014-01-16 | adds partial functions | Tianyi Liang |
| 2013-12-26 | new functions in strings | Tianyi Liang |
| 2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
| 2013-12-16 | Fix for bug 544. | Morgan Deters |
| 2013-12-13 | Fix stack size on in-tree regressions. | Morgan Deters |
| 2013-12-13 | cleanup | Morgan Deters |
| 2013-12-13 | Some minor cleanup. | Morgan Deters |
| 2013-12-09 | mv prp to regress1 | Kshitij Bansal |
| 2013-12-07 | fix bug 542 | Kshitij Bansal |
| 2013-12-05 | disable substring in default mode | Tianyi Liang |
| 2013-12-05 | Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now wor... | Morgan Deters |
| 2013-12-04 | Remove a regression for which the portfolio takes forever (see bug 542). | Morgan Deters |
| 2013-12-04 | Don't put define-funs in model output; bug 411 testcase no longer relevant. | Morgan Deters |
| 2013-12-03 | adds LB strategy | Tianyi Liang |
| 2013-12-02 | Add test case for (previously resolved) bug 528. | Morgan Deters |
| 2013-12-02 | Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a s... | Morgan Deters |
| 2013-11-25 | Substantial Changes: | Tim King |
| 2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
| 2013-11-05 | fixed proof regression script and added a new uf test case | lianah |
| 2013-10-24 | Fix for bug515 | Clark Barrett |
| 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-14 | Adds Regular Expression support. | 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 | Some fixes to recent strings commits. | Morgan Deters |
| 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-13 | Move some regress benchmarks around that took too long, other test cleanup. | Morgan Deters |
| 2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
