git.libre-soc.org Git - cvc5.git/history - src/prop/bvminisat/bvminisat.h

[cvc5.git] / src / prop / bvminisat / bvminisat.h

2014-11-07	Morgan Deters	Remove some dead code.	blob \| commitdiff \| raw
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-05	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-17	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-16	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Fix a resource limiting issue where interruption didn...	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-02	Morgan Deters	Merge branch '1.4.x'.	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-27	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-26	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x' while ignoring commit 8d5eb49.	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-22	Morgan Deters	Unsat core infrastruture and API (SMT-LIB compliance...	blob \| commitdiff \| raw \| diff to current
2014-08-22	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-22	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-19	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-18	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-04	Morgan Deters	Better support for resource-limiting when there aren...	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-06-30	Kshitij Bansal	Merge pull request #47 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #34 from mdeters/datatypes-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #37 from mdeters/quants-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #38 from mdeters/uf-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	blob \| commitdiff \| raw \| diff to current
2014-06-22	lianah	Merge pull request #39 from mdeters/bv-warnings	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Fix compiler warnings in BV-related code (unused vars...	blob \| commitdiff \| raw \| diff to current
2014-06-10	lianah	Merging CAV14 paper bit-vector work.	blob \| commitdiff \| raw \| diff to current
2013-04-03	Dejan Jovanović	* changing the bitblast-eager to bitblast on pre-register	blob \| commitdiff \| raw \| diff to current
2012-10-03	Liana Hadarean	added support for interrupting TheoryBV	blob \| commitdiff \| raw \| diff to current
2012-08-06	Dejan Jovanović	removing the sat solver inmterface from being public	blob \| commitdiff \| raw \| diff to current
2012-06-14	Dejan Jovanović	fixing the problems with the bvminisat. there was a...	blob \| commitdiff \| raw \| diff to current
2012-05-09	Dejan Jovanović	* simplifying equality engine interface	blob \| commitdiff \| raw \| diff to current
2012-05-08	Liana Hadarean	Merging in bvprop branch, with proper bit-vector propag...	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-29	Tim King	Fixes a linking problem with the new SatSolverConstruct...	blob \| commitdiff \| raw \| diff to current
2012-03-28	Dejan Jovanović	Some renaming and refactoring in SAT	blob \| commitdiff \| raw \| diff to current
2012-03-26	Dejan Jovanović	Global registry of SAT solvers, where they are register...	blob \| commitdiff \| raw \| diff to current
2012-03-26	Dejan Jovanović	More cleaning up.	blob \| commitdiff \| raw \| diff to current
2012-03-26	Dejan Jovanović	more datail from the build failure	blob \| commitdiff \| raw \| diff to current
2012-03-25	Dejan Jovanović	moving minisat implementation into their respective...	blob \| commitdiff \| raw \| diff to current

RSS Atom