summaryrefslogtreecommitdiff
path: root/src/prop/bvminisat/core
AgeCommit message (Expand)Author
2014-06-13fixed BVMinisat bug due to not clearing seen properlylianah
2014-06-10Merging CAV14 paper bit-vector work.lianah
2014-03-19Appease compilers from latest XCode release (v5.1).Morgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
2012-10-03added support for interrupting TheoryBVLiana Hadarean
2012-07-31Options merge. This commit:Morgan Deters
2012-06-14fixing the problems with the bvminisat. there was a case when things would ge...Dejan Jovanović
2012-06-11fixing bitvector bugsDejan Jovanović
2012-05-15several bug fixes: in TheoryBV::NotifyClass missing NOT in predicate notify a...Liana Hadarean
2012-05-13fixing build warningsDejan Jovanović
2012-05-09* simplifying equality engine interfaceDejan Jovanović
2012-05-08Merging in bvprop branch, with proper bit-vector propagation. Liana Hadarean
2012-05-03Some cleanup starting off from trying to understand the sharing code. Changes...Dejan Jovanović
2012-04-11merge from arrays-clark branchMorgan Deters
2012-04-04some settings in bvminisatDejan Jovanović
2012-04-04changed BVMinisat options to use cc_min=0 in propagate only calls and cc_min=...Liana Hadarean
2012-04-04changed ccmin_mode in BvMinisatLiana Hadarean
2012-04-04 * added propagation as lemmas to TheoryBV:Liana Hadarean
2012-03-22Merged updated version of the bitvector theory:Liana Hadarean
2012-02-29This should fix the debian build fails:Liana Hadarean
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback