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

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

2016-04-09	Kshitij Bansal	cardinality operation for finite sets (based on my...	blob \| commitdiff \| raw
2016-04-04	Tim King	Updating the copyright headers and scripts.	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-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-10	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-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-20	Kshitij Bansal	Merge pull request #59 from kbansal/sets3	blob \| commitdiff \| raw \| diff to current
2014-10-20	Kshitij Bansal	Finish sets type enumerator implementation.	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-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-29	Kshitij Bansal	sets: "insert" operator	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	fix in sets rewriter	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-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	rewriter fix, weaken an assertion	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	constant normal form and rewrite	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-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