projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7aad4a) | patch
Improved implementation of Integer::length() with CLN enabled. Additional tests...
authorTim King <taking@cs.nyu.edu>
Mon, 26 Nov 2012 21:38:28 +0000 (21:38 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 26 Nov 2012 21:38:28 +0000 (21:38 +0000)
commit1e4c37a3ef7b1c16914b181c189716aa4a3df6b8
treee8e905504deaface2e563adb54564d04cf7e568btree
parenta7aad4ae3a1cd80f0e035e1a77b8e42c38c99c8dcommit | diff
Improved implementation of Integer::length() with CLN enabled.  Additional tests to sanity check both versions CLN and GMP versions of length.
src/util/integer_cln_imp.h diff | blob | history
test/unit/util/integer_black.h diff | blob | history