projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70997d0) | patch
[proofs] Fix a trace in SAT proof manager (#7732)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 2 Dec 2021 16:43:10 +0000 (13:43 -0300)
committerGitHub <noreply@github.com>
Thu, 2 Dec 2021 16:43:10 +0000 (10:43 -0600)
commit9d563b2963835b2a4e6ab19bdf5a5b21d934416e
tree17c13fb6220b02b3fbd1595be641f5367ac2cbfbtree
parent70997d0e3ebf2027279373d9594c66119f3fa656commit | diff
[proofs] Fix a trace in SAT proof manager (#7732)
src/prop/sat_proof_manager.cpp diff | blob | history