projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b78fb1) | patch
Change default granularity of proofs to macro (#7855)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 4 Jan 2022 21:22:20 +0000 (15:22 -0600)
committerGitHub <noreply@github.com>
Tue, 4 Jan 2022 21:22:20 +0000 (21:22 +0000)
commit306ca2f784980ace13aa5c9149bf067b0a1c54fe
tree6e7ff26ddd1bfb30a18f604564085bc6b889c9fdtree
parent2b78fb1eab7aac831980b9396f924579b65b03b6commit | diff
Change default granularity of proofs to macro (#7855)

Also changes the name "off" to "macro" to be more consistent.
src/options/proof_options.toml diff | blob | history
src/smt/proof_manager.cpp diff | blob | history
src/smt/set_defaults.cpp diff | blob | history