projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d4ee83) | patch
Fix for a CLN related bug on 32 bit systems. Integer((1<<29)+1) and Integer((long...
authorTim King <taking@cs.nyu.edu>
Sat, 1 Dec 2012 02:09:02 +0000 (02:09 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 1 Dec 2012 02:09:02 +0000 (02:09 +0000)
commitb66fc3eac2717e8a887f1d4603c15cbcb7460e98
tree83e5bfcf946d7043abdb36a809a7f17013043c4atree
parent5d4ee83cd9b245810c35b0aa17bb51b5a456c24bcommit | diff
Fix for a CLN related bug on 32 bit systems. Integer((1<<29)+1) and Integer((long int)((1<<29)+1)) gave different values.  This was confirmed on vm-int1.cims.nyu.edu. See ginac.de/CLN/cln_3.html#SEC15 for more details. rational_white and integer_white have tests covering this.
src/util/integer_cln_imp.h diff | blob | history
src/util/rational_cln_imp.h diff | blob | history