projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 070dfb5) | patch
fix for bug 253, was propagating an asserted literal
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 26 Mar 2011 22:26:06 +0000 (22:26 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 26 Mar 2011 22:26:06 +0000 (22:26 +0000)
commit390477967f6179b03754c27be027b22ea77052bc
tree25392eab19db820315473251172e81159f04d576tree
parent070dfb543ea5f29681259a9317fa2e7599bdb26acommit | diff
fix for bug 253, was propagating an asserted literal
also fixing some compile warnings in attributes
src/expr/attribute_internals.h diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
test/regress/regress0/bv/core/Makefile.am diff | blob | history