git.libre-soc.org Git - cvc5.git/history

2021-01-28	Andrew Reynolds	Use standard equality engine information in quantifiers...	blob \| commitdiff \| raw
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