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

[cvc5.git] / src / theory / sets / theory_sets_type_rules.h

2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2020-10-06	mudathirmahgoub	Remove subtyping for sets (#5205)	blob \| commitdiff \| raw \| diff to current
2020-10-04	mudathirmahgoub	Remove subtyping for sets theory (#5179)	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-09	mudathirmahgoub	Add is_singleton operator to the theory of sets (#5033)	blob \| commitdiff \| raw \| diff to current
2020-07-14	Andres Noetzli	Use TypeNode in EmptySet (#4740)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	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
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	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-01-10	Tim King	Removing throw specifiers for TypeRules. (#1501)	blob \| commitdiff \| raw \| diff to current
2017-07-13	Aina Niemetz	Merge pull request #188 from aniemetz/cx11	blob \| commitdiff \| raw \| diff to current
2017-07-12	ajreynol	Make type rules more strict for operators whose type...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-06-30	ajreynol	Minor change to trigger selection, fixes related to...	blob \| commitdiff \| raw \| diff to current
2017-05-17	Clark Barrett	Merge pull request #155 from makaimann/conditional_coverage	blob \| commitdiff \| raw \| diff to current
2017-05-16	Clark Barrett	Merge pull request #161 from 4tXJ7f/fix_parser	blob \| commitdiff \| raw \| diff to current
2017-05-16	Andrew Reynolds	Merge pull request #156 from 4tXJ7f/fix_safe_print	blob \| commitdiff \| raw \| diff to current
2017-05-15	Andrew Reynolds	Merge pull request #159 from 4tXJ7f/fix_set_types	blob \| commitdiff \| raw \| diff to current
2017-05-15	Andres Noetzli	Fix type checks for relation operators	blob \| commitdiff \| raw \| diff to current
2017-05-05	ajreynol	Fix error message.	blob \| commitdiff \| raw \| diff to current
2017-04-21	Clark Barrett	Merge pull request #150 from 4tXJ7f/check_exceptions2	blob \| commitdiff \| raw \| diff to current
2017-04-21	ajreynol	Handle subtypes in sets. Bug fixes for tuples with...	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-14	ajreynol	Fix nullary operator printers, minor.	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-09-23	Paul Meng	fixed a few bugs	blob \| commitdiff \| raw \| diff to current
2016-09-13	Paul Meng	fixed type checking and computing for PRODUCT and JOIN	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-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-03-23	PaulMeng	added typing rule for transitive closure	blob \| commitdiff \| raw \| diff to current
2016-03-04	PaulMeng	refactored the code	blob \| commitdiff \| raw \| diff to current
2016-03-01	PaulMeng	adapted the solver to accept sets of built-in types...	blob \| commitdiff \| raw \| diff to current
2016-02-17	PaulMeng	added rules for join and transpose operators	blob \| commitdiff \| raw \| diff to current
2016-02-15	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-02-15	PaulMeng	extended smt parser for the finite relations	blob \| commitdiff \| raw \| diff to current
2016-02-09	PaulMeng	- extend cvc4 frontend parser to accept relational...	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-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-09	Morgan Deters	Merge branch '1.4.x'	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	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-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	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-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-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-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