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-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-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 |
2013-04-16 |
Kshitij Bansal | flatten or nodes |
tree | commitdiff |
2013-04-05 |
Morgan Deters | Fix unit test (compile error) for new SatSolver interface |
tree | commitdiff |
2013-04-03 |
Morgan Deters | Some final minor changes before cutting 1.1. |
tree | commitdiff |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
tree | commitdiff |
2013-04-02 |
Morgan Deters | update copyrights |
tree | commitdiff |
2013-04-02 |
Morgan Deters | Fixes for two bugs: |
tree | commitdiff |
2013-04-01 |
Tim King | Adding tests for the previous commit. |
tree | commitdiff |
2013-04-01 |
Morgan Deters | Merging some cleanup work: |
tree | commitdiff |
2013-04-01 |
Tim King | Fix for iff terms over equalities between the same... |
tree | commitdiff |
2013-04-01 |
Morgan Deters | Fix bug 491 and related issues with checkModel() and... |
tree | commitdiff |
2013-04-01 |
lianah | fixed TheoryBool rewriter bug |
tree | commitdiff |
2013-03-29 |
Dejan Jovanović | Merge branch 'master' of github.com:CVC4/CVC4 |
tree | commitdiff |
2013-03-27 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-27 |
lianah | added model generation for bv subtheories and bv-inequa... |
tree | commitdiff |
2013-03-23 |
lianah | non-incremental inequality solver seems to be bug-free... |
tree | commitdiff |
2013-03-23 |
Dejan Jovanović | Merge remote-tracking branch 'dddejan/c++11' |
tree | commitdiff |
2013-03-22 |
Morgan Deters | Support for Boolean term conversion in datatypes. |
tree | commitdiff |
2013-03-22 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-21 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-21 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-21 |
Dejan Jovanović | Merge branch 'master' of github.com:CVC4/CVC4 |
tree | commitdiff |
2013-03-21 |
Morgan Deters | Some model and printing fixes for defined functions... |
tree | commitdiff |
2013-03-21 |
lianah | added regression test for constant eval |
tree | commitdiff |
2013-03-21 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-21 |
lianah | added more tests |
tree | commitdiff |
2013-03-21 |
lianah | generalized bv inequality reasoning to handle both... |
tree | commitdiff |
2013-03-21 |
Morgan Deters | Fix to bug 497: make justification heuristic's ITE... |
tree | commitdiff |
2013-03-20 |
Morgan Deters | Interactive mode support for multiline input |
tree | commitdiff |
2013-03-20 |
Morgan Deters | Properly |quote| symbols in SMT-LIBv2 output. |
tree | commitdiff |
next |