projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8002adc) | patch
FP: Rename tester kinds. (#8037)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 4 Feb 2022 15:01:42 +0000 (07:01 -0800)
committerGitHub <noreply@github.com>
Fri, 4 Feb 2022 15:01:42 +0000 (15:01 +0000)
commitf33c9b608b2045a438062ac25bd30231291cfd7f
tree64b2fa6f80d7d87edd04a5de8b63d0c53754465ftree
parent8002adccc9451bced0b1eaf6980e6fa6c20010fbcommit | diff
FP: Rename tester kinds. (#8037)

This renames FP tester kinds for consistency:
FLOATINGPOINT_ISINF -> FLOATINGPOINT_IS_INF
FLOATINGPOINT_ISN -> FLOATINGPOINT_IS_NORMAL
FLOATINGPOINT_ISNAN -> FLOATINGPOINT_IS_NAN
FLOATINGPOINT_ISNEG -> FLOATINGPOINT_IS_NEG
FLOATINGPOINT_ISPOS -> FLOATINGPOINT_IS_POS
FLOATINGPOINT_ISZ -> FLOATINGPOINT_IS_ZERO
13 files changed:
examples/api/cpp/floating_point_arith.cpp diff | blob | history
examples/api/java/FloatingPointArith.java diff | blob | history
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history
src/api/parsekinds.py diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/theory/fp/fp_word_blaster.cpp diff | blob | history
src/theory/fp/kinds diff | blob | history
src/theory/fp/theory_fp.cpp diff | blob | history
src/theory/fp/theory_fp_rewriter.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
test/api/cpp/issue4889.cpp diff | blob | history