git.libre-soc.org Git - cvc5.git/history - src/prop/minisat/Makefile.am

[cvc5.git] / src / prop / minisat / Makefile.am

2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw
2010-10-27	Morgan Deters	"make dist" fixes; a distribution tarball can now build...	blob \| commitdiff \| raw \| diff to current
2010-08-15	Dejan Jovanović	(no commit message)	blob \| commitdiff \| raw \| diff to current
2010-08-13	Dejan Jovanović	Adding the changes to the original copy	blob \| commitdiff \| raw \| diff to current
2010-08-13	Christopher L. Conway	Removing old version of MiniSat for proper vendor import	blob \| commitdiff \| raw
2010-07-03	Morgan Deters	With this commit come a number of changes to build...	blob \| commitdiff \| raw \| diff to current
2010-06-15	Morgan Deters	fix last commit gcc options (-wunknown-pragmas ==>...	blob \| commitdiff \| raw \| diff to current
2010-06-15	Morgan Deters	remove warnings about unknown #pragma GCC diagnostic...	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Node::isAtomic() now looks at an "atomic" attribute...	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	Dejan Jovanović	adding an option to minisat to not do any debug checks...	blob \| commitdiff \| raw \| diff to current
2009-12-16	Morgan Deters	Fixes to the build system:	blob \| commitdiff \| raw \| diff to current
2009-12-10	Morgan Deters	cleanups, assert work, add a stubbed uf theory, fix...	blob \| commitdiff \| raw \| diff to current
2009-12-09	Morgan Deters	some fixes and organizational adjustments to assert...	blob \| commitdiff \| raw \| diff to current
2009-11-23	Morgan Deters	fixups, file comments	blob \| commitdiff \| raw \| diff to current
2009-11-20	Morgan Deters	fixes to build/test system	blob \| commitdiff \| raw \| diff to current
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	from meeting	blob \| commitdiff \| raw \| diff to current

RSS Atom