projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e27d7b4) | patch
Make floating-point comparison operators chainable (#1101)
authorMartin <martin.brain@diffblue.com>
Fri, 15 Sep 2017 03:04:20 +0000 (04:04 +0100)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 15 Sep 2017 03:04:20 +0000 (20:04 -0700)
commit190e5aa70862f40ba96b7dc7add3f11a8143c66f
treef039ee87fa11000355da09e9fd156452e8eecdb9tree
parente27d7b41dba65c1611bfb536ffe958fa7cad3848commit | diff
Make floating-point comparison operators chainable (#1101)

Floating-point comparison operators are chainable according to the standard.
src/theory/fp/kinds diff | blob | history
src/theory/fp/theory_fp_rewriter.cpp diff | blob | history