summaryrefslogtreecommitdiff
path: root/src/theory/theory_preprocessor.cpp
AgeCommit message (Expand)Author
2021-01-05Add new interfaces to term formula removal and theory preprocess (#5717)Andrew Reynolds
2020-12-22Make theory preprocess rewrite equalities a preprocessing pass (#5711)Andrew Reynolds
2020-12-21Eliminate recursion from the internals of term formula removal (#5701)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-12-02Update copyright headers.Aina Niemetz
2020-11-25Fix missed case of theory preprocessing (#5531)Andrew Reynolds
2020-11-20Fix remove term formula policy for terms beneath quantifiers (#5497)Andrew Reynolds
2020-11-19Fix issues related to eliminating extended arithmetic operators (#5475)Andrew Reynolds
2020-10-21(proof-new) Make theory preprocessor user-context dependent (#5296)Andrew Reynolds
2020-10-20(proof-new) Update add lazy step interface in LazyCDProof (#5299)Andrew Reynolds
2020-10-13 (proof-new) Miscellaneous minor improvements and fixes to proofs in theory f...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-07-10(proof-new) Update Theory interface for proof-new (#4648)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