projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 730c6a6) | patch
committing the TNode/Node fix that was in the kind-backend branch; there's still...
authorMorgan Deters <mdeters@gmail.com>
Fri, 2 Mar 2012 20:12:44 +0000 (20:12 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 2 Mar 2012 20:12:44 +0000 (20:12 +0000)
commit53176a3d39935bd77f1c057d0b806c380b346e23
treeefd600cfb11113f5cad6107c1f2f5766d0149467tree
parent730c6a6baa994a646af08c32151ba487d957d383commit | diff
committing the TNode/Node fix that was in the kind-backend branch; there's still something fishy here, I think I need to merge in a few more things to support incrementality properly.  But this fixes "make check" for now
src/theory/booleans/circuit_propagator.cpp diff | blob | history
src/theory/booleans/circuit_propagator.h diff | blob | history