git.libre-soc.org Git - cvc5.git/history - src/prop/minisat/core/Solver.C

2010-06-29	Tim King	Merging the unate-propagator branch into the trunk...	blob \| commitdiff \| raw
2010-05-25	Dejan Jovanović	Some initial changes to allow for lemmas on demand.	blob \| commitdiff \| raw \| diff to current
2010-03-12	Morgan Deters	* Added shutdown() functions to SmtEngine, TheoryEngine...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Dejan Jovanović	Fix for the main bug that was bugging me -- Bug 49...	blob \| commitdiff \| raw \| diff to current
2010-03-09	Dejan Jovanović	(no commit message)	blob \| commitdiff \| raw \| diff to current
2010-03-08	Dejan Jovanović	adding simple-uf to the regressions, and the code that...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Dejan Jovanović	some more sat stuff for tim: assertions now go to theory_uf	blob \| commitdiff \| raw \| diff to current
2010-03-04	Dejan Jovanović	Adding phase-caching to minisat.	blob \| commitdiff \| raw \| diff to current
2010-03-03	Dejan Jovanović	Some SAT stuff, not doing anything special yet, just...	blob \| commitdiff \| raw \| diff to current
2010-02-03	Morgan Deters	Addressed many of the concerns of bug 10 (build system...	blob \| commitdiff \| raw \| diff to current
2009-12-08	Morgan Deters	work on propositional layer, expression builder support...	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	from meeting	blob \| commitdiff \| raw \| diff to current