projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56013a8) | patch
Fix to bug449. Adds shared constants to the set of DeltaRationals that must be in...
authorTim King <taking@cs.nyu.edu>
Wed, 14 Nov 2012 22:43:57 +0000 (22:43 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 14 Nov 2012 22:43:57 +0000 (22:43 +0000)
commitaa4b06d4f1db1942d7ad3833e071baa356cefd60
treea05375bd9766663f5e095c91e016464ce16ed413tree
parent56013a80a76b0d46f6f8497d7570e51877dbf99dcommit | diff
Fix to bug449. Adds shared constants to the set of DeltaRationals that must be in the final total order.
src/theory/arith/theory_arith.cpp diff | blob | history
test/regress/regress0/uflra/Makefile.am diff | blob | history
test/regress/regress0/uflra/bug449.smt [new file with mode: 0644] blob