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

[cvc5.git] / src / theory / theory_preprocessor.cpp

2021-01-06	Andrew Reynolds	Add new interfaces to term formula removal and theory...	blob \| commitdiff \| raw
2020-12-22	Andrew Reynolds	Make theory preprocess rewrite equalities a preprocessi...	blob \| commitdiff \| raw \| diff to current
2020-12-21	Andrew Reynolds	Eliminate recursion from the internals of term formula...	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-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-11-26	Andrew Reynolds	Fix missed case of theory preprocessing (#5531)	blob \| commitdiff \| raw \| diff to current
2020-11-20	Andrew Reynolds	Fix remove term formula policy for terms beneath quanti...	blob \| commitdiff \| raw \| diff to current
2020-11-19	Andrew Reynolds	Fix issues related to eliminating extended arithmetic...	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-20	Andrew Reynolds	(proof-new) Update add lazy step interface in LazyCDPro...	blob \| commitdiff \| raw \| diff to current
2020-10-14	Andrew Reynolds	(proof-new) Miscellaneous minor improvements and fixes...	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-07-11	Andrew Reynolds	(proof-new) Update Theory interface for proof-new ...	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

RSS Atom