summaryrefslogtreecommitdiff
path: root/test/system
AgeCommit message (Expand)Author
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