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

[cvc5.git] / src / theory / sets / kinds

2020-10-04	mudathirmahgoub	Remove subtyping for sets theory (#5179)	blob \| commitdiff \| raw
2020-09-09	mudathirmahgoub	Add is_singleton operator to the theory of sets (#5033)	blob \| commitdiff \| raw \| diff to current
2020-08-21	Andrew Reynolds	Remove spurious theory methods calls (#4931)	blob \| commitdiff \| raw \| diff to current
2020-04-08	mudathirmahgoub	Added CHOOSE operator for sets (#4211)	blob \| commitdiff \| raw \| diff to current
2019-12-13	Andrew Reynolds	Add support for set comprehension (#3312)	blob \| commitdiff \| raw \| diff to current
2017-04-20	Andrew Reynolds	Merge pull request #149 from PaulMeng/master	blob \| commitdiff \| raw \| diff to current
2017-04-20	Paul Meng	Support for relational operators identity and join...	blob \| commitdiff \| raw \| diff to current
2017-04-12	ajreynol	Add nullary operator metakind.	blob \| commitdiff \| raw \| diff to current
2017-03-07	ajreynol	More fixes for printing/parsing sets, fix kind name.	blob \| commitdiff \| raw \| diff to current
2017-03-06	ajreynol	Support for set compliment and universe set. Simplify...	blob \| commitdiff \| raw \| diff to current
2016-10-26	Andrew Reynolds	Merge pull request #98 from 4tXJ7f/fix_dist_build	blob \| commitdiff \| raw \| diff to current
2016-10-26	ajreynol	New implementation of sets+cardinality. Merge Paul...	blob \| commitdiff \| raw \| diff to current
2016-10-13	Tim King	Revert "Merge branch 'origin' of https://github.com...	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-08-24	PaulMeng	Merge remote-tracking branch 'origin/master'	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-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-15	PaulMeng	change transitive closure operator name to TCLOUSRE	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-09	Kshitij Bansal	cardinality operation for finite sets (based on my...	blob \| commitdiff \| raw \| diff to current
2016-02-15	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-02-09	PaulMeng	- extend cvc4 frontend parser to accept relational...	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	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	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-21	Morgan Deters	Sets kinds documentation	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	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	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