projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a383be) | patch
Added GMP backed Rational and Integer classes, and white box tests for them. You...
authorTim King <taking@cs.nyu.edu>
Fri, 26 Mar 2010 22:37:12 +0000 (22:37 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 26 Mar 2010 22:37:12 +0000 (22:37 +0000)
commit3b8d92b17c17aadfa920f36a1ab631e36c70e00e
tree3d19639afd33f5329d5c3d29c6b020acdb229ad6tree
parent6a383befdf0fd88ff3c76dc001777475b34cf694commit | diff
Added GMP backed Rational and Integer classes, and white box tests for them.  You may have to reconfigure after this update.
configure.ac diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/integer.cpp [new file with mode: 0644] blob
src/util/integer.h [new file with mode: 0644] blob
src/util/rational.cpp [new file with mode: 0644] blob
src/util/rational.h [new file with mode: 0644] blob
test/unit/Makefile.am diff | blob | history
test/unit/util/integer_black.h [new file with mode: 0644] blob
test/unit/util/integer_white.h [new file with mode: 0644] blob
test/unit/util/rational_white.h [new file with mode: 0644] blob