2012-04-11 | Morgan Deters | merge from arrays-clark branch | blob | commitdiff | raw |
2012-04-04 | Liana Hadarean | * added propagation as lemmas to TheoryBV: | blob | commitdiff | raw | diff to current |
2012-03-26 | Dejan Jovanović | More cleaning up. | blob | commitdiff | raw | diff to current |
2012-03-25 | Dejan Jovanović | sat_module.h,cpp -> sat_solver.h,cpp (as intended) | blob | commitdiff | raw | diff to current |
2012-03-22 | Liana Hadarean | Merged updated version of the bitvector theory: | blob | commitdiff | raw | diff to current |
2012-02-29 | Liana Hadarean | This should fix the debian build fails: | blob | commitdiff | raw | diff to current |
2012-02-25 | Liana Hadarean | Refactored CnfStream to work with the bv theory Bitblaster: | blob | commitdiff | raw | diff to current |