projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fb31c7) | patch
Fix proof for xor in circuit propagator (#7525)
authorGereon Kremer <nafur42@gmail.com>
Thu, 28 Oct 2021 22:03:07 +0000 (15:03 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Oct 2021 22:03:07 +0000 (22:03 +0000)
commit9e1e48ad560408667f6972979c6123ebc7b615d2
tree6438557a45a4f545a2175aee7177e421ed277439tree
parent6fb31c779f91fa22186052224ceb38d48ba41fa9commit | diff
Fix proof for xor in circuit propagator (#7525)

This PR fixes another double negation issue in the circuit propagator.
Fixes cvc5/cvc5-projects#332.
src/theory/booleans/proof_circuit_propagator.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/preprocess/proj-issue332-circuit-prop-xor.smt2 [new file with mode: 0644] blob