summaryrefslogtreecommitdiff
path: root/src/theory/bv/cd_set_collection.h
AgeCommit message (Expand)Author
2018-02-13Remove unused cd_set_collection.h (#1606)Andres Noetzli
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2014-07-01Update copyrights.Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-02-14Removing BVDebug and replacing with Debug.Tim King
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-07-08Bugs resolved by this commit: #314, #322, #359, #364, #365.Morgan Deters
2011-09-28variety of visibility fixes (should clean up some of the many warnings on Mac...Morgan Deters
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-20more bugfixes for bitvectorsDejan Jovanović
2011-03-20commit for the version of bitvectors that passes all the unit testsDejan Jovanović
2011-02-26Commit to fix bug 241 (improper "using namespace std" in a header). This cau...Morgan Deters
2011-02-25slicing manager is not breaking the old regressions, time to syncDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback