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

2021-01-06	Andrew Reynolds	Add new interfaces to term formula removal and theory...	blob \| commitdiff \| raw
2020-12-21	Andrew Reynolds	Move ownership of theory preprocessor to TheoryProxy...	blob \| commitdiff \| raw \| diff to current
2020-12-16	Andrew Reynolds	Move ownership of term formula removal to theory prepro...	blob \| commitdiff \| raw \| diff to current
2020-12-09	Andrew Reynolds	(proof-new) Make theory preprocessor proofs self contai...	blob \| commitdiff \| raw \| diff to current
2020-10-22	Andrew Reynolds	(proof-new) Make theory preprocessor user-context depen...	blob \| commitdiff \| raw \| diff to current
2020-10-02	Andrew Reynolds	(proof-new) Fixes for theory preprocessing proofs ...	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-08-18	Andrew Reynolds	(proof-new) Theory preprocessor proof producing (#4807)	blob \| commitdiff \| raw \| diff to current
2020-07-27	Andrew Reynolds	(proof-new) Proof production for term formula removal...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-12	Andrew Reynolds	(proof-new) Split TheoryEngine (#4558)	blob \| commitdiff \| raw \| diff to current