projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ae29f4) | patch
Remove duplicate lines (#8552)
authorGereon Kremer <gkremer@cs.stanford.edu>
Mon, 4 Apr 2022 20:31:54 +0000 (13:31 -0700)
committerGitHub <noreply@github.com>
Mon, 4 Apr 2022 20:31:54 +0000 (20:31 +0000)
commit51e6215b0263fe70a7f335e449f7841b8148adc7
treefb6e48fba17a1722992def9b65d1f74b0f4c249etree
parent1ae29f43534779391d4f49ff5eb8498ec23d1164commit | diff
Remove duplicate lines (#8552)

We remove the arguments from links to solver methods in the Kinds
documentation to turn C++ references into python references. This
oftentimes collapses previously different overload of methods (usually
mkTerm()). This PR generically removes duplicate lines from these
comments using some re magic.
src/api/python/genenums.py.in diff | blob | history