projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9eee2d) | patch
Save block comments associated with each kind when parsing kinds file (#6489)
authormakaimann <makaim@stanford.edu>
Wed, 5 May 2021 07:15:39 +0000 (03:15 -0400)
committerGitHub <noreply@github.com>
Wed, 5 May 2021 07:15:39 +0000 (07:15 +0000)
commitdde3aac0417c10cdd1f8217f653bcdf95d94290c
tree616fc2d4094eb25f43cd2a5a739365c429d5d13ftree
parentf9eee2d3a33c38bec3efb5dda91d43ef55c992d7commit | diff
Save block comments associated with each kind when parsing kinds file (#6489)

This PR adds features to the KindsParser for saving and looking up the documentation comment associated with each Kind. This PR does not make use of it yet, but future PRs can query for the comment to automatically add it to language binding documentation (e.g., Python / Java bindings).
src/api/parsekinds.py diff | blob | history