projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94d13d4) | patch
small change to equality assertions so that one doesn't get x = y and y = x
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 16 Jun 2012 23:58:07 +0000 (23:58 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 16 Jun 2012 23:58:07 +0000 (23:58 +0000)
commit3f94a7cacbdf22c26c406b411da3a220ef5520d1
treefacff297f64d7084a6eb761f5c1b024c6d75b23etree
parent94d13d40b27beb6e1ae8ec8221f6610d9d1a024dcommit | diff
small change to equality assertions so that one doesn't get x = y and y = x
src/theory/theory_engine.cpp diff | blob | history