projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a9de6e) | patch
Add documentation on output tags (#7499)
authorGereon Kremer <nafur42@gmail.com>
Wed, 27 Oct 2021 23:27:31 +0000 (16:27 -0700)
committerGitHub <noreply@github.com>
Wed, 27 Oct 2021 23:27:31 +0000 (23:27 +0000)
commit5ea33ca829d257d408a242974b28bd6defafff6e
treeaeb4e828270efaf28237b65d5e2b92fc04f02506tree
parent1a9de6eaa2fb9b78581a8195bf3057aaf886a030commit | diff
Add documentation on output tags (#7499)

This PR adds documentation on how users can use -o. After some offline discussion, we decided it makes sense to generate them automatically in mkoptions.py and also include example outputs.
.github/actions/install-dependencies/action.yml diff | blob | history
docs/CMakeLists.txt diff | blob | history
docs/binary/binary.rst diff | blob | history
docs/binary/output-tags.rst [new file with mode: 0644] blob
docs/conf.py.in diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history