projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 117b006) | patch
(proof-new) Proofs for non-clausal simplification (#5409)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 14 Nov 2020 14:17:15 +0000 (08:17 -0600)
committerGitHub <noreply@github.com>
Sat, 14 Nov 2020 14:17:15 +0000 (08:17 -0600)
commita017fd12e30cea00a6f1cadd823fbe8c36ef4e0d
tree5d572fa7a615861c61fe575f665d56e35499c5e7tree
parent117b00689149c20bf7106fd0ac931eb3dee57d89commit | diff
(proof-new) Proofs for non-clausal simplification (#5409)

Adds proof support in non-clausal simplification, connecting the proofs from circuit propagator.
src/preprocessing/passes/non_clausal_simp.cpp diff | blob | history
src/preprocessing/passes/non_clausal_simp.h diff | blob | history