projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87b2040) | patch
Remove references to `bv-div-zero-const` in docs (#6672)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 2 Jun 2021 21:37:48 +0000 (14:37 -0700)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 21:37:48 +0000 (21:37 +0000)
commitf2bbc8c1f6d8f357693728fe4efb037c232e3d06
treeb27158d83eb29e46befaa543a7d2018183dc0c3btree
parent87b204084e86b534571f16250ca4871150b2a783commit | diff
Remove references to `bv-div-zero-const` in docs (#6672)

The bv-div-zero-const option has been removed and is now always
enabled, so this commit updates the documentation of the kinds to
reflect that. It also makes the language to describe the special cases a
bit more uniform.
src/api/cpp/cvc5_kind.h diff | blob | history