projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a50655e) | patch
Work on comments (#7139)
authorGereon Kremer <nafur42@gmail.com>
Wed, 8 Sep 2021 19:14:24 +0000 (12:14 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Sep 2021 19:14:24 +0000 (19:14 +0000)
commit1858d0a186bb52aa194d4961768697e74d60e5c4
treec9a4653b5a41d08d48a6c95835eba37ed9c1eb5ctree
parenta50655ea2637e114190de505a6c33cff25f5f6a5commit | diff
Work on comments (#7139)

This PR fixes / improves the comments in the options scripts.
src/options/mkoptions.py diff | blob | history