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

2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2020-11-06	mudathirmahgoub	Fix issue #5342 (#5349)	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	Andrew Reynolds	Split term registry from theory state in sets (#5037)	blob \| commitdiff \| raw \| diff to current
2020-09-03	Andrew Reynolds	Update sets inference manager to inherit from Inference...	blob \| commitdiff \| raw \| diff to current
2020-08-12	Andrew Reynolds	Prepare theory of sets for dynamic allocation of equali...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-02-07	mudathirmahgoub	Univeset Cardinality constraints for infinite types...	blob \| commitdiff \| raw \| diff to current
2020-01-08	mudathirmahgoub	Universe set cardinality for finite types with finite...	blob \| commitdiff \| raw \| diff to current
2019-09-13	Andrew Reynolds	Split, refactor and document the theory of sets (#3085)	blob \| commitdiff \| raw \| diff to current