| 2014-02-11 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2014-02-11 |
Morgan Deters | Fix build (some nonexistent files listed in Makefile) |
tree | commitdiff |
| 2014-02-09 |
Andrew Reynolds | More complete guess instantiation strategy, cvc4 now... |
tree | commitdiff |
| 2014-01-28 |
Tianyi Liang | merge internal and user of charat & substr into one |
tree | commitdiff |
| 2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-26 |
Andrew Reynolds | More optimization of QCF. Fixed InstMatchTrie for... |
tree | commitdiff |
| 2014-01-18 |
Tianyi Liang | strings with new ideas |
tree | commitdiff |
| 2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-17 |
Tianyi Liang | strings with new ideas |
tree | commitdiff |
| 2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-16 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2014-01-16 |
Tianyi Liang | adds partial functions |
tree | commitdiff |
| 2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-26 |
Tianyi Liang | new functions in strings |
tree | commitdiff |
| 2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
tree | commitdiff |
| 2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-12-16 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-16 |
Morgan Deters | Fix for bug 544. |
tree | commitdiff |
| 2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-12-14 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-14 |
Morgan Deters | Fix stack size on in-tree regressions. |
tree | commitdiff |
| 2013-12-13 |
Morgan Deters | cleanup |
tree | commitdiff |
| 2013-12-13 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-13 |
Morgan Deters | Some minor cleanup. |
tree | commitdiff |
| 2013-12-09 |
Kshitij Bansal | mv prp to regress1 |
tree | commitdiff |
| 2013-12-09 |
Kshitij Bansal | fix bug 542 |
tree | commitdiff |
| 2013-12-09 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-09 |
Kshitij Bansal | mv prp to regress1 |
tree | commitdiff |
| 2013-12-07 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-07 |
Kshitij Bansal | fix bug 542 |
tree | commitdiff |
| 2013-12-06 |
Tianyi Liang | disable substring in default mode |
tree | commitdiff |
| 2013-12-05 |
Morgan Deters | Fix Boolean terms w.r.t. parametric datatypes (e.g... |
tree | commitdiff |
| 2013-12-04 |
Morgan Deters | Remove a regression for which the portfolio takes forev... |
tree | commitdiff |
| 2013-12-04 |
Morgan Deters | Don't put define-funs in model output; bug 411 testcase... |
tree | commitdiff |
| 2013-12-04 |
Tianyi Liang | adds LB strategy |
tree | commitdiff |
| 2013-12-04 |
Tianyi Liang | adds LB strategy |
tree | commitdiff |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-12-03 |
Morgan Deters | Add test case for (previously resolved) bug 528. |
tree | commitdiff |
| 2013-12-03 |
Morgan Deters | Support for parametric datatype subtyping, so that... |
tree | commitdiff |
| 2013-11-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-11-25 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
tree | commitdiff |
| 2013-11-25 |
Tim King | Substantial Changes: |
tree | commitdiff |
| 2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-11-11 |
Morgan Deters | Change exit status to be more consistent with other... |
tree | commitdiff |
| 2013-11-06 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-11-06 |
lianah | fixed proof regression script and added a new uf test... |
tree | commitdiff |
| 2013-11-04 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-10-24 |
Clark Barrett | Fix for bug515 |
tree | commitdiff |
| 2013-10-21 |
Tianyi Liang | add a string test case |
tree | commitdiff |
| 2013-10-21 |
Tianyi Liang | add a string test case |
tree | commitdiff |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
tree | commitdiff |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
tree | commitdiff |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
tree | commitdiff |
| 2013-10-16 |
Tianyi Liang | adds fmf for strings |
tree | commitdiff |
| 2013-10-15 |
Tianyi Liang | bug fix: string cache cleaning |
tree | commitdiff |
| 2013-10-14 |
Tianyi Liang | add another regexp test |
tree | commitdiff |
| 2013-10-14 |
Tianyi Liang | Adds Regular Expression support. |
tree | commitdiff |
| 2013-10-11 |
Tianyi Liang | Adds regular expression support, it is actually CFL... |
tree | commitdiff |
| 2013-10-07 |
Liana Hadarean | merged golden |
tree | commitdiff |
| 2013-10-03 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-10-02 |
Tianyi Liang | adds partial function substr. the use of this function... |
tree | commitdiff |
| 2013-10-02 |
Tianyi Liang | adds partial function substr. the use of this function... |
tree | commitdiff |
| 2013-10-01 |
Tianyi Liang | replace with a new method for disequality, move to... |
tree | commitdiff |
| 2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
| 2013-09-27 |
Morgan Deters | Some fixes to recent strings commits. |
tree | commitdiff |
| 2013-09-27 |
Morgan Deters | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-09-27 |
Tianyi Liang | adds communication with arith engine |
tree | commitdiff |
| 2013-09-27 |
Tianyi Liang | removes unsound cases, adds unrolling |
tree | commitdiff |
| 2013-09-27 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
tree | commitdiff |
| 2013-09-27 |
Tianyi Liang | removes unsound cases, adds unrolling |
tree | commitdiff |
| 2013-09-24 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
tree | commitdiff |
| 2013-09-18 |
Morgan Deters | Support a personal build configuration and make rules. |
tree | commitdiff |
| 2013-09-13 |
Morgan Deters | Move some regress benchmarks around that took too long... |
tree | commitdiff |
| 2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
tree | commitdiff |
| 2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-09-11 |
Tianyi Liang | Theory of strings. |
tree | commitdiff |
| 2013-09-09 |
Andrew Reynolds | Another minor fix for datatypes to repair my previous... |
tree | commitdiff |
| 2013-09-09 |
Morgan Deters | Support empty (and 1-ary) tuples and records. |
tree | commitdiff |
| 2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-08-26 |
Kshitij Bansal | bug 374 fix: assert litVal=desiredVal only for leaf... |
tree | commitdiff |
| 2013-08-26 |
Kshitij Bansal | Bug 374 benchmarks |
tree | commitdiff |
| 2013-07-24 |
Morgan Deters | Regressions now checking models on unknown too. But... |
tree | commitdiff |
| 2013-07-20 |
Morgan Deters | enable bug521 regression tests |
tree | commitdiff |
| 2013-07-17 |
Morgan Deters | Fix bug 516; include some bug testcases. |
tree | commitdiff |
| 2013-07-11 |
Morgan Deters | Support for TPTP's TFF0 (with arithmetic) |
tree | commitdiff |
| 2013-07-10 |
Morgan Deters | Fix for bug 519; don't involve ITESimplifier in model... |
tree | commitdiff |
| 2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-25 |
Morgan Deters | Support for abs, to_int, is_int, divisible in SMT-LIB... |
tree | commitdiff |
| 2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-04 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-04 |
Morgan Deters | Fix clang static initialization order issue; fixes... |
tree | commitdiff |
| 2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
tree | commitdiff |
| 2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| next |
projects / cvc5.git / history