summaryrefslogtreecommitdiff
path: root/test/system/Makefile.am
AgeCommit message (Expand)Author
2013-07-30Minor fixes to build system.Morgan Deters
2013-07-29Fix numerous compiler warnings on various platformsMorgan Deters
2013-04-29Some fixes for GCC 4.2, and for Java on MacMorgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2012-12-01fix java system test dependencesMorgan Deters
2012-09-26disable building of cvc3_george system-test object (which isn't used yet anyw...Morgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-18a few fixes for java system testMorgan Deters
2012-07-16now passes "make distcheck", which does important checks for the release (e.g...Morgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan Deters
2012-03-09minor fixes: to "make dist" in build directories with language bindings enabl...Morgan Deters
2012-02-10attempt at a fix for the local regression failure (CLN linking issues on oneiricMorgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-29some test fixesMorgan Deters
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-16some minor fixes to the cvc3 compatibility library and test caseMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-02fix broken build; sorry, all!Morgan Deters
2011-04-11fix "make dist" issues in makefilesMorgan Deters
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-09-02* add TimerStat statistic typeMorgan Deters
2010-06-02more VERBOSE test failuresMorgan Deters
2010-03-08This fixes regressions at levels >= 1 which were failingMorgan Deters
2010-02-04build system for multi-level regressionsMorgan Deters
2010-02-04test infrastructure updated for multiple-level regressionsMorgan Deters
2010-01-27support "make check" in src/ subdirs for unit-testing of just that module; al...Morgan Deters
2010-01-27test framework fixes; bug 13 closedMorgan Deters
2009-12-17add system regression testing infrastructureMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback