projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e809b2) | patch
Simplifying control flow to avoid goto's in unconstrained_simplifier.cpp.
authorTim King <taking@google.com>
Mon, 26 Sep 2016 04:34:40 +0000 (21:34 -0700)
committerTim King <taking@google.com>
Mon, 26 Sep 2016 07:19:40 +0000 (00:19 -0700)
commitf5ccf00833045487f75d2e241ea6b428f7da5dc2
tree1dc7f2c009854bc195d0abd751193a14c44b6703tree
parent6e809b29753727e3097e592780dd23ec68a534dccommit | diff
Simplifying control flow to avoid goto's in unconstrained_simplifier.cpp.
src/theory/unconstrained_simplifier.cpp diff | blob | history