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

[cvc5.git] / src / theory / sets / theory_sets_private.cpp

2014-12-27	Dejan Jovanovic	Adding an option to the equality engine constructor...	blob \| commitdiff \| raw
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-19	Kshitij Bansal	Merge pull request #70 from kbansal/sets-for-merge...	blob \| commitdiff \| raw \| diff to current
2014-11-19	Kshitij Bansal	Set Constant's normal form and other short fixes	blob \| commitdiff \| raw \| diff to current
2014-11-17	Morgan Deters	New, uniform checkTime statistic for all theories ...	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	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Update TheorySets to use CDHashSet<>::key_begin() ...	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-05	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-17	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-16	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-10	Kshitij Bansal	Fix issue with shared but non-preregistered term setup...	blob \| commitdiff \| raw \| diff to current
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-08	Kshitij Bansal	Fix portoflio issues (debugging code was being called...	blob \| commitdiff \| raw \| diff to current
2014-10-07	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-10-07	Kshitij Bansal	whitespace fixes	blob \| commitdiff \| raw \| diff to current
2014-10-07	Kshitij Bansal	add couple of stats	blob \| commitdiff \| raw \| diff to current
2014-10-07	Kshitij Bansal	sets stronger equality propagator	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Kshitij Bansal	fix for bug586	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-02	Morgan Deters	Merge branch '1.4.x'.	blob \| commitdiff \| raw \| diff to current
2014-10-02	Morgan Deters	Merge pull request #54 from kbansal/bugfix_setssegfault	blob \| commitdiff \| raw \| diff to current
2014-10-02	Kshitij Bansal	fix getModelValue(<non-preregistered term>)	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-27	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-26	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x' while ignoring commit 8d5eb49.	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-24	Kshitij Bansal	remove some debugging code	blob \| commitdiff \| raw \| diff to current
2014-08-24	Kshitij Bansal	improvements to sets sharing	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-03	Kshitij Bansal	change lemma generation behavior	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #44 from mdeters/prio-queue-updates	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #45 from mdeters/turn-off-strings-exp	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-25	Kshitij Bansal	fix sets eager lemmas	blob \| commitdiff \| raw \| diff to current
2014-06-25	Kshitij Bansal	mv default care graph function inside the theory implem...	blob \| commitdiff \| raw \| diff to current
2014-06-22	Kshitij Bansal	Renaming of SMT2 operator names, kinds for set theory	blob \| commitdiff \| raw \| diff to current
2014-06-11	Kshitij Bansal	Merge pull request #31 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-11	Kshitij Bansal	sets: comment out an assertion too strong	blob \| commitdiff \| raw \| diff to current
2014-06-11	Kshitij Bansal	user/sat context issue in sets	blob \| commitdiff \| raw \| diff to current
2014-06-06	Kshitij Bansal	Merge pull request #28 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-06	Kshitij Bansal	sets: fix equality propagation	blob \| commitdiff \| raw \| diff to current
2014-06-03	ajreynol	Support E-matching/QCF for Set operators.	blob \| commitdiff \| raw \| diff to current
2014-05-17	Kshitij Bansal	Merge pull request #26 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-05-16	Kshitij Bansal	sets: fix a bug in model building, another in handling...	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-28	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	nodemanager robust skolem numbering	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge pull request #25 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-24	Kshitij Bansal	optimization	blob \| commitdiff \| raw \| diff to current
2014-04-17	Kshitij Bansal	use internal skolem numbering	blob \| commitdiff \| raw \| diff to current
2014-04-10	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-04-09	Kshitij Bansal	Merge pull request #24 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-04-09	Kshitij Bansal	fix	blob \| commitdiff \| raw \| diff to current
2014-04-09	Kshitij Bansal	prep for fix	blob \| commitdiff \| raw \| diff to current
2014-04-09	Kshitij Bansal	try foreach on CD datastructure	blob \| commitdiff \| raw \| diff to current
2014-04-09	Kshitij Bansal	more	blob \| commitdiff \| raw \| diff to current
2014-04-09	Kshitij Bansal	some debugging changes	blob \| commitdiff \| raw \| diff to current
2014-04-06	Tim King	Merge pull request #21 from pcc/ite-fix	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-30	Kshitij Bansal	Merge pull request #23 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-28	Kshitij Bansal	add construles, type_rules rm redundant, kinds cleanup	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	cleanup	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	fix for sets/mar2014/..317minimized..	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	Fix for registration issues of term appearing in a...	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	rewriter fix, weaken an assertion	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	fix a sharing issues with sets	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	work on set model	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-01	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-02-28	Kshitij Bansal	Merge pull request #12 from kbansal/in-to-member	blob \| commitdiff \| raw \| diff to current
2014-02-28	Kshitij Bansal	theory/sets: cleanup	blob \| commitdiff \| raw \| diff to current
2014-02-28	Kshitij Bansal	rename kind::IN to kind::MEMBER (fixes some windows...	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	Merge pull request #10 from kbansal/sets-for-merge	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	add new theory (sets)	blob \| commitdiff \| raw \| diff to current

RSS Atom