Age | Commit message (Expand) | Author |
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 |
2010-10-20 | fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug... | Morgan Deters |
2010-09-02 | * add TimerStat statistic type | Morgan Deters |
2010-06-02 | more VERBOSE test failures | Morgan Deters |
2010-03-30 | Removing unnecessary .gitignores | Christopher L. Conway |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-03-08 | This fixes regressions at levels >= 1 which were failing | Morgan Deters |
2010-02-04 | build system for multi-level regressions | Morgan Deters |
2010-02-04 | test infrastructure updated for multiple-level regressions | Morgan Deters |
2010-01-28 | Removing Makefile.in's | Christopher L. Conway |
2010-01-27 | support "make check" in src/ subdirs for unit-testing of just that module; al... | Morgan Deters |
2010-01-27 | test framework fixes; bug 13 closed | Morgan Deters |
2010-01-26 | fixes to build structure, util classes, lots of fixes to Node and NodeBuilder... | Morgan Deters |
2009-12-17 | + test infrastructure fixes | Morgan Deters |
2009-12-17 | add system regression testing infrastructure | Morgan Deters |