Age | Commit message (Expand) | Author |
---|---|---|
2012-07-27 | Minor cleanup after today's commits: | Morgan Deters |
2012-07-16 | now passes "make distcheck", which does important checks for the release (e.g... | Morgan Deters |
2012-06-17 | enabling theoryof=term for quantifiers with sharing | Dejan Jovanović |
2012-06-17 | Fix array bug causing incorrect answers | Clark Barrett |
2012-06-16 | Adding the failing QF_AUFLIA regression mentioned in last commit. | Kshitij Bansal |
2012-06-15 | one bug fixed | Kshitij Bansal |
2012-06-14 | add failing regression, move error up | Kshitij Bansal |
2012-06-14 | bug fixes in justification heuristic | Kshitij Bansal |
2012-06-14 | enabling fixed bug345 case | Dejan Jovanović |
2012-06-14 | fix quantifier non-bug | Kshitij Bansal |
2012-06-14 | failing quantifier | Kshitij Bansal |
2012-06-14 | add passing regression | Kshitij Bansal |
2012-06-13 | add passing regression | Kshitij Bansal |
2012-06-13 | enable some decision regressions | Kshitij Bansal |
2012-06-13 | decision regressions, all but one fail | Kshitij Bansal |