Age | Commit message (Expand) | Author |
---|---|---|
2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | 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-26 | More cleaning up. | Dejan Jovanović |
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-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 |