projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab2d074) | patch
Rename operator pow2 to int.pow2. (#6849)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 7 Jul 2021 18:36:15 +0000 (11:36 -0700)
committerGitHub <noreply@github.com>
Wed, 7 Jul 2021 18:36:15 +0000 (18:36 +0000)
commit239d9ecf1afc663803191c7347fee97d9089b982
treecb1d86b17a44f01b25fe00890703e947a52cbaa0tree
parentab2d074e105a1271eee0595f17730eeb7143e933commit | diff
Rename operator pow2 to int.pow2. (#6849)

This name is the name of the symbol we parse. Internally, we still call
it POW2. This is a fix for the problem that `pow2` may clash (and
already does clash on SMT-LIB benchmarks) with user-defined symbols.
src/parser/smt2/smt2.cpp diff | blob | history
test/regress/regress0/nl/pow2-native-0.smt2 diff | blob | history
test/regress/regress0/nl/pow2-native-1.smt2 diff | blob | history
test/regress/regress0/nl/pow2-native-2.smt2 diff | blob | history
test/regress/regress0/nl/pow2-native-3.smt2 diff | blob | history