projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9482b8) | patch
Adding a check in Polynomial::parsePolynomial to better enforce the arithmetic normal...
authorTim King <taking@cs.nyu.edu>
Fri, 28 Oct 2011 18:35:27 +0000 (18:35 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 28 Oct 2011 18:35:27 +0000 (18:35 +0000)
commit9547a48a7cdab8786c080779930de9c39655c52b
tree7d95aeef2b6153f1f7ce36b9a9437263461ea2cetree
parentc9482b86edaabbd49f509c4477d0c181b2ebe33fcommit | diff
Adding a check in Polynomial::parsePolynomial to better enforce the arithmetic normal form when assertions are enabled.
src/theory/arith/normal_form.h diff | blob | history