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 | |
| 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')
0 files changed, 0 insertions, 0 deletions