2012-04-11 | Morgan Deters | merge from arrays-clark branch | blob | commitdiff | raw |
2012-04-04 | Dejan Jovanović | some settings in bvminisat | blob | commitdiff | raw | diff to current |
2012-04-04 | Liana Hadarean | changed BVMinisat options to use cc_min=0 in propagate... | blob | commitdiff | raw | diff to current |
2012-04-04 | Liana Hadarean | changed ccmin_mode in BvMinisat | blob | commitdiff | raw | diff to current |
2012-04-04 | Liana Hadarean | * added propagation as lemmas to TheoryBV: | 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-25 | Liana Hadarean | Refactored CnfStream to work with the bv theory Bitblaster: | blob | commitdiff | raw | diff to current |