projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5ccf00) | patch
Reverting part of the previous changes to unconstrained simplifier.
authorTim King <taking@google.com>
Tue, 27 Sep 2016 16:18:34 +0000 (09:18 -0700)
committerTim King <taking@google.com>
Tue, 27 Sep 2016 16:18:34 +0000 (09:18 -0700)
commit4c27cb4c58d0f4acc79effc3ecc759aad976bcd3
tree5daed3078f59e071943df43ebb7165fa8e38a241tree
parentf5ccf00833045487f75d2e241ea6b428f7da5dc2commit | diff
Reverting part of the previous changes to unconstrained simplifier.
src/theory/unconstrained_simplifier.cpp diff | blob | history