projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bcaeb9) | patch
Adding an option to optimize polite combination for datatypes (#5856)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 4 Feb 2021 23:46:12 +0000 (15:46 -0800)
committerGitHub <noreply@github.com>
Thu, 4 Feb 2021 23:46:12 +0000 (17:46 -0600)
commit7ee5ed0feaaf524237d5e4632948aaa3f1ec3fb6
tree23826f1cce79647cc33badc2c11a26f0dd265340tree
parent0bcaeb9cd75ec2268b6fe237bc037865d5122b5acommit | diff
Adding an option to optimize polite combination for datatypes (#5856)

This PR makes the optimization introduced in bbca987 optional.
src/options/datatypes_options.toml diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history