projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a194111) | patch
(proof-new) Proof recording for assertions pipeline (#4766)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 18 Jul 2020 04:16:18 +0000 (23:16 -0500)
committerGitHub <noreply@github.com>
Sat, 18 Jul 2020 04:16:18 +0000 (21:16 -0700)
commit750b53312a1930d6c0e4a43b7ae85736a30aa6d4
treee85ff1a8e90d9e864f2026be3ca242538db4f5c9tree
parenta1941114ac47af57547b34bb8ef8123624dd3bd3commit | diff
(proof-new) Proof recording for assertions pipeline (#4766)

Adds explicit steps to preprocess proof generator if one is provided.
src/preprocessing/assertion_pipeline.cpp diff | blob | history
src/preprocessing/assertion_pipeline.h diff | blob | history