Age | Commit message (Expand) | Author |
2013-05-03 | changed the shifting bit-blasting to potentially be more efficient | lianah |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-02-14 | Removing BVDebug and replacing with Debug. | Tim King |
2012-12-12 | * fixed bug 481 by adding check for division by 0 in bit-vector division circuit | lianah |
2012-11-13 | added support for division by zero for bit-vector division operators | Liana Hadarean |
2012-10-23 | fixed TheoryBV collectModel info to check for shared terms; this seems to fix... | Liana Hadarean |
2012-10-19 | BV theory model fix | Liana Hadarean |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-03 | implemented collectModelInfo for TheoryBV | Liana Hadarean |
2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-05-28 | Added some BV rewrites, fixed bugs in array theory, made ite simp work with BV | Clark Barrett |
2012-05-15 | renamed bv_sat.h, bv_sat.cpp to bitblaster.h, bitblaster.cpp respectively | Liana Hadarean |
2012-04-11 | merge from arrays-clark branch | Morgan Deters |
2012-04-04 | * added propagation as lemmas to TheoryBV: | Liana Hadarean |
2012-03-25 | sat_module.h,cpp -> sat_solver.h,cpp (as intended) | Dejan Jovanović |
2012-03-22 | Merged updated version of the bitvector theory: | Liana Hadarean |
2012-03-02 | CDMap -> CDHashMap | Dejan Jovanović |
2012-02-29 | This should fix the debian build fails: | Liana Hadarean |
2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |