projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8eea9f5) | patch
This adds TheoryArith::safeToReset(). This fixes bug 363.
authorTim King <taking@cs.nyu.edu>
Wed, 27 Jun 2012 21:06:29 +0000 (21:06 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 27 Jun 2012 21:06:29 +0000 (21:06 +0000)
commitcde31cf615ccd7f8e090f1713022e5aeae31ccb5
tree9d63922104fd6d182a59f0cfeeae8e6ab096e895tree
parent8eea9f5ecc02363e3a8705abe45a6be424d70c4dcommit | diff
This adds TheoryArith::safeToReset().  This fixes bug 363.
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history