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

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

2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
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-14	Andrew Reynolds	Refactoring the rewriter of sets (#4856)	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-03-03	mudathirmahgoub	Refactoring and cleaning the type enumerator for sets...	blob \| commitdiff \| raw \| diff to current
2020-03-03	Mathias Preiner	Fix variable shadowing bug in sets. (#3898)	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
2017-07-07	Mathias Preiner	Update copyright headers.	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-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-08-31	Tim King	Removing typeof from sets normal form and beautifying...	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
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

RSS Atom