projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b58e0b2) | patch
(proof-new) Updates to evaluator (#4659)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 1 Jul 2020 06:10:09 +0000 (01:10 -0500)
committerGitHub <noreply@github.com>
Wed, 1 Jul 2020 06:10:09 +0000 (01:10 -0500)
commit4e1c078cfc49030b7e96485d777509ce4bc57a5a
treefecbd7f2c9d8461d2b8adebb974a85390add23d8tree
parentb58e0b24b1f5e319ceb468e9009b727df481af7ccommit | diff
(proof-new) Updates to evaluator (#4659)

This will be required to separate "evaluation steps" from "rewrite steps" when reconstructing proofs of rewrites.
src/theory/evaluator.cpp diff | blob | history
src/theory/evaluator.h diff | blob | history