git.libre-soc.org Git - cvc5.git/search

2012-04-30	Clark Barrett	Added map from skolem variables to new ite formulas...	commit \| commitdiff \| tree
2012-04-27	Clark Barrett	Fixed warning in decision_engine.h, minor tweak to...	commit \| commitdiff \| tree
2012-04-20	Clark Barrett	Updates to array theory - much more lazy about introduction...	commit \| commitdiff \| tree
2012-04-14	Clark Barrett	Fixed bug in sharing with arrays of different types	commit \| commitdiff \| tree
2011-07-11	Clark Barrett	Adding static_fact_manager	commit \| commitdiff \| tree
2011-07-11	Clark Barrett	Clark's work on array theory - can now solve all QF_AX...	commit \| commitdiff \| tree
2011-07-10	Clark Barrett	Reverting mistaken check-in	commit \| commitdiff \| tree
2011-07-10	Clark Barrett	Fixed bug in default solve - wasn't returning when...	commit \| commitdiff \| tree
2011-04-11	Clark Barrett	Transitive closure module is working	commit \| commitdiff \| tree
2011-04-08	Clark Barrett	Added util class	commit \| commitdiff \| tree
2010-07-07	Clark Barrett	Shared term manager tested and working	commit \| commitdiff \| tree
2010-07-07	Clark Barrett	Updated headers	commit \| commitdiff \| tree
2010-07-07	Clark Barrett	Added shared term manager. Basic mechanism for identifying...	commit \| commitdiff \| tree
2010-07-06	Clark Barrett	Moved registration to theory engine	commit \| commitdiff \| tree
2010-07-05	Clark Barrett	Added Cesare to list of authors	commit \| commitdiff \| tree
2010-07-05	Clark Barrett	Changed AUTHORS - removed references to earlier CVC...	commit \| commitdiff \| tree
2010-06-14	Clark Barrett	Started work on array theory	commit \| commitdiff \| tree
2010-03-23	Clark Barrett	Documented that ContextObj::destroy() only restores...	commit \| commitdiff \| tree
2010-03-13	Clark Barrett	Fix for bug 45	commit \| commitdiff \| tree
2010-02-10	Clark Barrett	Added calls to destructor in CDList plus optional flag...	commit \| commitdiff \| tree
2010-02-02	Clark Barrett	Fixed bug in context code	commit \| commitdiff \| tree
2010-02-02	Clark Barrett	Fixed compile errors	commit \| commitdiff \| tree
2010-02-02	Clark Barrett	Updates to context:	commit \| commitdiff \| tree
2010-01-29	Clark Barrett	one more bug	commit \| commitdiff \| tree
2010-01-29	Clark Barrett	Fixed compile errors	commit \| commitdiff \| tree
2010-01-29	Clark Barrett	Update of context module	commit \| commitdiff \| tree
2009-12-17	Clark Barrett	Minor changes from code review	commit \| commitdiff \| tree
2009-12-15	Clark Barrett	Added context_mm (haven't tested compilation yet...)	commit \| commitdiff \| tree

RSS Atom