projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87dbe20) | patch
Fixes to integer wrapper classes:
authorMorgan Deters <mdeters@gmail.com>
Tue, 14 Aug 2012 20:08:29 +0000 (20:08 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 14 Aug 2012 20:08:29 +0000 (20:08 +0000)
commitd8fd737fb9ca867f53a287de1c4a87f16a6834f7
tree4f1e4195a97162e0888fcf9c18c1a4d13f422f2ftree
parent87dbe20de92232279cf1d48ebfe7113194985208commit | diff
Fixes to integer wrapper classes:
* more uniform interface between the CLN and GMP wrappers
* support base inference (base == 0) on parsing strings with the CLN wrapper; this was a difference from the GMP wrapper (resolves bug #372)
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.h diff | blob | history
test/unit/util/integer_black.h diff | blob | history
test/unit/util/subrange_bound_white.h diff | blob | history