projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5899aab) | patch
added bvcomp case to bv to bool lifting
authorlianah <lianahady@gmail.com>
Thu, 12 Jun 2014 13:23:10 +0000 (09:23 -0400)
committerlianah <lianahady@gmail.com>
Thu, 12 Jun 2014 13:23:10 +0000 (09:23 -0400)
commitca633914d065d2c9abdc624da10c4eea5c7e0020
tree4cb3bab6fe2e2b595f687be9dfdd5a3acc25bb94tree
parent5899aab331ddec4d1c07387e596e1f1bc495ea94commit | diff
added bvcomp case to bv to bool lifting
src/theory/bv/bv_to_bool.cpp diff | blob | history