summaryrefslogtreecommitdiff
path: root/src/theory/bv/equality_engine.h
AgeCommit message (Expand)Author
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-02updates for bitvectorsDejan Jovanović
2011-03-22updating debug output usage to eliviate impact of bug 252Dejan Jovanović
2011-03-21more bugfixes, some basic propagation, and testcases to cover themDejan Jovanović
2011-03-20again a typoDejan Jovanović
2011-03-20fixing the failure from last nigth, due to using a reference to an element in...Dejan Jovanović
2011-03-20missed one caseDejan Jovanović
2011-03-20commit for the version of bitvectors that passes all the unit testsDejan Jovanović
2011-02-25slicing manager is not breaking the old regressions, time to syncDejan Jovanović
2011-02-17getting ready for slicing bitvectorsDejan Jovanović
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-09-24equality triggers for the equality engineDejan Jovanović
2010-09-24basic union find for bitvectorsDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback