projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23d43d3) | patch
Cleanup DidYouMean (#6454)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 28 Apr 2021 14:42:17 +0000 (16:42 +0200)
committerGitHub <noreply@github.com>
Wed, 28 Apr 2021 14:42:17 +0000 (14:42 +0000)
commita6a63f6c46dcf83ac2dc253b66012be224391494
tree89deae28ef26f3dbc34997266f815675efe222a5tree
parent23d43d39d17c739bc47799ba25bc6f2eae05faa1commit | diff
Cleanup DidYouMean (#6454)

This PR does a bit of cleanup on our didyoumean code.
src/options/didyoumean.cpp diff | blob | history
src/options/didyoumean.h diff | blob | history