projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74f7773) | patch
Fix sine symmetry proof (#7783)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 9 Dec 2021 20:37:19 +0000 (12:37 -0800)
committerGitHub <noreply@github.com>
Thu, 9 Dec 2021 20:37:19 +0000 (14:37 -0600)
commite20a8b4ea58f77a2d8a21b15d639d5a2a6a7b48d
tree913a9bc49726b45a14a99372076c97e969b95c0btree
parent74f7773cda304b78417ecee22e8b9430725673c5commit | diff
Fix sine symmetry proof (#7783)

This PR fixes an issue in proofs for sine symmetry arising from the proof checker no longer using the rewriter.
src/theory/arith/nl/transcendental/sine_solver.cpp diff | blob | history