projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4fa767b) | patch
enabling the --disable-arithmetic-propagation option in the arithmetic code (it wasn...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 28 Mar 2012 19:26:28 +0000 (19:26 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 28 Mar 2012 19:26:28 +0000 (19:26 +0000)
commit6e5f551507a2a9af33e7b56107471a096a495862
tree73a2b187a2f6b4edb6a7043096b5479e947951ddtree
parent4fa767be298c40ebb95b74d5016a0538c02212e6commit | diff
enabling the --disable-arithmetic-propagation option in the arithmetic code (it wasn't used)
src/theory/arith/theory_arith.cpp diff | blob | history