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-11 |
Morgan Deters | Fix timer statistics to report correct time even on... |
tree | commitdiff |
2013-12-11 |
Morgan Deters | Fix timer statistics to report correct time even on... |
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 | Update copyrights, add missing file-level documentation... |
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-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-20 |
Tim King | Changing the number of bits allocated per field in... |
tree | commitdiff |
2013-11-14 |
Morgan Deters | Some patches to CVC3 compatibility layer tests; Thanks... |
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-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
tree | commitdiff |
2013-11-07 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
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 | Add support for check-sat with argument. |
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-30 |
Morgan Deters | Minor fixes to build system. |
tree | commitdiff |
2013-07-29 |
Morgan Deters | Fix numerous compiler warnings on various platforms |
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-27 |
Morgan Deters | Remove output.h from public space, to avoid clashes... |
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-28 |
Morgan Deters | Standardize SMT-LIBv2 set of logics to use LogicInfo. |
tree | commitdiff |
2013-05-23 |
Andrew Reynolds | Refactoring to prepare for MBQI with integer quantifica... |
tree | commitdiff |
2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-05-22 |
Andrew Reynolds | Add regressions for finite model finding |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Fix bug 512: an assertion failure only appearing with... |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Fix incremental bug in symmetry breaker. |
tree | commitdiff |
2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-20 |
Morgan Deters | Fix for equality-chaining of Booleans in SMT-LIBv2. |
tree | commitdiff |
next |