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

[cvc5.git] / src / theory / quantifiers / quantifiers_modules.cpp

2021-03-26	Andrew Reynolds	Pass term registry to quantifiers modules (#6216)	blob \| commitdiff \| raw
2021-03-24	Andrew Reynolds	Use inference manager to access intantiate utility...	blob \| commitdiff \| raw \| diff to current
2021-03-23	Andrew Reynolds	Passing term registry to ematching utilities (#6190)	blob \| commitdiff \| raw \| diff to current
2021-03-19	Andrew Reynolds	Refactor initialization of quantifiers model and builde...	blob \| commitdiff \| raw \| diff to current
2021-03-09	Gereon Kremer	Some more cleanup of includes (#6083)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-02-24	Andrew Reynolds	Add interface to TheoryState for sort inference and...	blob \| commitdiff \| raw \| diff to current
2021-02-17	Andrew Reynolds	Move methods from term util to quantifiers registry...	blob \| commitdiff \| raw \| diff to current
2021-02-04	Andrew Reynolds	Introduce quantifiers registry utility (#5829)	blob \| commitdiff \| raw \| diff to current
2021-01-26	Andrew Reynolds	Introduce quantifiers inference manager (#5821)	blob \| commitdiff \| raw \| diff to current
2021-01-26	Andrew Reynolds	Remove deprecated quantifiers modules (#5820)	blob \| commitdiff \| raw \| diff to current
2021-01-26	Andrew Reynolds	Refactor quantifiers engine initialization (#5813)	blob \| commitdiff \| raw \| diff to current
2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-09-15	Andrew Reynolds	Move quantifiers engine private to own file (#5053)	blob \| commitdiff \| raw \| diff to current

RSS Atom