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

2021-01-28	Andrew Reynolds	Use standard equality engine information in quantifiers...	blob \| commitdiff \| raw
2020-09-30	Andrew Reynolds	Dynamic allocation of equality engine for shared solver...	blob \| commitdiff \| raw \| diff to current
2020-09-26	Andrew Reynolds	Connect the shared solver to theory engine (#5103)	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-20	Andrew Reynolds	More flexible design for model manager distributed...	blob \| commitdiff \| raw \| diff to current
2020-08-25	Andrew Reynolds	Add the combination engine (#4939)	blob \| commitdiff \| raw \| diff to current
2020-08-21	Andrew Reynolds	Dynamic allocation of model equality engine (#4911)	blob \| commitdiff \| raw \| diff to current
2020-08-17	Andrew Reynolds	Dynamic allocation of equality engine in Theory (#4890)	blob \| commitdiff \| raw \| diff to current
2020-08-13	Andrew Reynolds	Add the distributed equality engine manager (#4867)	blob \| commitdiff \| raw \| diff to current