projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4180569) | patch
Add initial bit-blaster for proof logging. (#6053)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 4 Mar 2021 22:07:16 +0000 (14:07 -0800)
committerGitHub <noreply@github.com>
Thu, 4 Mar 2021 22:07:16 +0000 (22:07 +0000)
commitfaaf466a661ff3c8d7b80dd7614a2fae68016d92
treeecbfed56f09166822436713c5f7dc85f13cdca83tree
parent4180569420806f06fdfd7b9ab24f4d3d7724959ecommit | diff
Add initial bit-blaster for proof logging. (#6053)

Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
src/CMakeLists.txt diff | blob | history
src/theory/bv/bitblast/proof_bitblaster.cpp [new file with mode: 0644] blob
src/theory/bv/bitblast/proof_bitblaster.h [new file with mode: 0644] blob
src/theory/bv/bitblast/simple_bitblaster.h diff | blob | history
src/theory/bv/bv_solver_simple.cpp diff | blob | history
src/theory/bv/bv_solver_simple.h diff | blob | history