summaryrefslogtreecommitdiff
path: root/src/theory/theory_test_utils.h
AgeCommit message (Expand)Author
2012-02-22Added OutputChannel::propagateAsDecision() functionality, allowing a theoryMorgan Deters
2011-12-06LemmaStatus changes, as agreed to during 12/2 meeting.Morgan Deters
2011-10-23Implement changes from yesterday morning's meeting (10/21/2011):Morgan Deters
2011-09-15additional stuff for sharing, Dejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-04-25Weekend work. The main points:Morgan Deters
2010-11-15This commit merges the arith-prop-opt branch into the main trunk. This was do...Tim King
2010-10-12minor unit test fix-upsMorgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-29Merging the unate-propagator branch into the trunk. This is a big update so ...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback