summaryrefslogtreecommitdiff
path: root/src/theory/trust_node.cpp
AgeCommit message (Collapse)Author
2020-08-18(proof-new) Minor updates to trust node (#4900)Andrew Reynolds
2020-07-13 (proof-new) SMT Preprocess proof generator (#4708)Andrew Reynolds
This adds the proof generator for storing proofs of preprocessing. It stores assertions added via preprocessing passes and their rewrites. This utility will eventually live in SmtEngine. It also adds 2 new proof rules, and fixes an issue in ProofNodeUpdater.
2020-06-22(proof-new) Add REWRITE trust node kind. (#4624)Andrew Reynolds
This will be used for a number of purposes, including tracking proofs for rewriting and preprocessing.
2020-06-16Update copyright headers.Aina Niemetz
2020-06-09(proof-new) Add trust node utility (#4588)Andrew Reynolds
This is a core data structure for associating a formula with a proof generator.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback