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 |
2013-05-17 |
Morgan Deters | Fix for equality-chaining of Booleans in SMT-LIBv2. |
tree | commitdiff |
2013-05-09 |
Kshitij Bansal | Merge branch 'master' of ssh://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-05-09 |
Tim King | Changing the integer normal form to increase matching. |
tree | commitdiff |
2013-05-07 |
Dejan Jovanović | fix for bug500 |
tree | commitdiff |
2013-05-03 |
Tim King | Fixing compilation of unit tests. These problems were... |
tree | commitdiff |
2013-05-03 |
Tim King | Merging branch 'soiquickexplain'. |
tree | commitdiff |
2013-05-03 |
Tim King | Merge branch 'fcexplanations' |
tree | commitdiff |
2013-05-02 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-05-01 |
Morgan Deters | Fix to boolean-terms; resolves bug #507 |
tree | commitdiff |
2013-05-01 |
Morgan Deters | Adding a missing makefile to the dist (fixes distcheck) |
tree | commitdiff |
2013-04-30 |
lianah | fixed merge conflicts |
tree | commitdiff |
2013-04-30 |
Kshitij Bansal | add decision_attributes.h for make dist |
tree | commitdiff |
2013-04-29 |
Morgan Deters | Some fixes for GCC 4.2, and for Java on Mac |
tree | commitdiff |
2013-04-29 |
Kshitij Bansal | Merge pull request #9 from kbansal/master |
tree | commitdiff |
2013-04-26 |
Kshitij Bansal | Merge experimental decisionweight branch |
tree | commitdiff |
2013-04-26 |
Tim King | FCSimplex branch merge |
tree | commitdiff |
2013-04-25 |
Morgan Deters | Add ability to run different regression levels with... |
tree | commitdiff |
2013-04-18 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-04-17 |
Kshitij Bansal | boolean flatten: bug fix in dfs search |
tree | commitdiff |
2013-04-17 |
Kshitij Bansal | generalize to handle and |
tree | commitdiff |
next |