projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e347f43) | patch
Fixing bug 552. There was a bug when integers are made using a string with a lot...
authorTim King <taking@cs.nyu.edu>
Tue, 1 Apr 2014 20:54:36 +0000 (16:54 -0400)
committerTim King <taking@cs.nyu.edu>
Tue, 1 Apr 2014 20:54:36 +0000 (16:54 -0400)
commit98df8ccdd49674c02360a0662fbc1765ace2d5bf
treeb80e3c78a79b45401a21a9bfb03bf63174e55199tree
parente347f43940c53a8dfdaa022bc19900fcee631c08commit | diff
Fixing bug 552.  There was a bug when integers are made using a string with a lot of leading 0s on old versions of CLN.
src/util/Makefile.am diff | blob | history
src/util/integer_cln_imp.cpp [new file with mode: 0644] blob
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.cpp [new file with mode: 0644] blob
src/util/integer_gmp_imp.h diff | blob | history
test/unit/util/integer_black.h diff | blob | history