projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07f9271) | patch
This update enables TheoryArith to accept assertions that rewrite to true or false...
authorTim King <taking@cs.nyu.edu>
Fri, 28 May 2010 22:17:04 +0000 (22:17 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 28 May 2010 22:17:04 +0000 (22:17 +0000)
commitc5f652834b915641ae6cbeccf97e959470757863
treee3fb985b65f35dbf0c070d4a0f19b9f9f86a0bddtree
parent07f9271bf426f9ed40bd0d01e4e77a17fa217e23commit | diff
This update enables TheoryArith to accept assertions that rewrite to true or false. This is temporary and will be removed once TheoryEngine rewriting is more fully debugged.
src/theory/arith/theory_arith.cpp diff | blob | history