projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b468bb3) | patch
Initializes RoundingMode::roundNearestTiesToAway to a distinct value.
authorTim King <taking@google.com>
Thu, 13 Oct 2016 18:30:17 +0000 (11:30 -0700)
committerTim King <taking@google.com>
Thu, 13 Oct 2016 18:30:17 +0000 (11:30 -0700)
commit7e750757ac9832b70b5c6ca1d15e17cddbd2e6c0
tree6841896cd25a7b25cb67c042c131f985f7afbc05tree
parentb468bb361f8b98bcb6b9d0febab4f285a6a872b3commit | diff
Initializes RoundingMode::roundNearestTiesToAway to a distinct value.
src/util/floatingpoint.h diff | blob | history