projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Updating the copyright headers and scripts.
[cvc5.git] / src / theory / bv / cd_set_collection.h
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... blob | commitdiff | raw | diff to current
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-14 Tim KingRemoving BVDebug and replacing with Debug. blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-07-08 Morgan DetersBugs resolved by this commit: #314, #322, #359, #364... blob | commitdiff | raw | diff to current
2011-09-28 Morgan Detersvariety of visibility fixes (should clean up some of... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-05-02 Dejan Jovanovićupdates for bitvectors blob | commitdiff | raw | diff to current
2011-03-22 Dejan Jovanovićupdating debug output usage to eliviate impact of bug 252 blob | commitdiff | raw | diff to current
2011-03-20 Dejan Jovanovićmore bugfixes for bitvectors blob | commitdiff | raw | diff to current
2011-03-20 Dejan Jovanovićcommit for the version of bitvectors that passes all... blob | commitdiff | raw | diff to current
2011-02-26 Morgan DetersCommit to fix bug 241 (improper "using namespace std... blob | commitdiff | raw | diff to current
2011-02-25 Dejan Jovanovićslicing manager is not breaking the old regressions... blob | commitdiff | raw | diff to current