diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-22 18:22:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-22 18:22:11 -0500 |
commit | bea30aa5dd6b36fc5a206c4742abadf8c3fab5c1 (patch) | |
tree | 8cf0f2f5b56f2c9994d8ab9d59f73c66f91b2498 /src/theory/arrays | |
parent | 1a6ef9fe8da8770e05fb9bd05a83d386aba8c1e9 (diff) |
(proof-new) Add REWRITE trust node kind. (#4624)
This will be used for a number of purposes, including tracking proofs for rewriting and preprocessing.
Diffstat (limited to 'src/theory/arrays')
0 files changed, 0 insertions, 0 deletions