2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-03-26 |
Tim King | Merging in a fix from 1.3.x. |
tree | commitdiff |
2014-03-26 |
Tim King | Fixes an idempotency issue for non-linear multiplicatio... |
tree | commitdiff |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
tree | commitdiff |
2014-03-19 |
Martin Brain | Refactor the theory specific parts of definition expans... |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Andrew Reynolds | Initial refactor of rewrite rules, make theory_rewriter... |
tree | commitdiff |
2014-03-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-03-08 |
Morgan Deters | Re-fix bug 551 by adding a check to the arith ITE simpl... |
tree | commitdiff |
2014-03-08 |
Tim King | Merge pull request #18 from timothy-king/master |
tree | commitdiff |
2014-03-08 |
Tim King | Fixing name changes that cam in from the merge. |
tree | commitdiff |
2014-03-08 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
tree | commitdiff |
2014-03-07 |
Tim King | Merging a squash of the branch timothy-king/CVC4/glpkne... |
tree | commitdiff |
2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-03-05 |
Tim King | Improving support for POW in arithmetic. Resolves bug... |
tree | commitdiff |
2014-03-04 |
Morgan Deters | Don't theory-preprocess under quantifiers; but DO theor... |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-20 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch 'master' of github.com:CVC4/CVC4 |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-19 |
Tim King | Stopping non-linear terms from entering the dio solver... |
tree | commitdiff |
2014-02-17 |
Tianyi Liang | type conversion |
tree | commitdiff |
2014-02-17 |
Tianyi Liang | type conversion |
tree | commitdiff |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-01-22 |
Morgan Deters | Delay QuantifiersEngine and UF strong solver initializa... |
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 | Minor code cleanup. |
tree | commitdiff |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
tree | commitdiff |
2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
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-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-09-27 |
Morgan Deters | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-09-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-09-27 |
Tianyi Liang | fix the infinite issue |
tree | commitdiff |
2013-09-27 |
Tianyi Liang | for morgan to see the regression problems |
tree | commitdiff |
2013-09-27 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
tree | commitdiff |
2013-09-25 |
Tianyi Liang | fix the infinite issue |
tree | commitdiff |
2013-09-25 |
Tianyi Liang | for morgan to see the regression problems |
tree | commitdiff |
2013-09-24 |
Clark Barrett | Reduce compiler dependencies on substitutions.h, |
tree | commitdiff |
2013-09-24 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
tree | commitdiff |
2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
2013-07-29 |
Morgan Deters | Fix numerous compiler warnings on various platforms |
tree | commitdiff |
2013-06-27 |
Morgan Deters | Small fix for IS_INTEGER. |
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-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 |
2013-05-22 |
Andrew Reynolds | Significant work on bounded integer quantification... |
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 | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-20 |
Morgan Deters | configure fix for building with glpk on redhat, perhaps... |
tree | commitdiff |
2013-05-16 |
Morgan Deters | configure fix for building with glpk on redhat, perhaps... |
tree | commitdiff |
2013-05-11 |
Andrew Reynolds | Preliminary version of finite model finding over bounde... |
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-08 |
Morgan Deters | Merge tag 'smteval2013' |
tree | commitdiff |
2013-05-08 |
Morgan Deters | Removing arithmetic compile warning for release |
tree | commitdiff |
2013-05-07 |
Tim King | Fixes a bug with arithmetic's new attempt solution... |
tree | commitdiff |
2013-05-07 |
Tim King | Improving arithmetic debugging output. |
tree | commitdiff |
2013-05-07 |
Tim King | Disabling an incorrect prototyping line from the simple... |
tree | commitdiff |
2013-05-06 |
Morgan Deters | Removing excess verbosity from ApproxSimplex (after... |
tree | commitdiff |
2013-05-06 |
Tim King | Adding a heuristic for guessing an optimization functio... |
tree | commitdiff |
2013-05-05 |
Tim King | Adding cut offs for likely integer infeasible paths. |
tree | commitdiff |
2013-05-04 |
Tim King | Adding a smarter technique for pivoting in solutions... |
tree | commitdiff |
2013-05-03 |
Tim King | More misc. arithmetic cleanup. Removing unused files... |
tree | commitdiff |
2013-05-03 |
Tim King | Code cleanup. Reducing misc. warnings in arithmetic. |
tree | commitdiff |
2013-05-03 |
Tim King | Removing arithmetic legacy code and unifying functions. |
tree | commitdiff |
2013-05-03 |
Tim King | Fixing a debug typo. |
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 |
Tim King | Adding quick explain for soi simplex. |
tree | commitdiff |
2013-05-01 |
Tim King | Working on the new explanation system. |
tree | commitdiff |
2013-04-30 |
Tim King | Making propagation more conversative. |
tree | commitdiff |
2013-04-30 |
Tim King | Draft of the new propagation code. |
tree | commitdiff |
2013-04-30 |
lianah | fixed merge conflicts |
tree | commitdiff |
2013-04-30 |
Tim King | Adding has bound counts and tracking for rows. |
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-29 |
Morgan Deters | Fixes to FCSimplex for some versions of compilers |
tree | commitdiff |
2013-04-28 |
Tim King | Fixing the failure for make distcheck. |
tree | commitdiff |
2013-04-26 |
Tim King | FCSimplex branch merge |
tree | commitdiff |
2013-04-02 |
Tim King | Making arithmetic model reversion on unsat checks an... |
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-01 |
Tim King | Cleaning up the demand restart code. |
tree | commitdiff |
2013-04-01 |
Tim King | Adding a restart test strategy to integers. |
tree | commitdiff |
next |