projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9488458) | patch
Renamed bv::utils::isBVGroundTerm to isBvConstTerm. (#1568)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 7 Feb 2018 07:20:20 +0000 (23:20 -0800)
committerGitHub <noreply@github.com>
Wed, 7 Feb 2018 07:20:20 +0000 (23:20 -0800)
commitd21740e08eb7ff05485ec2faca019adde8e57a99
tree9eaf7e3abbfe6da803b1571546e76dd11e1a10dbtree
parent9488458ba6dac653289d7d025239c1501f626369commit | diff
Renamed bv::utils::isBVGroundTerm to isBvConstTerm. (#1568)
src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h diff | blob | history
src/theory/bv/theory_bv_utils.cpp diff | blob | history
src/theory/bv/theory_bv_utils.h diff | blob | history