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

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

2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
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-15	Andrew Reynolds	Move sets member propagation to SolverState (#5045)	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-19	Andrew Reynolds	Make sets and strings solver states inherit from Theory...	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-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-01-08	mudathirmahgoub	Universe set cardinality for finite types with finite...	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-23	Andrew Reynolds	Refactoring skolems for sets (#3381)	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

RSS Atom