git.libre-soc.org Git - cvc5.git/history - src/theory/substitutions.cpp

[cvc5.git] / src / theory / substitutions.cpp

2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw
2013-09-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw
2013-09-24	Clark Barrett	Reduce compiler dependencies on substitutions.h,	blob \| commitdiff \| raw
2013-09-23	Morgan Deters	Revert Clark's last commit, at his request; there are...	blob \| commitdiff \| raw \| diff to current
2013-09-23	Clark Barrett	Cleaner version of bug-fix for 528, also moved substitu...	blob \| commitdiff \| raw
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-02-08	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-07	Morgan Deters	Significant work on bug #491 (not yet closed).	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-10-10	Morgan Deters	Abstract values for SMT-LIB.	blob \| commitdiff \| raw \| diff to current
2012-09-12	Morgan Deters	Adding model assertions after SAT responses.	blob \| commitdiff \| raw \| diff to current
2012-06-14	Clark Barrett	New substitutions implementation - fixes performance...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Morgan Deters	The "no-tears-in-competition-mode" commit. Change...	blob \| commitdiff \| raw \| diff to current
2012-06-12	Clark Barrett	Adding constant propagation code - needs more testing...	blob \| commitdiff \| raw \| diff to current
2012-06-06	Dejan Jovanović	disabling a super-expensive assertions to speed up...	blob \| commitdiff \| raw \| diff to current
2012-06-05	Clark Barrett	Fixed a performance issue with unconstrained simplifier	blob \| commitdiff \| raw \| diff to current
2012-06-04	Clark Barrett	Added preprocessing pass that propagates unconstrained...	blob \| commitdiff \| raw \| diff to current
2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	blob \| commitdiff \| raw \| diff to current
2011-10-05	Morgan Deters	remove some debugging code that slowed down last night...	blob \| commitdiff \| raw \| diff to current
2011-10-04	Morgan Deters	fixes to context-dependent caching substitutions	blob \| commitdiff \| raw \| diff to current
2011-09-29	Morgan Deters	Some base infrastructure for user push/pop; a few bugfi...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Partial merge of integers work; this is simple B&B...	blob \| commitdiff \| raw \| diff to current
2011-07-05	Dejan Jovanović	updated preprocessing and rewriting input equalities...	blob \| commitdiff \| raw \| diff to current

RSS Atom