summaryrefslogtreecommitdiff
path: root/test/regress/regress0/decision
AgeCommit message (Expand)Author
2013-08-26Bug 374 benchmarksKshitij Bansal
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-09-18SMT-LIBv2 compliance regarding outputting "unknown".Morgan Deters
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-07-27Minor cleanup after today's commits:Morgan Deters
2012-07-16now passes "make distcheck", which does important checks for the release (e.g...Morgan Deters
2012-06-17enabling theoryof=term for quantifiers with sharingDejan Jovanović
2012-06-17Fix array bug causing incorrect answersClark Barrett
2012-06-16Adding the failing QF_AUFLIA regression mentioned in last commit.Kshitij Bansal
2012-06-15one bug fixedKshitij Bansal
2012-06-14add failing regression, move error upKshitij Bansal
2012-06-14bug fixes in justification heuristicKshitij Bansal
2012-06-14enabling fixed bug345 caseDejan Jovanović
2012-06-14fix quantifier non-bugKshitij Bansal
2012-06-14failing quantifierKshitij Bansal
2012-06-14add passing regressionKshitij Bansal
2012-06-13add passing regressionKshitij Bansal
2012-06-13enable some decision regressionsKshitij Bansal
2012-06-13decision regressions, all but one failKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback