projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d3f97e) | patch
Fixing a soundness bug due to the default implmentation of Theory::ppAssert() not...
authorTim King <taking@cs.nyu.edu>
Mon, 26 May 2014 14:12:19 +0000 (10:12 -0400)
committerTim King <taking@cs.nyu.edu>
Mon, 26 May 2014 14:12:19 +0000 (10:12 -0400)
commit29744e3da7abba18ca58f6a21ff2f5c300fbe241
tree9527573092746c3298b139e6565985bc1f1a1ba6tree
parent9d3f97ea91ffbf9ceea5814281a4d434d8e09a53commit | diff
Fixing a soundness bug due to the default implmentation of Theory::ppAssert() not respecting subtyping.
src/theory/theory.cpp diff | blob | history