summaryrefslogtreecommitdiff
path: root/test/system
AgeCommit message (Expand)Author
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-08* Models' SubstitutionMaps are now attached to the user contextMorgan Deters
2012-10-05Bug-related:Morgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-28* fix compatibility library naming for SMT-LIBv1Morgan 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-16stronger two_smt_engines testMorgan Deters
2012-07-16fix inadvertent change to system testMorgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan Deters
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-06-14bug 346 resolvedMorgan Deters
2012-06-06Changes to the combination mechanism, lots of details. Not done yet, there ar...Dejan Jovanović
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-04compatibility, bindingsMorgan Deters
2011-10-04compat layer cleanupMorgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-29some test fixesMorgan Deters
2011-09-21Java binding now working. Some interface types still need some work (e.g. it...Morgan 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-20numerous bugfixesMorgan Deters
2011-04-20Minor mixed-bag commit. Expected performance impact negligible.Morgan Deters
2011-04-20Tuesday end-of-day commit.Morgan Deters
2011-04-16also a fix for a system test related to ParserBuilderMorgan Deters
2011-04-11fix "make dist" issues in makefilesMorgan Deters
2011-04-01This commit is a merge from the "betterstats" branch, which:Morgan Deters
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-10-20fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug...Morgan Deters
2010-09-02* add TimerStat statistic typeMorgan Deters
2010-06-02more VERBOSE test failuresMorgan Deters
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
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-28Removing Makefile.in'sChristopher L. Conway
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
2010-01-26fixes to build structure, util classes, lots of fixes to Node and NodeBuilder...Morgan Deters
2009-12-17+ test infrastructure fixesMorgan Deters
2009-12-17add system regression testing infrastructureMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback