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

[cvc5.git] / src / theory / arrays / theory_arrays.cpp

2012-04-11	Morgan Deters	merge from arrays-clark branch	blob \| commitdiff \| raw
2012-03-09	Morgan Deters	Some work on the dump infrastructure to support portfol...	blob \| commitdiff \| raw \| diff to current
2012-02-25	Dejan Jovanović	ppAsert -> ppAssert	blob \| commitdiff \| raw \| diff to current
2012-02-24	Dejan Jovanović	Theory interface changes:	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-09-29	Morgan Deters	Some base infrastructure for user push/pop; a few bugfi...	blob \| commitdiff \| raw \| diff to current
2011-09-15	Dejan Jovanović	additional stuff for sharing,	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-07-12	Morgan Deters	fix bug 272, array unsoundness, and some array cleanup	blob \| commitdiff \| raw \| diff to current
2011-07-11	Clark Barrett	Clark's work on array theory - can now solve all QF_AX...	blob \| commitdiff \| raw \| diff to current
2011-05-23	Morgan Deters	Merge from arrays2 branch.	blob \| commitdiff \| raw \| diff to current
2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	Merge from theory-break-dependences branch to break...	blob \| commitdiff \| raw \| diff to current
2011-01-05	Dejan Jovanović	Commit for the theory engine and rewriter changes....	blob \| commitdiff \| raw \| diff to current
2010-10-09	Morgan Deters	Model generation for arith, boolean, and uf theories via	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-07-07	Clark Barrett	Shared term manager tested and working	blob \| commitdiff \| raw \| diff to current
2010-07-07	Clark Barrett	Added shared term manager. Basic mechanism for identif...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	re-generated comment headers of source files	blob \| commitdiff \| raw \| diff to current
2010-06-14	Clark Barrett	Started work on array theory	blob \| commitdiff \| raw \| diff to current

RSS Atom