summaryrefslogtreecommitdiff
path: root/src/theory/theory_preprocessor.h
AgeCommit message (Expand)Author
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-10(proof-new) Update ppRewrite to use skolem lemmas (#6102)Andrew Reynolds
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-02-02(proof-new) Refactor theory preprocessing (#5835)Andrew Reynolds
2021-01-28Always theory-preprocess lemmas (#5817)Andrew Reynolds
2021-01-05Add new interfaces to term formula removal and theory preprocess (#5717)Andrew Reynolds
2020-12-21Move ownership of theory preprocessor to TheoryProxy (#5690)Andrew Reynolds
2020-12-16Move ownership of term formula removal to theory preprocessor (#5670)Andrew Reynolds
2020-12-09(proof-new) Make theory preprocessor proofs self contained (#5642)Andrew Reynolds
2020-10-21(proof-new) Make theory preprocessor user-context dependent (#5296)Andrew Reynolds
2020-10-02(proof-new) Fixes for theory preprocessing proofs (#5171)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-08-18(proof-new) Theory preprocessor proof producing (#4807)Andrew Reynolds
2020-07-27(proof-new) Proof production for term formula removal (#4687)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-06-11(proof-new) Split TheoryEngine (#4558)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback