2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
2014-07-01 |
Morgan Deters | Update copyrights. |
tree | commitdiff |
2014-05-30 |
Morgan Deters | Update submission make rules. |
tree | commitdiff |
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-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Fix makefile dependence for system tests. |
tree | commitdiff |
2014-02-21 |
Kshitij Bansal | disable test cvc3_main, attempt to fix dist_check |
tree | commitdiff |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-14 |
Morgan Deters | Some patches to CVC3 compatibility layer tests; Thanks... |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
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-05-03 |
Tim King | Merging branch 'soiquickexplain'. |
tree | commitdiff |
2013-05-03 |
Tim King | Merge branch 'fcexplanations' |
tree | commitdiff |
2013-04-30 |
lianah | fixed merge conflicts |
tree | commitdiff |
2013-04-29 |
Morgan Deters | Some fixes for GCC 4.2, and for Java on Mac |
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-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | fix to build system: #include the proper file when... |
tree | commitdiff |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
tree | commitdiff |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-23 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-19 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-22 |
Dejan Jovanović | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-18 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
tree | commitdiff |
2012-12-12 |
Dejan Jovanović | Merge pull request #2 from CVC4/1.0.x |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x', getting fix for bug 480 |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
tree | commitdiff |
2012-12-07 |
François Bobot | Merge release branch '1.0.x' |
tree | commitdiff |
2012-12-06 |
François Bobot | Merge branch 'release-1.0.x' |
tree | commitdiff |
2012-12-06 |
Morgan Deters | * tuple and record support in compatibility library |
tree | commitdiff |
2012-12-01 |
Morgan Deters | fix java system test dependences |
tree | commitdiff |
2012-11-15 |
Tim King | Fix for bug 447. |
tree | commitdiff |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
2012-10-08 |
Morgan Deters | * Models' SubstitutionMaps are now attached to the... |
tree | commitdiff |
2012-10-05 |
Morgan Deters | Bug-related: |
tree | commitdiff |
2012-09-28 |
Morgan Deters | Public interface review items: |
tree | commitdiff |
2012-09-28 |
Morgan Deters | * fix compatibility library naming for SMT-LIBv1 |
tree | commitdiff |
2012-09-26 |
Morgan Deters | disable building of cvc3_george system-test object... |
tree | commitdiff |
2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
tree | commitdiff |
2012-08-28 |
Morgan Deters | Improved compatibility layer, now supports quantifiers... |
tree | commitdiff |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
2012-07-18 |
Morgan Deters | a few fixes for java system test |
tree | commitdiff |
2012-07-16 |
Morgan Deters | now passes "make distcheck", which does important check... |
tree | commitdiff |
2012-07-16 |
Morgan Deters | stronger two_smt_engines test |
tree | commitdiff |
2012-07-16 |
Morgan Deters | fix inadvertent change to system test |
tree | commitdiff |
2012-07-16 |
Morgan Deters | Support for having two SmtEngines with the same ExprMan... |
tree | commitdiff |
2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
tree | commitdiff |
2012-06-14 |
Morgan Deters | bug 346 resolved |
tree | commitdiff |
2012-06-06 |
Dejan Jovanović | Changes to the combination mechanism, lots of details... |
tree | commitdiff |
2012-03-09 |
Morgan Deters | minor fixes: to "make dist" in build directories with... |
tree | commitdiff |
2012-02-10 |
Morgan Deters | attempt at a fix for the local regression failure ... |
tree | commitdiff |
2011-10-04 |
Morgan Deters | compatibility, bindings |
tree | commitdiff |
2011-10-04 |
Morgan Deters | compat layer cleanup |
tree | commitdiff |
2011-10-03 |
Morgan Deters | user push/pop support in minisat and simplification... |
tree | commitdiff |
2011-09-29 |
Morgan Deters | some test fixes |
tree | commitdiff |
2011-09-21 |
Morgan Deters | Java binding now working. Some interface types still... |
tree | commitdiff |
2011-09-21 |
Morgan Deters | considerable bindings interface work, some improvements... |
tree | commitdiff |
2011-09-16 |
Morgan Deters | some minor fixes to the cvc3 compatibility library... |
tree | commitdiff |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
2011-05-02 |
Morgan Deters | fix broken build; sorry, all! |
tree | commitdiff |
2011-04-20 |
Morgan Deters | numerous bugfixes |
tree | commitdiff |
2011-04-20 |
Morgan Deters | Minor mixed-bag commit. Expected performance impact... |
tree | commitdiff |
2011-04-20 |
Morgan Deters | Tuesday end-of-day commit. |
tree | commitdiff |
2011-04-16 |
Morgan Deters | also a fix for a system test related to ParserBuilder |
tree | commitdiff |
2011-04-11 |
Morgan Deters | fix "make dist" issues in makefiles |
tree | commitdiff |
2011-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch... |
tree | commitdiff |
2011-03-26 |
Morgan Deters | fix typo |
tree | commitdiff |
2011-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
tree | commitdiff |
next |