projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c200e9) | patch
Refactor proof output for TPTP (#7029)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 19 Aug 2021 18:32:50 +0000 (13:32 -0500)
committerGitHub <noreply@github.com>
Thu, 19 Aug 2021 18:32:50 +0000 (18:32 +0000)
commitc8b6b29616fa0183cb90e83d1ef72c9ebdb28587
tree05e9f5f5f26cdded0dd60373ab8453d85b80ae60tree
parent3c200e9a6475d7b0e802cc56afe0f86eda1559c4commit | diff
Refactor proof output for TPTP (#7029)

This eliminates the old option "inst format mode" and makes proof output for TPTP organized as an ordinary proof output format.
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/printer_options.toml diff | blob | history
src/options/proof_options.toml diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/proof_manager.cpp diff | blob | history
src/smt/proof_manager.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history