Age | Commit message (Expand) | Author |
2014-05-30 | Update submission make rules. | Morgan Deters |
2014-02-21 | Fix makefile dependence for system tests. | Morgan Deters |
2014-02-21 | disable test cvc3_main, attempt to fix dist_check | Kshitij Bansal |
2013-11-14 | Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ G... | Morgan Deters |
2013-07-30 | Minor fixes to build system. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-12-06 | * tuple and record support in compatibility library | Morgan Deters |
2012-12-01 | fix java system test dependences | Morgan Deters |
2012-11-15 | Fix for bug 447. | Tim King |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |
2012-09-26 | disable building of cvc3_george system-test object (which isn't used yet anyw... | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-18 | a few fixes for java system test | Morgan Deters |
2012-07-16 | now passes "make distcheck", which does important checks for the release (e.g... | Morgan Deters |
2012-07-16 | stronger two_smt_engines test | Morgan Deters |
2012-07-16 | fix inadvertent change to system test | Morgan Deters |
2012-07-16 | Support for having two SmtEngines with the same ExprManager. | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-14 | bug 346 resolved | Morgan Deters |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-03-09 | minor fixes: to "make dist" in build directories with language bindings enabl... | Morgan Deters |
2012-02-10 | attempt at a fix for the local regression failure (CLN linking issues on oneiric | Morgan Deters |
2011-10-04 | compatibility, bindings | Morgan Deters |
2011-10-04 | compat layer cleanup | Morgan Deters |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
2011-09-29 | some test fixes | Morgan Deters |
2011-09-21 | Java binding now working. Some interface types still need some work (e.g. it... | Morgan Deters |
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters |
2011-09-16 | some minor fixes to the cvc3 compatibility library and test case | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-02 | fix broken build; sorry, all! | Morgan Deters |
2011-04-20 | numerous bugfixes | Morgan Deters |
2011-04-20 | Minor mixed-bag commit. Expected performance impact negligible. | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
2011-04-16 | also a fix for a system test related to ParserBuilder | Morgan Deters |
2011-04-11 | fix "make dist" issues in makefiles | Morgan Deters |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
2011-03-26 | fix typo | Morgan Deters |
2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |