diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-01 01:10:09 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-01 01:10:09 -0500 |
commit | 4e1c078cfc49030b7e96485d777509ce4bc57a5a (patch) | |
tree | fecbd7f2c9d8461d2b8adebb974a85390add23d8 /src/theory/strings/theory_strings.cpp | |
parent | b58e0b24b1f5e319ceb468e9009b727df481af7c (diff) |
(proof-new) Updates to evaluator (#4659)
This will be required to separate "evaluation steps" from "rewrite steps" when reconstructing proofs of rewrites.
Diffstat (limited to 'src/theory/strings/theory_strings.cpp')
0 files changed, 0 insertions, 0 deletions