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

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

2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2020-10-02	Andrew Reynolds	(proof-new) Make shared solver proof producing (#5169)	blob \| commitdiff \| raw \| diff to current
2020-09-30	Andrew Reynolds	Dynamic allocation of equality engine for shared solver...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-18	Andrew Reynolds	Add the shared solver (#4982)	blob \| commitdiff \| raw \| diff to current
2020-09-12	Andrew Reynolds	(proof-new) Update TheoryEngine lemma and conflict...	blob \| commitdiff \| raw \| diff to current
2020-08-28	Andrew Reynolds	Replace Theory::Set with TheoryIdSet (#4959)	blob \| commitdiff \| raw \| diff to current
2020-08-20	Andrew Reynolds	Simplify trigger notifications in equality engine ...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-11-13	Tim King	Initializing SharedTermsDatabase::d_conflictPolarity...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-09-02	Tim King	Merge pull request #91 from timothy-king/no-throw	blob \| commitdiff \| raw \| diff to current
2016-09-01	Tim King	Relaxing the throw specifiers for the destructors for...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-03-23	guykatzz	Merge pull request #82 from CVC4/master_for_merge	blob \| commitdiff \| raw \| diff to current
2016-03-23	Guy	squash-merge from proof branch	blob \| commitdiff \| raw \| diff to current
2016-01-09	Tim King	Removing StatisticsRegistry's static functions current...	blob \| commitdiff \| raw \| diff to current
2015-01-07	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-12-27	Dejan Jovanovic	Adding an option to the equality engine constructor...	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-06-30	Kshitij Bansal	Merge pull request #47 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #34 from mdeters/datatypes-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #37 from mdeters/quants-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #38 from mdeters/uf-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	blob \| commitdiff \| raw \| diff to current
2014-06-22	lianah	Merge pull request #39 from mdeters/bv-warnings	blob \| commitdiff \| raw \| diff to current
2014-06-22	lianah	Merge pull request #35 from mdeters/bv-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Fix compiler warnings (mostly unused variables).	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merging branch 'soiquickexplain'.	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merge branch 'fcexplanations'	blob \| commitdiff \| raw \| diff to current
2013-05-02	Dejan Jovanović	* splitLemma to request atoms	blob \| commitdiff \| raw \| diff to current
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
2012-11-15	Clark Barrett	More fixes to model generation, with previously failing...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-08-31	Andrew Reynolds	merge from fmf-devel branch. more updates to models...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Dejan Jovanović	fixes for the hasTerm issues in the shared database...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Dejan Jovanović	fix for bug 354	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	blob \| commitdiff \| raw \| diff to current
2012-06-06	Dejan Jovanović	Changes to the combination mechanism, lots of details...	blob \| commitdiff \| raw \| diff to current
2012-05-27	Dejan Jovanović	Committing the work on equality engine, I need to see...	blob \| commitdiff \| raw \| diff to current
2012-05-21	Dejan Jovanović	Updating equality manager to handle tagged trigger...	blob \| commitdiff \| raw \| diff to current
2012-05-15	Clark Barrett	Fixed several bugs in shared terms database	blob \| commitdiff \| raw \| diff to current
2012-05-09	Dejan Jovanović	* simplifying equality engine interface	blob \| commitdiff \| raw \| diff to current
2012-04-27	Clark Barrett	Fixed warning in decision_engine.h, minor tweak to...	blob \| commitdiff \| raw \| diff to current
2012-04-11	Morgan Deters	merge from arrays-clark branch	blob \| commitdiff \| raw \| diff to current
2011-09-16	Morgan Deters	fix serious issue with copyright-updating script	blob \| commitdiff \| raw \| diff to current
2011-09-15	Dejan Jovanović	additional stuff for sharing,	blob \| commitdiff \| raw \| diff to current

RSS Atom