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

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

2020-12-22	yoni206	Delete duplicated code (#5718)	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-08-28	Andrew Reynolds	Replace Theory::Set with TheoryIdSet (#4959)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2020-02-14	Andrew Reynolds	Remove quantifiers rewrite rules infrastructure (#3754)	blob \| commitdiff \| raw \| diff to current
2019-04-17	Andrew Reynolds	More use of isClosure (#2959)	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
2018-04-12	Andrew Reynolds	Fixes for free variables in assertions (#1762)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-06-20	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Cleanup from last commit, treat sep.nil as variable...	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Support for separation logic. Enable cbqi by default...	blob \| commitdiff \| raw \| diff to current
2016-05-23	ajreynol	Fix related to parametric sorts whose interpretation...	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
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-11	Kshitij Bansal	Merge pull request #64 from mdeters/theorysets-hashset...	blob \| commitdiff \| raw \| diff to current
2014-11-10	Tianyi Liang	Merge pull request #63 from mdeters/theorystrings-hashs...	blob \| commitdiff \| raw \| diff to current
2014-11-10	Dejan Jovanović	Bug 593 fix: if the type is finite, it is now considere...	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
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Fix erroneous results when the logic was incorrectly...	blob \| commitdiff \| raw \| diff to current
2013-05-10	Morgan Deters	Fix erroneous results when the logic was incorrectly...	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
2013-03-20	Liana Hadarean	merged master with dejan's constant evaluating equality...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Morgan Deters	Minor cleanup of sources	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	remove instantiator framework	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-07-07	Morgan Deters	Various fixes to documentation---typos, some incomplete...	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	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-27	Clark Barrett	Another expensive function call in a Debug line	blob \| commitdiff \| raw \| diff to current
2012-05-16	Dejan Jovanović	Changes to SAT solver:	blob \| commitdiff \| raw \| diff to current
2012-05-15	Tim King	Fix to shared terms visitor.	blob \| commitdiff \| raw \| diff to current
2012-05-14	Dejan Jovanović	fixes for shared term registration. previously the...	blob \| commitdiff \| raw \| diff to current
2012-05-14	Dejan Jovanović	fixing up preregistration again	blob \| commitdiff \| raw \| diff to current
2012-05-08	Liana Hadarean	Merging in bvprop branch, with proper bit-vector propag...	blob \| commitdiff \| raw \| diff to current
2012-05-04	Clark Barrett	Guard for expensive Debug trace	blob \| commitdiff \| raw \| diff to current
2012-05-03	Dejan Jovanović	Some cleanup starting off from trying to understand...	blob \| commitdiff \| raw \| diff to current
2012-04-28	Morgan Deters	New LogicInfo functionality.	blob \| commitdiff \| raw \| diff to current
2011-09-15	Dejan Jovanović	additional stuff for sharing,	blob \| commitdiff \| raw \| diff to current

RSS Atom