projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccd52ac) | patch
docs: Fix `Kind` description (#6712)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 9 Jun 2021 07:09:26 +0000 (00:09 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Jun 2021 07:09:26 +0000 (09:09 +0200)
commita0ea3701810d5af31ff3f4af75ee39233dd43301
tree2dbb2a2f2a499b040be6740f91b0a85b9c2dce50tree
parentccd52accc3bd19c5bc5203d091d1fc0f8d48f8a3commit | diff
docs: Fix `Kind` description (#6712)

This commit changes the Kind description not to include C/C++
preprocessor statements and updates the kind of bit-vector addtion.
It also marks some of the information as internal to exclude it from the
public documentation.
docs/api/cpp/kind.rst diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history