projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3437ec5) | patch
Final cleanup (#7193)
authorGereon Kremer <nafur42@gmail.com>
Tue, 14 Sep 2021 22:09:19 +0000 (00:09 +0200)
committerGitHub <noreply@github.com>
Tue, 14 Sep 2021 22:09:19 +0000 (22:09 +0000)
commit560391cf71c1004716168a979782875de98b867f
tree82ea3807242f3ca0e53ef2d757ed27a9e7b7a54ftree
parent3437ec5c40091503f5c9ba026ce25f813be51d87commit | diff
Final cleanup (#7193)

This PR does some final cleanup on the options generation code.
src/options/mkoptions.py diff | blob | history